Searched refs:CheckerNodes (Results 1 – 1 of 1) sorted by relevance
307 ExplodedNodeSet CheckerNodes; in HandleBlockEdge() local309 ExprEng.runCheckersForBlockEntrance(BuilderCtx, BE, Pred, CheckerNodes); in HandleBlockEdge()312 for (ExplodedNode *P : CheckerNodes) { in HandleBlockEdge()331 ExplodedNodeSet CheckerNodes; in HandleBlockEdge() local333 ExprEng.runCheckersForBlockEntrance(BuilderCtx, BE, N, CheckerNodes); in HandleBlockEdge()337 enqueue(CheckerNodes); in HandleBlockEdge()