Lines Matching full:bldr
376 StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx);
377 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
389 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
409 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K);
519 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
522 Bldr.generateNode(PP, N->getState(), N);
567 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
570 Bldr.generateNode(PP, Pred->getState(), Pred);
612 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
613 Bldr.generateNode(PP, Pred->getState(), Pred);
677 StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx);
705 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
753 Bldr.generateNode(S, Pred, state);
758 Bldr.takeNodes(Pred);
760 Bldr.addNodes(Dst);
808 Bldr.takeNodes(Pred);
812 Bldr.addNodes(Dst);
818 Bldr.takeNodes(Pred);
857 Bldr.addNodes(Dst);
866 Bldr.takeNodes(Pred);
889 Bldr.addNodes(Dst);
894 Bldr.takeNodes(Pred);
896 Bldr.addNodes(Dst);
900 Bldr.takeNodes(Pred);
902 Bldr.addNodes(Dst);
906 Bldr.takeNodes(Pred);
908 Bldr.addNodes(Dst);
912 Bldr.takeNodes(Pred);
914 Bldr.addNodes(Dst);
920 Bldr.takeNodes(Pred);
922 Bldr.addNodes(Dst);
927 Bldr.generateNode(B, Pred,
934 Bldr.takeNodes(Pred);
945 Bldr.addNodes(Dst);
962 Pred = Bldr.generateNode(OCE, Pred, NewState, /*Tag=*/nullptr,
975 Bldr.takeNodes(Pred);
977 Bldr.addNodes(Dst);
982 Bldr.takeNodes(Pred);
984 Bldr.addNodes(Dst);
990 Bldr.takeNodes(Pred);
992 Bldr.addNodes(Dst);
997 Bldr.takeNodes(Pred);
1001 Bldr.addNodes(Dst);
1006 Bldr.takeNodes(Pred);
1015 Bldr.addNodes(Dst);
1022 Bldr.takeNodes(Pred);
1025 Bldr.addNodes(Dst);
1030 Bldr.takeNodes(Pred);
1032 Bldr.addNodes(Dst);
1036 Bldr.takeNodes(Pred);
1038 Bldr.addNodes(Dst);
1043 Bldr.takeNodes(Pred);
1047 Bldr.addNodes(Dst);
1052 Bldr.takeNodes(Pred);
1054 Bldr.addNodes(Dst);
1058 Bldr.takeNodes(Pred);
1061 Bldr.addNodes(Dst);
1066 Bldr.takeNodes(Pred);
1068 Bldr.addNodes(Dst);
1079 Bldr.takeNodes(Pred);
1094 Bldr.addNodes(Dst);
1099 Bldr.takeNodes(Pred);
1102 Bldr.addNodes(Dst);
1107 Bldr.takeNodes(Pred);
1109 Bldr.addNodes(Dst);
1113 Bldr.takeNodes(Pred);
1115 Bldr.addNodes(Dst);
1119 Bldr.takeNodes(Pred);
1121 Bldr.addNodes(Dst);
1125 Bldr.takeNodes(Pred);
1127 Bldr.addNodes(Dst);
1131 Bldr.takeNodes(Pred);
1133 Bldr.addNodes(Dst);
1140 Bldr.generateSink(S, Pred, Pred->getState());
1144 Bldr.takeNodes(Pred);
1146 Bldr.addNodes(Dst);
1150 Bldr.takeNodes(Pred);
1152 Bldr.addNodes(Dst);
1156 Bldr.takeNodes(Pred);
1159 Bldr.addNodes(Dst);
1174 Bldr.generateNode(SE, Pred,
1183 Bldr.takeNodes(Pred);
1192 Bldr.addNodes(Dst);
1197 Bldr.takeNodes(Pred);
1202 Bldr.generateNode(S, Pred,
1206 Bldr.generateNode(S, Pred,
1210 Bldr.addNodes(Dst);
1730 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1750 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1757 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1762 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1773 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1793 StmtNodeBuilder Bldr(checkerPreStmt, Dst, *currBldrCtx);
1803 Bldr.generateNode(A, *it, state->BindExpr(A, LCtx, V), nullptr,
1828 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
1845 Bldr.generateNode(M, *I, state);
1877 Bldr.generateNode(M, *I, state->BindExpr(M, LCtx, L), nullptr,
1880 Bldr.takeNodes(*I);
1882 Bldr.addNodes(Tmp);
2016 StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
2025 Bldr.generateNode(L, state, Pred);
2050 Bldr.generateNode(L, state, PredI);
2140 StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2156 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
2177 StmtNodeBuilder Bldr(Pred, Src, *currBldrCtx);
2189 Bldr.generateNode(NodeEx, Pred, state, &tag);
2211 StmtNodeBuilder Bldr(Src, Dst, *currBldrCtx);
2237 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
2244 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);
2252 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2270 Bldr.generateNode(A, Pred, state);
2275 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2276 Bldr.generateNode(A, Pred, Pred->getState());
