Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Reachable

190 /// distance - Calculates distance from this to L. L must be reachable from this
198 && "L iterator is not reachable from F iterator.");
492 /// Add a reachable successor to a block, with the alternate variant that is
990 /// directly tied to the exit block in order to be reachable.
4263 bool Reachable = true;
4265 Reachable = false;
4270 if (!Reachable)
4302 bool Reachable = true;
4304 Reachable = false;
4310 if (!Reachable)