Fix generation of a bailout method when a BailoutTarget was in the middle of a loop/labeled block. …

sdk/lib/_internal/compiler/implementation/ssa/validate.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of ssa;
 
 class HValidator extends HInstructionVisitor {
   bool isValid = true;
   HGraph graph;
 
@@ skipping 132 matching lines @@
     }
     return true;
   }
 
   void visitInstruction(HInstruction instruction) {
     // Verifies that we are in the use list of our inputs.
     bool hasCorrectInputs() {
       bool inBasicBlock = instruction.isInBasicBlock();
       return everyInstruction(instruction.inputs, (input, count) {
         if (inBasicBlock) {
-          return countInstruction(input.usedBy, instruction) == count;
+          return input.isInBasicBlock()
+              && countInstruction(input.usedBy, instruction) == count;
         } else {
           return countInstruction(input.usedBy, instruction) == 0;
         }
       });
     }
 
     // Verifies that all our uses have us in their inputs.
     bool hasCorrectUses() {
       if (!instruction.isInBasicBlock()) return true;
       return everyInstruction(instruction.usedBy, (use, count) {
-        return countInstruction(use.inputs, instruction) == count;
+        return use.isInBasicBlock()
+            && countInstruction(use.inputs, instruction) == count;
       });
     }
 
     if (!identical(instruction.block, currentBlock)) {
       markInvalid("Instruction in wrong block");
     }
     if (!hasCorrectInputs()) {
       markInvalid("Incorrect inputs");
     }
     if (!hasCorrectUses()) {
       markInvalid("Incorrect uses");
     }
   }
 }