Lines Matching refs:visited
9 // path-sensitive analysis. We mark any path visited, and then walk the CFG as a
10 // post-analysis to determine what was never visited.
43 CFGBlocksSet &visited);
52 CFGBlocksSet reachable, visited;
105 if (!visited.count(CB->getBlockID()))
106 FindUnreachableEntryPoints(CB, reachable, visited);
179 CFGBlocksSet &visited) {
180 visited.insert(CB->getBlockID());
190 if (!visited.count(PredBlock->getBlockID()))
191 // If we haven't previously visited the unreachable predecessor, recurse
192 FindUnreachableEntryPoints(PredBlock, reachable, visited);