Require ResultCid specification in every computation, that way we can differentiate between computa…

runtime/vm/intermediate_language.cc

 // 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.
 
 #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 405 matching lines @@
   while (env_use_list_ != NULL) {
     Environment* env = env_use_list_->instruction()->env();
     ASSERT(env != NULL);
     env->values()[env_use_list_->use_index()] = value;
     env_use_list_ = env_use_list_->next_use();
   }
 }
 
 
 bool Definition::SetPropagatedCid(intptr_t cid) {
-  ASSERT(cid != kIllegalCid);
+  if (cid == kIllegalCid) {
+    return false;
+  }
   if (propagated_cid_ == kIllegalCid) {
     // First setting, nothing has changed.
     propagated_cid_ = cid;
     return false;
   }
   bool has_changed = (propagated_cid_ != cid);
   propagated_cid_ = cid;
   return has_changed;
 }
 
@@ skipping 1140 matching lines @@
                      ? UseDefinition(values()[i]->AsUse()->definition())
                      : val);
   }
   return copy;
 }
 
 
 #undef __
 
 }  // namespace dart