| Index: src/jump-target.cc
|
| ===================================================================
|
| --- src/jump-target.cc (revision 3925)
|
| +++ src/jump-target.cc (working copy)
|
| @@ -105,7 +105,6 @@
|
| FrameElement* other = &reaching_frames_[j]->elements_[i];
|
| if (element != NULL && !element->is_copy()) {
|
| ASSERT(other != NULL);
|
| - ASSERT(!other->is_copy());
|
| // We overwrite the number information of one of the incoming frames.
|
| // This is safe because we only use the frame for emitting merge code.
|
| // The number information of incoming frames is not used anymore.
|
| @@ -128,7 +127,6 @@
|
| // elements as copied exactly when they have a copy. Undetermined
|
| // elements are initially recorded as if in memory.
|
| if (target != NULL) {
|
| - ASSERT(!target->is_copy()); // These initial elements are never copies.
|
| entry_frame_->elements_[index] = *target;
|
| InitializeEntryElement(index, target);
|
| }
|
|
|