Searched refs:AfterPreSet (Results 1 – 1 of 1) sorted by relevance
3445 ExplodedNodeSet AfterPreSet; in VisitAtomicExpr() local3446 getCheckerManager().runCheckersForPreStmt(AfterPreSet, Pred, AE, *this); in VisitAtomicExpr()3452 StmtNodeBuilder Bldr(AfterPreSet, AfterInvalidateSet, *currBldrCtx); in VisitAtomicExpr()3454 for (const auto I : AfterPreSet) { in VisitAtomicExpr()