Check for deferred access in static assignments.

pkg/compiler/lib/src/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.
 
 part of ssa;
 
 class SsaFunctionCompiler implements FunctionCompiler {
   SsaCodeGeneratorTask generator;
   SsaBuilderTask builder;
   SsaOptimizerTask optimizer;
@@ skipping 5809 matching lines @@
       _) {
     generateNonInstanceSetter(node, function, visitAndPop(rhs));
   }
 
   @override
   void visitTopLevelFieldSet(
       ast.SendSet node,
       FieldElement field,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, field, visitAndPop(rhs));
   }
 
   @override
   void visitFinalTopLevelFieldSet(
       ast.SendSet node,
       FieldElement field,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, field, visitAndPop(rhs));
   }
 
   @override
   void visitTopLevelGetterSet(
       ast.SendSet node,
       GetterElement getter,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, getter, visitAndPop(rhs));
   }
 
   @override
   void visitTopLevelSetterSet(
       ast.SendSet node,
       SetterElement setter,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, setter, visitAndPop(rhs));
   }
 
   @override
   void visitTopLevelFunctionSet(
       ast.SendSet node,
       MethodElement function,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, function, visitAndPop(rhs));
   }
 
   @override
   void visitStaticFieldSet(
       ast.SendSet node,
       FieldElement field,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, field, visitAndPop(rhs));
   }
 
   @override
   void visitFinalStaticFieldSet(
       ast.SendSet node,
       FieldElement field,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, field, visitAndPop(rhs));
   }
 
   @override
   void visitStaticGetterSet(
       ast.SendSet node,
       GetterElement getter,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, getter, visitAndPop(rhs));
   }
 
   @override
   void visitStaticSetterSet(
       ast.SendSet node,
       SetterElement setter,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, setter, visitAndPop(rhs));
   }
 
   @override
   void visitStaticFunctionSet(
       ast.SendSet node,
       MethodElement function,
       ast.Node rhs,
       _) {
+    generateIsDeferredLoadedCheckOfSend(node);
     generateNonInstanceSetter(node, function, visitAndPop(rhs));
   }
 
   @override
   void visitUnresolvedSet(
       ast.SendSet node,
       Element element,
       ast.Node rhs,
       _) {
     if (node.isSuperCall) {
       // TODO(johnniwinther): Remove this when final super field assignment is
       // not an unresolved set.
       handleSuperSendSet(node);
     } else {
+      generateIsDeferredLoadedCheckOfSend(node);
       generateNonInstanceSetter(node, element, visitAndPop(rhs));
     }
   }
 
   @override
   void visitClassTypeLiteralSet(
       ast.SendSet node,
       TypeConstantExpression constant,
       ast.Node rhs,
       _) {
@@ skipping 2165 matching lines @@
     if (unaliased is TypedefType) throw 'unable to unalias $type';
     unaliased.accept(this, builder);
   }
 
   void visitDynamicType(DynamicType type, SsaBuilder builder) {
     JavaScriptBackend backend = builder.compiler.backend;
     ClassElement cls = backend.findHelper('DynamicRuntimeType');
     builder.push(new HDynamicType(type, new TypeMask.exact(cls, classWorld)));
   }
 }