Added optional custom names to labels in pseudocode

compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowBuilder.java

@@ -33,6 +33,8 @@ public interface JetControlFlowBuilder {
     // General label management
     @NotNull
     Label createUnboundLabel();
+    @NotNull
+    Label createUnboundLabel(@NotNull String name);
 
     void bindLabel(@NotNull Label label);
     void allowDead();

compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowBuilderAdapter.java

@@ -48,6 +48,13 @@ public class JetControlFlowBuilderAdapter implements JetControlFlowBuilder {
         return builder.createUnboundLabel();
     }
 
+    @NotNull
+    @Override
+    public Label createUnboundLabel(@NotNull String name) {
+        assert builder != null;
+        return builder.createUnboundLabel(name);
+    }
+
     @Override
     public void bindLabel(@NotNull Label label) {
         assert builder != null;

compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowProcessor.java

@@ -368,26 +368,26 @@ public class JetControlFlowProcessor {
             final boolean hasCatches = !catchClauses.isEmpty();
             Label onException = null;
             if (hasCatches) {
-                onException = builder.createUnboundLabel();
+                onException = builder.createUnboundLabel("onException");
                 builder.nondeterministicJump(onException);
             }
             Label onExceptionToFinallyBlock = null;
             if (finallyBlock != null) {
-                onExceptionToFinallyBlock = builder.createUnboundLabel();
+                onExceptionToFinallyBlock = builder.createUnboundLabel("onExceptionToFinallyBlock");
                 builder.nondeterministicJump(onExceptionToFinallyBlock);
             }
             value(expression.getTryBlock(), inCondition);
 
             if (hasCatches) {
                 builder.allowDead();
-                Label afterCatches = builder.createUnboundLabel();
+                Label afterCatches = builder.createUnboundLabel("afterCatches");
                 builder.jump(afterCatches);
 
                 builder.bindLabel(onException);
                 LinkedList<Label> catchLabels = Lists.newLinkedList();
                 int catchClausesSize = catchClauses.size();
                 for (int i = 0; i < catchClausesSize - 1; i++) {
-                    catchLabels.add(builder.createUnboundLabel());
+                    catchLabels.add(builder.createUnboundLabel("catch " + i));
                 }
                 builder.nondeterministicJump(catchLabels);
                 boolean isFirst = true;
@@ -420,7 +420,7 @@ public class JetControlFlowProcessor {
             if (finallyBlock != null) {
                 builder.exitTryFinally();
 
-                Label skipFinallyToErrorBlock = builder.createUnboundLabel();
+                Label skipFinallyToErrorBlock = builder.createUnboundLabel("skipFinallyToErrorBlock");
                 builder.jump(skipFinallyToErrorBlock);
                 builder.bindLabel(onExceptionToFinallyBlock);
                 value(finallyBlock.getFinalExpression(), inCondition);

compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/JetControlFlowInstructionsGenerator.java

@@ -104,6 +104,12 @@ public class JetControlFlowInstructionsGenerator extends JetControlFlowBuilderAd
             return pseudocode.createLabel("l" + labelCount++);
         }
 
+        @NotNull
+        @Override
+        public Label createUnboundLabel(@NotNull String name) {
+            return pseudocode.createLabel("l" + labelCount++ + " [" + name + "]");
+        }
+
         @Override
         public final LoopInfo enterLoop(@NotNull JetExpression expression, Label loopExitPoint, Label conditionEntryPoint) {
             Label label = createUnboundLabel();