Add support for javascript incompatibility warnings.

runtime/vm/flow_graph_optimizer.cc

Index: runtime/vm/flow_graph_optimizer.cc
===================================================================
--- runtime/vm/flow_graph_optimizer.cc	(revision 35921)
+++ runtime/vm/flow_graph_optimizer.cc	(working copy)
@@ -8,6 +8,7 @@
 #include "vm/cha.h"
 #include "vm/cpu.h"
 #include "vm/dart_entry.h"
+#include "vm/exceptions.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/flow_graph_compiler.h"
 #include "vm/hash_map.h"
@@ -47,6 +48,7 @@
 DECLARE_FLAG(bool, enable_type_checks);
 DECLARE_FLAG(bool, source_lines);
 DECLARE_FLAG(bool, trace_type_check_elimination);
+DECLARE_FLAG(bool, warn_on_javascript_incompatibility);
 
 static bool ShouldInlineSimd() {
   return FlowGraphCompiler::SupportsUnboxedSimd128();
@@ -110,6 +112,10 @@
     // to megamorphic call.
     return false;
   }
+  if (FLAG_warn_on_javascript_incompatibility &&
+      Exceptions::MayIssueJSWarning(*call->ic_data(), true)) {
+    return false;
+  }
   GrowableArray<intptr_t> class_ids(call->ic_data()->NumArgsTested());
   ASSERT(call->ic_data()->NumArgsTested() <= call->ArgumentCount());
   for (intptr_t i = 0; i < call->ic_data()->NumArgsTested(); i++) {
@@ -3872,6 +3878,15 @@
       call->ArgumentAt(4)->OriginalDefinition()->AsConstant()->value()).value();
   const ICData& unary_checks =
       ICData::ZoneHandle(call->ic_data()->AsUnaryClassChecks());
+  if (FLAG_warn_on_javascript_incompatibility &&
+      !unary_checks.IssuedJSWarning() &&
+      (type.IsIntType() || type.IsDoubleType() || !type.IsInstantiated())) {
+    // No warning was reported yet for this type check, either because it has
+    // not been executed yet, or because no problematic combinations of instance
+    // type and test type have been encountered so far. A warning may still be
+    // reported, so do not replace the instance call.
+    return;
+  }
   if (unary_checks.NumberOfChecks() <= FLAG_max_polymorphic_checks) {
     ZoneGrowableArray<intptr_t>* results =
         new ZoneGrowableArray<intptr_t>(unary_checks.NumberOfChecks() * 2);
@@ -3953,6 +3968,15 @@
   ASSERT(!type.IsMalformedOrMalbounded());
   const ICData& unary_checks =
       ICData::ZoneHandle(call->ic_data()->AsUnaryClassChecks());
+  if (FLAG_warn_on_javascript_incompatibility &&
+      !unary_checks.IssuedJSWarning() &&
+      (type.IsIntType() || type.IsDoubleType() || !type.IsInstantiated())) {
+    // No warning was reported yet for this type check, either because it has
+    // not been executed yet, or because no problematic combinations of instance
+    // type and test type have been encountered so far. A warning may still be
+    // reported, so do not replace the instance call.
+    return;
+  }
   if (unary_checks.NumberOfChecks() <= FLAG_max_polymorphic_checks) {
     ZoneGrowableArray<intptr_t>* results =
         new ZoneGrowableArray<intptr_t>(unary_checks.NumberOfChecks() * 2);