Lines Matching refs:Bldr
746 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
765 Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K);
805 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
812 Bldr.generateNode(PP, NewState, Pred);
845 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
847 Bldr.generateNode(PS, State, Pred);
895 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
898 Bldr.generateNode(PP, State, I);
943 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
946 Bldr.generateNode(PP, Pred->getState(), Pred);
1003 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1004 Bldr.generateNode(PP, Pred->getState(), Pred);
1092 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1096 Bldr.generateNode(PP, State, Pred);
1207 StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx);
1296 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
1340 Bldr.generateNode(S, Pred, state);
1345 Bldr.takeNodes(Pred);
1347 Bldr.addNodes(Dst);
1356 Bldr.takeNodes(Pred);
1362 Bldr.addNodes(Dst);
1418 Bldr.takeNodes(Pred);
1422 Bldr.addNodes(Dst);
1428 Bldr.takeNodes(Pred);
1465 Bldr.addNodes(Dst);
1474 Bldr.takeNodes(Pred);
1507 Bldr.addNodes(Dst);
1512 Bldr.takeNodes(Pred);
1514 Bldr.addNodes(Dst);
1522 Bldr.takeNodes(Pred);
1524 Bldr.addNodes(Dst);
1528 Bldr.takeNodes(Pred);
1530 Bldr.addNodes(Dst);
1534 Bldr.takeNodes(Pred);
1536 Bldr.addNodes(Dst);
1541 Bldr.takeNodes(Pred);
1543 Bldr.addNodes(Dst);
1545 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
1553 Bldr.takeNodes(Pred);
1555 Bldr.addNodes(Dst);
1560 Bldr.generateNode(B, Pred,
1567 Bldr.takeNodes(Pred);
1578 Bldr.addNodes(Dst);
1595 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1610 Bldr.takeNodes(Pred);
1612 Bldr.addNodes(Dst);
1616 Bldr.takeNodes(Pred);
1618 Bldr.addNodes(Dst);
1623 Bldr.takeNodes(Pred);
1625 Bldr.addNodes(Dst);
1629 Bldr.takeNodes(Pred);
1632 Bldr.addNodes(Dst);
1636 Bldr.takeNodes(Pred);
1646 Bldr.addNodes(Dst);
1651 Bldr.takeNodes(Pred);
1661 Bldr.addNodes(Dst);
1668 Bldr.takeNodes(Pred);
1671 Bldr.addNodes(Dst);
1676 Bldr.takeNodes(Pred);
1678 Bldr.addNodes(Dst);
1682 Bldr.takeNodes(Pred);
1684 Bldr.addNodes(Dst);
1689 Bldr.takeNodes(Pred);
1692 Bldr.addNodes(Dst);
1697 Bldr.takeNodes(Pred);
1699 Bldr.addNodes(Dst);
1703 Bldr.takeNodes(Pred);
1706 Bldr.addNodes(Dst);
1711 Bldr.takeNodes(Pred);
1713 Bldr.addNodes(Dst);
1726 Bldr.takeNodes(Pred);
1733 Bldr.addNodes(Dst);
1738 Bldr.takeNodes(Pred);
1746 Bldr.addNodes(Dst);
1751 Bldr.takeNodes(Pred);
1753 Bldr.addNodes(Dst);
1757 Bldr.takeNodes(Pred);
1759 Bldr.addNodes(Dst);
1763 Bldr.takeNodes(Pred);
1765 Bldr.addNodes(Dst);
1769 Bldr.takeNodes(Pred);
1771 Bldr.addNodes(Dst);
1775 Bldr.takeNodes(Pred);
1777 Bldr.addNodes(Dst);
1781 Bldr.takeNodes(Pred);
1783 Bldr.addNodes(Dst);
1790 Bldr.generateSink(S, Pred, Pred->getState());
1794 Bldr.takeNodes(Pred);
1796 Bldr.addNodes(Dst);
1800 Bldr.takeNodes(Pred);
1809 Bldr.addNodes(Dst);
1814 Bldr.takeNodes(Pred);
1817 Bldr.addNodes(Dst);
1833 Bldr.generateNode(SE, Pred,
1842 Bldr.takeNodes(Pred);
1851 Bldr.addNodes(Dst);
1856 Bldr.takeNodes(Pred);
1861 Bldr.generateNode(S, Pred,
1865 Bldr.generateNode(S, Pred,
1869 Bldr.addNodes(Dst);
1877 Bldr.takeNodes(Pred);
1882 Bldr.generateNode(S, Pred,
1884 Bldr.addNodes(Dst);
2348 NodeBuilder Bldr(Pred, PostCleanup, BC);
2349 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred);
2467 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2516 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2523 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
2528 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2541 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2565 StmtNodeBuilder Bldr(CheckerPreStmt, EvalSet, *currBldrCtx);
2591 Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr,
2595 Bldr.generateNode(A, Node, state, nullptr);
2621 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
2637 Bldr.generateNode(M, I, state);
2673 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr,
2676 Bldr.takeNodes(I);
2678 Bldr.addNodes(Tmp);
2695 StmtNodeBuilder Bldr(AfterPreSet, AfterInvalidateSet, *currBldrCtx);
2716 Bldr.generateNode(AE, I, State, nullptr,
2837 StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
2846 Bldr.generateNode(L, state, Pred);
2868 Bldr.generateNode(L, state, PredI);
2920 StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2936 Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag,
2956 StmtNodeBuilder Bldr(Pred, Src, *currBldrCtx);
2968 Bldr.generateNode(NodeEx, Pred, state, &tag);
2990 StmtNodeBuilder Bldr(Src, Dst, *currBldrCtx);
3015 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
3022 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);
3030 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
3048 Bldr.generateNode(A, Pred, state);
3053 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
3054 Bldr.generateNode(A, Pred, Pred->getState());