| Index: src/jump-target.cc
|
| ===================================================================
|
| --- src/jump-target.cc (revision 1669)
|
| +++ src/jump-target.cc (working copy)
|
| @@ -115,8 +115,7 @@
|
| }
|
| }
|
|
|
| - if (direction_ == FORWARD_ONLY &&
|
| - left->is_constant() &&
|
| + if (left->is_constant() &&
|
| right->is_constant() &&
|
| left->handle().is_identical_to(right->handle())) {
|
| if (!left->is_synced()) {
|
| @@ -126,8 +125,7 @@
|
| }
|
| }
|
|
|
| - if (direction_ == FORWARD_ONLY &&
|
| - left->is_copy() &&
|
| + if (left->is_copy() &&
|
| right->is_copy() &&
|
| left->index() == right->index()) {
|
| if (!left->is_synced()) {
|
|
|