At SSA build-time, change the block information that we attach to loop with aborting bodies.

sdk/lib/_internal/compiler/implementation/elements/elements.dart

Index: sdk/lib/_internal/compiler/implementation/elements/elements.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/elements/elements.dart	(revision 15009)
+++ sdk/lib/_internal/compiler/implementation/elements/elements.dart	(working copy)
@@ -1933,10 +1933,15 @@
   final TargetElement target;
   bool isBreakTarget = false;
   bool isContinueTarget = false;
-  LabelElement(Label label, this.labelName, this.target,
+  LabelElement(Label label, String labelName, this.target,
                Element enclosingElement)
       : this.label = label,
-        super(label.identifier.source, ElementKind.LABEL, enclosingElement);
+        this.labelName = labelName,
+        super(label == null
+                  ? new SourceString(labelName)
+                  : label.identifier.source,
+              ElementKind.LABEL,

[Lasse Reichstein Nielsen, 2012/11/16 15:09:11]

So you can have a LabelElement without a Label?
Is this for synthetic labels? 
Do add a comment.

[ngeoffray, 2012/11/16 16:45:28]

Done.

+              enclosingElement);
 
   void setBreakTarget() {
     isBreakTarget = true;