Lines Matching defs:reachability
796 // Tracks whether this merge was ever reached. Uses precise reachability, like
838 Reachability reachability = kReachable;
848 Reachability reachability)
854 reachability(reachability),
855 start_merge(reachability == kReachable) {
860 bool reachable() const { return reachability == kReachable; }
866 bool unreachable() const { return reachability == kUnreachable; }
868 // Return the reachability of new control structs started in this block.
870 return reachability == kReachable ? kReachable : kSpecOnlyReachable;
2338 current->reachability = kSpecOnlyReachable;
2653 c->reachability = control_at(1)->innerReachability();
2704 c->reachability = control_at(1)->innerReachability();
2868 c->reachability = control_at(1)->innerReachability();
2885 c->reachability = control_at(1)->innerReachability();
3598 current->reachability = kUnreachable;
3722 Reachability reachability = control_.back().innerReachability();
3729 this->pc_, reachability);
3730 current_code_reachable_and_ok_ = this->ok() && reachability == kReachable;