Make sure the merge block after a try/catch has its dominator the block that contains HTry. This wa…

frog/leg/ssa/builder.dart

Index: frog/leg/ssa/builder.dart
===================================================================
--- frog/leg/ssa/builder.dart	(revision 4445)
+++ frog/leg/ssa/builder.dart	(working copy)
@@ -2009,13 +2009,13 @@
     close(new HGoto()).addSuccessor(enterBlock);
     open(enterBlock);
     HTry tryInstruction = new HTry();
-    close(tryInstruction);
+    List<HBasicBlock> blocks = <HBasicBlock>[];
+    blocks.add(close(tryInstruction));
 
     HBasicBlock tryBody = graph.addNewBlock();
     enterBlock.addSuccessor(tryBody);
     open(tryBody);
     visit(node.tryBlock);
-    List<HBasicBlock> blocks = <HBasicBlock>[];
     if (!isAborted()) blocks.add(close(new HGoto()));
 
     if (!node.catchBlocks.isEmpty()) {
@@ -2079,17 +2079,13 @@
       tryInstruction.finallyBlock = finallyBlock;
     }
 
-    // If no block is going to an exit block, the Dart code after the
-    // try is dead code.
-    if (!blocks.isEmpty()) {
-      HBasicBlock exitBlock = graph.addNewBlock();
+    HBasicBlock exitBlock = graph.addNewBlock();
 
-      for (HBasicBlock block in blocks) {
-        block.addSuccessor(exitBlock);
-      }
-
-      open(exitBlock);
+    for (HBasicBlock block in blocks) {
+      block.addSuccessor(exitBlock);
     }
+
+    open(exitBlock);
   }
 
   visitScriptTag(ScriptTag node) {