Index: src/jump-target-inl.h |
=================================================================== |
--- src/jump-target-inl.h (revision 3859) |
+++ src/jump-target-inl.h (working copy) |
@@ -42,6 +42,9 @@ |
} else if (target->is_copy()) { |
entry_frame_->elements_[target->index()].set_copied(); |
} |
+ if (direction_ == BIDIRECTIONAL) { |
+ entry_frame_->elements_[index].set_number_info(NumberInfo::kUnknown); |
+ } |
} |
} } // namespace v8::internal |