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);
1295 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
1339 Bldr.generateNode(S, Pred, state);
1344 Bldr.takeNodes(Pred);
1346 Bldr.addNodes(Dst);
1355 Bldr.takeNodes(Pred);
1361 Bldr.addNodes(Dst);
1415 Bldr.takeNodes(Pred);
1419 Bldr.addNodes(Dst);
1425 Bldr.takeNodes(Pred);
1462 Bldr.addNodes(Dst);
1471 Bldr.takeNodes(Pred);
1504 Bldr.addNodes(Dst);
1509 Bldr.takeNodes(Pred);
1511 Bldr.addNodes(Dst);
1515 Bldr.takeNodes(Pred);
1517 Bldr.addNodes(Dst);
1521 Bldr.takeNodes(Pred);
1523 Bldr.addNodes(Dst);
1527 Bldr.takeNodes(Pred);
1529 Bldr.addNodes(Dst);
1534 Bldr.takeNodes(Pred);
1536 Bldr.addNodes(Dst);
1538 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
1546 Bldr.takeNodes(Pred);
1548 Bldr.addNodes(Dst);
1553 Bldr.generateNode(B, Pred,
1560 Bldr.takeNodes(Pred);
1571 Bldr.addNodes(Dst);
1588 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr,
1603 Bldr.takeNodes(Pred);
1605 Bldr.addNodes(Dst);
1609 Bldr.takeNodes(Pred);
1611 Bldr.addNodes(Dst);
1616 Bldr.takeNodes(Pred);
1618 Bldr.addNodes(Dst);
1622 Bldr.takeNodes(Pred);
1632 Bldr.addNodes(Dst);
1637 Bldr.takeNodes(Pred);
1645 Bldr.addNodes(Dst);
1652 Bldr.takeNodes(Pred);
1655 Bldr.addNodes(Dst);
1660 Bldr.takeNodes(Pred);
1662 Bldr.addNodes(Dst);
1666 Bldr.takeNodes(Pred);
1668 Bldr.addNodes(Dst);
1673 Bldr.takeNodes(Pred);
1676 Bldr.addNodes(Dst);
1681 Bldr.takeNodes(Pred);
1683 Bldr.addNodes(Dst);
1687 Bldr.takeNodes(Pred);
1690 Bldr.addNodes(Dst);
1695 Bldr.takeNodes(Pred);
1697 Bldr.addNodes(Dst);
1709 Bldr.takeNodes(Pred);
1716 Bldr.addNodes(Dst);
1721 Bldr.takeNodes(Pred);
1729 Bldr.addNodes(Dst);
1734 Bldr.takeNodes(Pred);
1736 Bldr.addNodes(Dst);
1740 Bldr.takeNodes(Pred);
1742 Bldr.addNodes(Dst);
1746 Bldr.takeNodes(Pred);
1748 Bldr.addNodes(Dst);
1752 Bldr.takeNodes(Pred);
1754 Bldr.addNodes(Dst);
1758 Bldr.takeNodes(Pred);
1760 Bldr.addNodes(Dst);
1764 Bldr.takeNodes(Pred);
1766 Bldr.addNodes(Dst);
1773 Bldr.generateSink(S, Pred, Pred->getState());
1777 Bldr.takeNodes(Pred);
1779 Bldr.addNodes(Dst);
1783 Bldr.takeNodes(Pred);
1792 Bldr.addNodes(Dst);
1797 Bldr.takeNodes(Pred);
1800 Bldr.addNodes(Dst);
1816 Bldr.generateNode(SE, Pred,
1825 Bldr.takeNodes(Pred);
1834 Bldr.addNodes(Dst);
1839 Bldr.takeNodes(Pred);
1844 Bldr.generateNode(S, Pred,
1848 Bldr.generateNode(S, Pred,
1852 Bldr.addNodes(Dst);
2316 NodeBuilder Bldr(Pred, PostCleanup, BC);
2317 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred);
2435 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2484 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2491 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
2496 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2509 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2533 StmtNodeBuilder Bldr(CheckerPreStmt, EvalSet, *currBldrCtx);
2559 Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr,
2563 Bldr.generateNode(A, Node, state, nullptr);
2589 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
2605 Bldr.generateNode(M, I, state);
2641 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr,
2644 Bldr.takeNodes(I);
2646 Bldr.addNodes(Tmp);
2663 StmtNodeBuilder Bldr(AfterPreSet, AfterInvalidateSet, *currBldrCtx);
2684 Bldr.generateNode(AE, I, State, nullptr,
2805 StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
2814 Bldr.generateNode(L, state, Pred);
2836 Bldr.generateNode(L, state, PredI);
2888 StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2904 Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag,
2924 StmtNodeBuilder Bldr(Pred, Src, *currBldrCtx);
2936 Bldr.generateNode(NodeEx, Pred, state, &tag);
2958 StmtNodeBuilder Bldr(Src, Dst, *currBldrCtx);
2983 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
2990 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);
2998 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
3016 Bldr.generateNode(A, Pred, state);
3021 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
3022 Bldr.generateNode(A, Pred, Pred->getState());