StaticAnalyzer/Core/ExprEngine.cpp

370     StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx);
371     Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
383     StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
403       Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K);
513   NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
516     Bldr.generateNode(PP, N->getState(), N);
587     NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
588     Bldr.generateNode(PP, Pred->getState(), Pred);
653   StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx);
682       const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState());
723       Bldr.generateNode(S, Pred, state);
728       Bldr.takeNodes(Pred);
730       Bldr.addNodes(Dst);
778       Bldr.takeNodes(Pred);
782       Bldr.addNodes(Dst);
788       Bldr.takeNodes(Pred);
827       Bldr.addNodes(Dst);
836       Bldr.takeNodes(Pred);
858       Bldr.addNodes(Dst);
863       Bldr.takeNodes(Pred);
865       Bldr.addNodes(Dst);
869       Bldr.takeNodes(Pred);
871       Bldr.addNodes(Dst);
875       Bldr.takeNodes(Pred);
877       Bldr.addNodes(Dst);
881       Bldr.takeNodes(Pred);
883       Bldr.addNodes(Dst);
889         Bldr.takeNodes(Pred);
891         Bldr.addNodes(Dst);
896         Bldr.generateNode(B, Pred,
903       Bldr.takeNodes(Pred);
914       Bldr.addNodes(Dst);
931             Pred = Bldr.generateNode(OCE, Pred, NewState, /*Tag=*/0,
944       Bldr.takeNodes(Pred);
946       Bldr.addNodes(Dst);
951       Bldr.takeNodes(Pred);
953       Bldr.addNodes(Dst);
959       Bldr.takeNodes(Pred);
961       Bldr.addNodes(Dst);
966       Bldr.takeNodes(Pred);
970       Bldr.addNodes(Dst);
975       Bldr.takeNodes(Pred);
984       Bldr.addNodes(Dst);
991       Bldr.takeNodes(Pred);
994       Bldr.addNodes(Dst);
999       Bldr.takeNodes(Pred);
1001       Bldr.addNodes(Dst);
1005       Bldr.takeNodes(Pred);
1007       Bldr.addNodes(Dst);
1012       Bldr.takeNodes(Pred);
1016       Bldr.addNodes(Dst);
1021       Bldr.takeNodes(Pred);
1023       Bldr.addNodes(Dst);
1027       Bldr.takeNodes(Pred);
1030       Bldr.addNodes(Dst);
1035       Bldr.takeNodes(Pred);
1037       Bldr.addNodes(Dst);
1048       Bldr.takeNodes(Pred);
1063       Bldr.addNodes(Dst);
1068       Bldr.takeNodes(Pred);
1071       Bldr.addNodes(Dst);
1076       Bldr.takeNodes(Pred);
1078       Bldr.addNodes(Dst);
1082       Bldr.takeNodes(Pred);
1084       Bldr.addNodes(Dst);
1088       Bldr.takeNodes(Pred);
1090       Bldr.addNodes(Dst);
1094       Bldr.takeNodes(Pred);
1096       Bldr.addNodes(Dst);
1100       Bldr.takeNodes(Pred);
1102       Bldr.addNodes(Dst);
1109       Bldr.generateSink(S, Pred, Pred->getState());
1113       Bldr.takeNodes(Pred);
1115       Bldr.addNodes(Dst);
1119       Bldr.takeNodes(Pred);
1121       Bldr.addNodes(Dst);
1125       Bldr.takeNodes(Pred);
1128       Bldr.addNodes(Dst);
1143         Bldr.generateNode(SE, Pred,
1152       Bldr.takeNodes(Pred);
1161       Bldr.addNodes(Dst);
1166       Bldr.takeNodes(Pred);
1171         Bldr.generateNode(S, Pred,
1175         Bldr.generateNode(S, Pred,
1179       Bldr.addNodes(Dst);
1675   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1695     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1702     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1707     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1718     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1738   StmtNodeBuilder Bldr(checkerPreStmt, Dst, *currBldrCtx);
1748     Bldr.generateNode(A, *it, state->BindExpr(A, LCtx, V), 0,
1757   StmtNodeBuilder Bldr(Pred, TopDst, *currBldrCtx);
1764     Bldr.takeNodes(Pred);
1766     Bldr.addNodes(Dst);
1782     Bldr.generateNode(M, Pred, state);
1817     Bldr.generateNode(M, Pred, state->BindExpr(M, LCtx, L), 0,
1820     Bldr.takeNodes(Pred);
1822     Bldr.addNodes(Dst);
1952   StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
1960     Bldr.generateNode(L, state, Pred);
1985     Bldr.generateNode(L, state, PredI);
2075   StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2091     Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
2112   StmtNodeBuilder Bldr(Pred, Src, *currBldrCtx);
2124     Bldr.generateNode(NodeEx, Pred, state, &tag);
2144   StmtNodeBuilder Bldr(Src, Dst, *currBldrCtx);
2170         Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
2177         Bldr.generateNode(Ex, Pred, StateFalse, tags.second);
2185   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2204   Bldr.generateNode(A, Pred, state);
2209   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2210   Bldr.generateNode(A, Pred, Pred->getState());