dart2js cps: Do not propagate InvokeMethodDirectly receiver.

pkg/compiler/lib/src/tree_ir/optimization/statement_rewriter.dart

 // Copyright (c) 2014, 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.
 
 library tree_ir.optimization.statement_rewriter;
 
 import 'optimization.dart' show Pass;
 import '../tree_ir_nodes.dart';
 import '../../io/source_information.dart';
+import '../../elements/elements.dart';
 
 /**
  * Translates to direct-style.
  *
  * In addition to the general IR constraints (see [CheckTreeIntegrity]),
  * the input is assumed to satisfy the following criteria:
  *
  * All expressions other than those nested in [Assign] or [ExpressionStatement]
  * must be simple. A [VariableUse] and [This] is a simple expression.
  * The right-hand of an [Assign] may not be an [Assign].
@@ skipping 486 matching lines @@
       inEmptyEnvironment(() {
         _rewriteList(node.arguments);
       });
       node.receiver = visitExpression(node.receiver);
     }
     return node;
   }
 
   Expression visitInvokeMethodDirectly(InvokeMethodDirectly node) {
     _rewriteList(node.arguments);
-    node.receiver = visitExpression(node.receiver);
+    // The target function might not exist before the enclosing class has been
+    // instantitated for the first time.  If the receiver might be the first
+    // instantiation of its class, we cannot propgate it into the receiver
+    // expression, because the target function is evaluated before the receiver.
+    // Calls to constructor bodies are compiled so that the receiver is
+    // evaluated first, so they are safe.
+    if (node.target is! ConstructorBodyElement) {
+      inEmptyEnvironment(() {
+        node.receiver = visitExpression(node.receiver);
+      });
+    } else {
+      node.receiver = visitExpression(node.receiver);
+    }
     return node;
   }
 
   Expression visitInvokeConstructor(InvokeConstructor node) {
     _rewriteList(node.arguments);
     return node;
   }
 
   Expression visitConditional(Conditional node) {
     // Conditional expressions do not exist in the input, but they are
@@ skipping 713 matching lines @@
   VariableUseVisitor(this.callback);
 
   visitVariableUse(VariableUse use) => callback(use);
 
   visitInnerFunction(FunctionDefinition node) {}
 
   static void visit(Expression node, VariableUseCallback callback) {
     new VariableUseVisitor(callback).visitExpression(node);
   }
 }