Searched refs:dstPrevisit (Results 1 – 1 of 1) sorted by relevance
2287 ExplodedNodeSet dstPrevisit; in Visit() local2288 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, MTE, *this); in Visit()2290 for (const auto i : dstPrevisit) in Visit()