Add a "Label" Node around an Identifier that is being used as a label.

lib/compiler/implementation/ssa/builder.dart

 // 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.
 
 class Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
@@ skipping 2797 matching lines @@
         VariableDefinitions variableDefinitions = node.declaredIdentifier;
         variable = elements[variableDefinitions.definitions.nodes.head];
       }
       localsHandler.updateLocal(variable, pop());
 
       visit(node.body);
     }
     handleLoop(node, buildInitializer, buildCondition, () {}, buildBody);
   }
 
+  visitLabel(Label node) {
+    // We visit labels in different roles depending on whether it's a
+    // label introduction or a label reference, so it's handled by the
+    // containing statement.
+    unreachable();

[ahe, 2012/05/10 11:52:30]

I really don't like using this method. You have a node, so use it to report a
nice error message.

[Lasse Reichstein Nielsen, 2012/05/10 12:14:20]

True, also the comment is no longer valid.
Using internalError like in some other places.

+  }
+
   visitLabeledStatement(LabeledStatement node) {
     Statement body = node.getBody();
     if (body is Loop || body is SwitchStatement) {
       // Loops and switches handle their own labels.
       visit(body);
       return;
     }
     // Non-loop statements can only be break targets, not continue targets.
     TargetElement targetElement = elements[body];
     if (targetElement === null || targetElement.statement !== body) {
@@ skipping 488 matching lines @@
                                    <HInstruction>[target, input],
                                    HType.STRING));
     return builder.pop();
   }
 
   HInstruction result() {
     flushLiterals();
     return prefix;
   }
 }