Searched refs:AfterInvalidateSet (Results 1 – 1 of 1) sorted by relevance
3451 ExplodedNodeSet AfterInvalidateSet; in VisitAtomicExpr() local3452 StmtNodeBuilder Bldr(AfterPreSet, AfterInvalidateSet, *currBldrCtx); in VisitAtomicExpr()3477 getCheckerManager().runCheckersForPostStmt(Dst, AfterInvalidateSet, AE, *this); in VisitAtomicExpr()