Home | History | Annotate | Download | only in Checkers

Lines Matching refs:reachable

46                                          CFGBlocksSet &reachable,
56 CFGBlocksSet reachable, visited;
81 reachable.insert(CB->getBlockID());
100 if (reachable.count(CB->getBlockID()))
109 FindUnreachableEntryPoints(CB, reachable, visited);
112 if (reachable.count(CB->getBlockID()))
172 CFGBlocksSet &reachable,
178 if (!reachable.count((*I)->getBlockID())) {
179 // If we find an unreachable predecessor, mark this block as reachable so
181 reachable.insert(CB->getBlockID());
184 FindUnreachableEntryPoints(*I, reachable, visited);