Generate a warning and a runtime error for calls to nonexistent static calls, getters and setters.

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 1971 matching lines @@
 
   HInstruction generateInstanceSendReceiver(Send send) {
     assert(Elements.isInstanceSend(send, elements));
     if (send.receiver == null) {
       return localsHandler.readThis();
     }
     visit(send.receiver);
     return pop();
   }
 
+  String getTargetName(ErroneousElement error, [String prefix]) {

[ngeoffray, 2012/09/07 08:12:46]

How about

String getTargetName(error, [String prefix = '']) =>
'$prefix${error.targetName.slowToString}'

? Shorter :)

[karlklose, 2012/09/07 09:24:01]

Done.

+    String targetName = error.targetName.slowToString();
+    if (prefix != null) {
+      return prefix.concat(targetName);
+    }
+    return targetName;
+  }
+
   void generateInstanceGetterWithCompiledReceiver(Send send,
                                                   HInstruction receiver) {
     assert(Elements.isInstanceSend(send, elements));
     // TODO(kasperl): This is a convoluted way of checking if we're
     // generating code for a compound assignment. If we are, we need
     // to get the selector from the mapping for the AST selector node.
     Selector selector = (send.asSendSet() === null)
         ? elements.getSelector(send)
         : elements.getSelector(send.selector);
     assert(selector.isGetter());
@@ skipping 30 matching lines @@
           push(new HInvokeStatic(<HInstruction>[pop()]));
         }
       }
     } else if (Elements.isInstanceSend(send, elements)) {
       HInstruction receiver = generateInstanceSendReceiver(send);
       generateInstanceGetterWithCompiledReceiver(send, receiver);
     } else if (Elements.isStaticOrTopLevelFunction(element)) {
       push(new HStatic(element));
       // TODO(ahe): This should be registered in codegen.
       compiler.enqueuer.codegen.registerGetOfStaticFunction(element);
+    } else if (Element.isErroneousElement(element)) {
+      // An erroneous element indicates an unresolved static getter.
+      generateThrowNoSuchMethod(send,
+                                getTargetName(element, 'get '),
+                                const EmptyLink<Node>());
     } else {
       stack.add(localsHandler.readLocal(element));
     }
   }
 
   void generateInstanceSetterWithCompiledReceiver(Send send,
                                                   HInstruction receiver,
                                                   HInstruction value) {
     assert(Elements.isInstanceSend(send, elements));
     Selector selector = elements.getSelector(send);
@@ skipping 20 matching lines @@
         HStatic target = new HStatic(element);
         add(target);
         add(new HInvokeStatic(<HInstruction>[target, value]));
       } else {
         add(new HStaticStore(element, value));
       }
       stack.add(value);
     } else if (element === null || Elements.isInstanceField(element)) {
       HInstruction receiver = generateInstanceSendReceiver(send);
       generateInstanceSetterWithCompiledReceiver(send, receiver, value);
+    } else if (Element.isErroneousElement(element)) {
+      // An erroneous element indicates an unresolved static setter.
+      generateThrowNoSuchMethod(send,
+                                getTargetName(element, 'set '),
+                                send.arguments);
     } else {
       stack.add(value);
       // If the value does not already have a name, give it here.
       if (value.sourceElement === null) {
         value.sourceElement = element;
       }
       HInstruction checked = potentiallyCheckType(value, element);
       if (checked !== value) {
         pop();
         stack.add(checked);
@@ skipping 539 matching lines @@
     });
 
     HType elementType = computeType(constructor);
     HInstruction newInstance = new HInvokeStatic(inputs, elementType);
     pushWithPosition(newInstance, node);
   }
 
   visitStaticSend(Send node) {
     Selector selector = elements.getSelector(node);
     Element element = elements[node];
+    if (element.isErroneous()) {
+      generateThrowNoSuchMethod(node, getTargetName(element), node.arguments);
+      return;
+    }
     if (element === compiler.assertMethod && !compiler.enableUserAssertions) {
       stack.add(graph.addConstantNull());
       return;
     }
     compiler.ensure(!element.isGenerativeConstructor());
     if (element.isFunction()) {
       if (tryInlineMethod(element, selector, node.arguments)) return;
 
       HInstruction target = new HStatic(element);
       add(target);
@@ skipping 30 matching lines @@
     compiler.internalError(reason, node: node);
   }
 
   void generateRuntimeError(Node node, String message) {
     DartString messageObject = new DartString.literal(message);
     HInstruction errorMessage = graph.addConstantString(messageObject, node);
     Element helper = interceptors.getThrowRuntimeError();
     pushInvokeHelper1(helper, errorMessage);
   }
 
+  void generateThrowNoSuchMethod(Node diagnosticNode,
+                                 String methodName,
+                                 [Link<Node> argumentNodes,
+                                  List<HInstruction> argumentValues]) {
+    Element helper =
+        compiler.findHelper(const SourceString('throwNoSuchMethod'));
+    HInstruction receiver =
+        graph.addConstantString(new DartString.empty(), diagnosticNode);
+    DartString dartString = new DartString.literal(methodName);
+    HInstruction name = graph.addConstantString(dartString, diagnosticNode);
+    if (argumentValues == null) {
+      argumentValues = <HInstruction>[];
+      argumentNodes.forEach((argumentNode) {
+        visit(argumentNode);
+        HInstruction value = pop();
+        argumentValues.add(value);
+      });
+    }
+    HInstruction arguments = new HLiteralList(argumentValues);
+    add(arguments);
+    pushInvokeHelper3(helper, receiver, name, arguments);
+  }
+
   visitNewExpression(NewExpression node) {
     Element element = elements[node.send];
-    if (element != null && element.isErroneous()) {
+    if (Element.isErroneousElement(element)) {
       ErroneousElement error = element;
       Message message = error.errorMessage;
       if (message.kind === MessageKind.CANNOT_FIND_CONSTRUCTOR) {
-        Element helper =
-            compiler.findHelper(const SourceString('throwNoSuchMethod'));
-        DartString receiverLiteral = new DartString.literal('');
-        HInstruction receiver = graph.addConstantString(receiverLiteral, node);
-        String constructorName = 'constructor ${message.arguments[0]}';
-        DartString nameLiteral = new DartString.literal(constructorName);
-        HInstruction name = graph.addConstantString(nameLiteral, node.send);
-        List<HInstruction> inputs = <HInstruction>[];
-        node.send.arguments.forEach((argumentNode) {
-          visit(argumentNode);
-          HInstruction value = pop();
-          inputs.add(value);
-        });
-        HInstruction arguments = new HLiteralList(inputs);
-        add(arguments);
-        pushInvokeHelper3(helper, receiver, name, arguments);
+        generateThrowNoSuchMethod(node.send,
+                                  getTargetName(error, 'constructor'),
+                                  node.send.arguments);
       } else if (message.kind === MessageKind.CANNOT_RESOLVE) {
         generateRuntimeError(node.send, message.message);
       } else {
         compiler.internalError('unexpected unresolved constructor call',
                                node: node);
       }
     } else if (node.isConst()) {
       // TODO(karlklose): add type representation
       ConstantHandler handler = compiler.constantHandler;
       Constant constant = handler.compileNodeWithDefinitions(node, elements);
@@ skipping 349 matching lines @@
       push(new HInvokeDynamicMethod(call, <HInstruction>[iterator]));
 
       Element variable;
       if (node.declaredIdentifier.asSend() !== null) {
         variable = elements[node.declaredIdentifier];
       } else {
         assert(node.declaredIdentifier.asVariableDefinitions() !== null);
         VariableDefinitions variableDefinitions = node.declaredIdentifier;
         variable = elements[variableDefinitions.definitions.nodes.head];
       }
-      localsHandler.updateLocal(variable, pop());
+      HInstruction oldVariable = pop();
+      if (variable.isErroneous()) {
+        generateThrowNoSuchMethod(node,
+                                  getTargetName(variable, 'set '),
+                                  argumentValues: <HInstruction>[oldVariable]);
+        pop();
+      } else {
+        localsHandler.updateLocal(variable, oldVariable);
+      }
 
       visit(node.body);
     }
     handleLoop(node, buildInitializer, buildCondition, () {}, buildBody);
   }
 
   visitLabel(Label node) {
     compiler.internalError('SsaBuilder.visitLabel', node: node);
   }
 
@@ skipping 933 matching lines @@
           new HSubGraphBlockInformation(elseBranch.graph));
 
     HBasicBlock conditionStartBlock = conditionBranch.block;
     conditionStartBlock.setBlockFlow(info, joinBlock);
     SubGraph conditionGraph = conditionBranch.graph;
     HIf branch = conditionGraph.end.last;
     assert(branch is HIf);
     branch.blockInformation = conditionStartBlock.blockFlow;
   }
 }