When attempting to to inline a field getter we use the incoming cid. That type may differ between v…

runtime/vm/intermediate_language.cc

 // Copyright (c) 2013, 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.
 
 #include "vm/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/dart_entry.h"
 #include "vm/flow_graph_allocator.h"
 #include "vm/flow_graph_builder.h"
@@ skipping 510 matching lines @@
   ASSERT(other != NULL);
   ASSERT(this != other);
 
   Value* current = NULL;
   Value* next = input_use_list();
   if (next != NULL) {
     // Change all the definitions.
     while (next != NULL) {
       current = next;
       current->set_definition(other);
+      current->SetReachingType(NULL);

[Vyacheslav Egorov (Google), 2013/03/26 20:46:12]

I think guarding it with 

if (current->Type() == this->Type()) current->SetReachingType(NULL);

is better because otherwise you will discard some useful inferred types, e.g. if
result of the call was passing through the CheckClass.

[srdjan, 2013/03/26 21:23:34]

Done.

       next = current->next_use();
     }
 
     // Concatenate the lists.
     next = other->input_use_list();
     current->set_next_use(next);
     if (next != NULL) next->set_previous_use(current);
     other->set_input_use_list(input_use_list());
     set_input_use_list(NULL);
   }
@@ skipping 1797 matching lines @@
     default:
       UNREACHABLE();
   }
   return kPowRuntimeEntry;
 }
 
 
 #undef __
 
 }  // namespace dart