Searched refs:AfterPreSet (Results 1 – 1 of 1) sorted by relevance
2081 ExplodedNodeSet AfterPreSet; in VisitAtomicExpr() local2082 getCheckerManager().runCheckersForPreStmt(AfterPreSet, Pred, AE, *this); in VisitAtomicExpr()2088 StmtNodeBuilder Bldr(AfterPreSet, AfterInvalidateSet, *currBldrCtx); in VisitAtomicExpr()2090 for (ExplodedNodeSet::iterator I = AfterPreSet.begin(), E = AfterPreSet.end(); in VisitAtomicExpr()