Lines Matching defs:unreachable
822 // reachable code in unreachable block (implies normal validation).
824 // code unreachable in its own block (implies polymorphic validation).
862 // Check whether the rest of the block is unreachable.
864 // "indirect unreachable state", for which both {reachable()} and
865 // {unreachable()} return false.
866 bool unreachable() const { return reachability == kUnreachable; }
1901 // This is unreachable except for malformed modules.
2516 if (!c.reachable()) Append("%c", c.unreachable() ? '*' : '#');
2737 // In unreachable code, we still have to push a value of the correct
2764 // We are in unreachable code. Do nothing.
3104 // We are in unreachable code, the return value does not matter.
3139 // We are in unreachable code. Forward the bottom value.
3375 // We are in unreachable code, maintain the polymorphic stack.
3401 // We are in unreachable code, maintain the polymorphic stack.
3625 // type, even if the actual Value is bottom/unreachable or has
3635 // In unreachable code, if there are less than {count} values on the stack,
3636 // insert a number of unreachable values underneath the current values equal
3645 if (!VALIDATE(control_.back().unreachable())) {
3648 // Silently create unreachable values out of thin air underneath the
3723 // In unreachable code, we may run out of stack.
3742 // - In non-unreachable code, a loop just leaves the values on the stack.
3743 // - In unreachable code, it is not guaranteed that we have Values of the
3747 if (!c->is_loop() || c->unreachable()) {
5216 control_.back().unreachable())) {
5267 // - If the current code is unreachable, check if any values that may exist on
5272 // stack). TODO(manoskouk): We expect the unreachable-code behavior to
5288 // Here we have to check for !unreachable(), because we need to typecheck as
5291 !control_.back().unreachable())) {
5320 // TODO(manoskouk): Use similar code as above if we keep unreachable checks.
5328 // EnsureStackSpace may have inserted unreachable values into the bottom