Home | History | Annotate | Download | only in Checkers

Lines Matching defs:reachable

46                                          CFGBlocksSet &reachable,
56 CFGBlocksSet reachable, visited;
84 reachable.insert(CB->getBlockID());
103 if (reachable.count(CB->getBlockID()))
112 FindUnreachableEntryPoints(CB, reachable, visited);
115 if (reachable.count(CB->getBlockID()))
175 CFGBlocksSet &reachable,
184 if (!reachable.count((*I)->getBlockID())) {
185 // If we find an unreachable predecessor, mark this block as reachable so
187 reachable.insert(CB->getBlockID());
190 FindUnreachableEntryPoints(*I, reachable, visited);