Searched refs:checkDst (Results 1 – 1 of 1) sorted by relevance
659 ExplodedNodeSet checkDst; in runCheckersForEvalCall() local660 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()696 Dst.insert(checkDst); in runCheckersForEvalCall()