Verify at method exit that stack size is the same as at entry, except for methods with finally clau…

runtime/vm/flow_graph_compiler.cc

 // Copyright (c) 2012, 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.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_XXX.
 
 #include "vm/flow_graph_compiler.h"
 
 #include "vm/dart_entry.h"
 #include "vm/debugger.h"
@@ skipping 90 matching lines @@
 }
 
 
 bool FlowGraphCompiler::IsLeaf() const {
   return is_dart_leaf_ &&
          !parsed_function_.function().IsClosureFunction() &&
          (parsed_function().copied_parameter_count() == 0);
 }
 
 
+bool FlowGraphCompiler::HasFinally() const {
+  return parsed_function().function().has_finally();
+}
+
+
 void FlowGraphCompiler::InitCompiler() {
   pc_descriptors_list_ = new DescriptorList(64);
   exception_handlers_list_ = new ExceptionHandlerList();
   block_info_.Clear();
   for (int i = 0; i < block_order_.length(); ++i) {
     block_info_.Add(new BlockInfo());
   }
 }
 
 
@@ skipping 726 matching lines @@
       return;
     }
   }
 
   // This move is not blocked.
   EmitMove(index);
 }
 
 
 }  // namespace dart