Index: src/jump-target-inl.h |
=================================================================== |
--- src/jump-target-inl.h (revision 3925) |
+++ src/jump-target-inl.h (working copy) |
@@ -42,7 +42,7 @@ |
} else if (target->is_copy()) { |
entry_frame_->elements_[target->index()].set_copied(); |
} |
- if (direction_ == BIDIRECTIONAL) { |
+ if (direction_ == BIDIRECTIONAL && !target->is_copy()) { |
entry_frame_->elements_[index].set_number_info(NumberInfo::kUnknown); |
} |
} |