Lines Matching refs:ExplodedNodeSet
858 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
908 ExplodedNodeSet CheckedSet; in removeDead()
947 ExplodedNodeSet CleanedStates; in ProcessStmt()
956 ExplodedNodeSet Dst; in ProcessStmt()
958 ExplodedNodeSet DstI; in ProcessStmt()
972 ExplodedNodeSet Dst; in ProcessLoopExit()
1003 ExplodedNodeSet Tmp; in ProcessInitializer()
1063 ExplodedNodeSet Dst; in ProcessInitializer()
1076 ExplodedNodeSet Dst; in ProcessImplicitDtor()
1103 ExplodedNodeSet Dst; in ProcessNewAllocator()
1122 ExplodedNodeSet &Dst) { in ProcessAutomaticObjDtor()
1157 ExplodedNodeSet &Dst) { in ProcessDeleteDtor()
1196 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessBaseDtor()
1216 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessMemberDtor()
1240 ExplodedNodeSet &Dst) { in ProcessTemporaryDtor()
1269 ExplodedNodeSet CleanDtorState; in ProcessTemporaryDtor()
1302 ExplodedNodeSet &Dst, in processCleanupTemporaryBranch()
1318 ExplodedNodeSet &PreVisit, in VisitCXXBindTemporaryExpr()
1319 ExplodedNodeSet &Dst) { in VisitCXXBindTemporaryExpr()
1372 ExplodedNodeSet &DstTop) { in Visit()
1375 ExplodedNodeSet Dst; in Visit()
1544 ExplodedNodeSet PreVisit; in Visit()
1546 ExplodedNodeSet Next; in Visit()
1611 ExplodedNodeSet preVisit; in Visit()
1621 ExplodedNodeSet PreVisit; in Visit()
1624 ExplodedNodeSet Tmp; in Visit()
1668 ExplodedNodeSet preVisit; in Visit()
1671 ExplodedNodeSet Tmp; in Visit()
1763 ExplodedNodeSet Tmp; in Visit()
1830 ExplodedNodeSet PreVisit; in Visit()
1833 ExplodedNodeSet PostVisit; in Visit()
1844 ExplodedNodeSet PreVisit; in Visit()
1847 ExplodedNodeSet PostVisit; in Visit()
1920 ExplodedNodeSet dstExpr; in Visit()
1932 ExplodedNodeSet dstPrevisit; in Visit()
1934 ExplodedNodeSet dstExpr; in Visit()
1993 ExplodedNodeSet PreVisit; in Visit()
1996 ExplodedNodeSet PostVisit; in Visit()
2037 ExplodedNodeSet Tmp; in Visit()
2403 ExplodedNodeSet &Dst, in processBranch()
2428 ExplodedNodeSet CheckersOutSet; in processBranch()
2481 ExplodedNodeSet &Dst, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2547 ExplodedNodeSet &Dst, in processBeginOfFunction()
2595 ExplodedNodeSet PostCleanup; in processEndOfFunction()
2611 ExplodedNodeSet Dst; in processEndOfFunction()
2614 ExplodedNodeSet AfterRemovedDead; in processEndOfFunction()
2714 ExplodedNodeSet &Dst) { in VisitCommonDeclRefExpr()
2854 ExplodedNodeSet &Dst) { in VisitArrayInitLoopExpr()
2855 ExplodedNodeSet CheckerPreStmt; in VisitArrayInitLoopExpr()
2858 ExplodedNodeSet EvalSet; in VisitArrayInitLoopExpr()
2952 ExplodedNodeSet &Dst){ in VisitArraySubscriptExpr()
2956 ExplodedNodeSet CheckerPreStmt; in VisitArraySubscriptExpr()
2959 ExplodedNodeSet EvalSet; in VisitArraySubscriptExpr()
3002 ExplodedNodeSet &Dst) { in VisitMemberExpr()
3004 ExplodedNodeSet CheckedSet; in VisitMemberExpr()
3007 ExplodedNodeSet EvalSet; in VisitMemberExpr()
3017 ExplodedNodeSet Tmp; in VisitMemberExpr()
3082 ExplodedNodeSet &Dst) { in VisitAtomicExpr()
3083 ExplodedNodeSet AfterPreSet; in VisitAtomicExpr()
3089 ExplodedNodeSet AfterInvalidateSet; in VisitAtomicExpr()
3218 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, in evalBind()
3228 ExplodedNodeSet CheckedSet; in evalBind()
3275 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, in evalStore()
3285 ExplodedNodeSet Tmp; in evalStore()
3298 void ExprEngine::evalLoad(ExplodedNodeSet &Dst, in evalLoad()
3310 ExplodedNodeSet Tmp; in evalLoad()
3336 void ExprEngine::evalLocation(ExplodedNodeSet &Dst, in evalLocation()
3349 ExplodedNodeSet Src; in evalLocation()
3365 ExplodedNodeSet Tmp; in evalLocation()
3382 void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, in evalEagerlyAssumeBinOpBifurcation()
3383 ExplodedNodeSet &Src, in evalEagerlyAssumeBinOpBifurcation()
3424 ExplodedNodeSet &Dst) { in VisitGCCAsmStmt()
3447 ExplodedNodeSet &Dst) { in VisitMSAsmStmt()