For instance call representing numerical comparisons (double and Smi for now) that were never visit…

runtime/vm/compiler.cc

Index: runtime/vm/compiler.cc
===================================================================
--- runtime/vm/compiler.cc	(revision 31031)
+++ runtime/vm/compiler.cc	(working copy)
@@ -385,6 +385,11 @@
         optimizer.ApplyClassIds();
         DEBUG_ASSERT(flow_graph->VerifyUseLists());
 
+        // Propagate types for potentially newly added instructions by
+        // ApplyClassIds(). Must occur before canonicalization.
+        FlowGraphTypePropagator::Propagate(flow_graph);
+        DEBUG_ASSERT(flow_graph->VerifyUseLists());
+
         // Do optimizations that depend on the propagated type information.
         if (optimizer.Canonicalize()) {
           // Invoke Canonicalize twice in order to fully canonicalize patterns