Lines Matching refs:ExplodedNodeSet
41 ExplodedNodeSet &Dst) { in VisitBinaryOperator()
47 ExplodedNodeSet CheckedSet; in VisitBinaryOperator()
48 ExplodedNodeSet Tmp2; in VisitBinaryOperator()
52 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator()
131 ExplodedNodeSet Tmp; in VisitBinaryOperator()
135 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E; in VisitBinaryOperator()
196 ExplodedNodeSet &Dst) { in VisitBlockExpr()
248 ExplodedNodeSet Tmp; in VisitBlockExpr()
286 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast()
288 ExplodedNodeSet dstPreStmt; in VisitCast()
293 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()
311 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); in VisitCast()
548 ExplodedNodeSet &Dst) { in VisitCompoundLiteralExpr()
572 ExplodedNodeSet &Dst) { in VisitDeclStmt()
579 ExplodedNodeSet DstPre; in VisitDeclStmt()
595 ExplodedNodeSet dstPreVisit; in VisitDeclStmt()
598 ExplodedNodeSet dstEvaluated; in VisitDeclStmt()
600 for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end(); in VisitDeclStmt()
634 ExplodedNodeSet Dst2; in VisitDeclStmt()
648 ExplodedNodeSet &Dst) { in VisitLogicalExpr()
743 ExplodedNodeSet &Dst) { in VisitInitListExpr()
793 ExplodedNodeSet &Dst) { in VisitGuardedExpr()
855 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitOffsetOfExpr()
875 ExplodedNodeSet &Dst) { in VisitUnaryExprOrTypeTraitExpr()
877 ExplodedNodeSet CheckedSet; in VisitUnaryExprOrTypeTraitExpr()
880 ExplodedNodeSet EvalSet; in VisitUnaryExprOrTypeTraitExpr()
885 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitUnaryExprOrTypeTraitExpr()
915 void ExprEngine::handleUOExtension(ExplodedNodeSet::iterator I, in handleUOExtension()
933 ExplodedNodeSet &Dst) { in VisitUnaryOperator()
935 ExplodedNodeSet CheckedSet; in VisitUnaryOperator()
938 ExplodedNodeSet EvalSet; in VisitUnaryOperator()
941 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitUnaryOperator()
946 ExplodedNodeSet Tmp; in VisitUnaryOperator()
1072 ExplodedNodeSet &Dst) { in VisitIncrementDecrementOperator()
1082 ExplodedNodeSet Tmp; in VisitIncrementDecrementOperator()
1085 ExplodedNodeSet Dst2; in VisitIncrementDecrementOperator()
1087 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end();I!=E;++I) { in VisitIncrementDecrementOperator()
1099 ExplodedNodeSet Dst3; in VisitIncrementDecrementOperator()
1167 ExplodedNodeSet Dst3; in VisitIncrementDecrementOperator()