Index: src/virtual-frame.cc |
=================================================================== |
--- src/virtual-frame.cc (revision 4147) |
+++ src/virtual-frame.cc (working copy) |
@@ -163,6 +163,9 @@ |
if (elements_[index].is_copied()) { |
new_element.set_copied(); |
} |
+ if (elements_[index].is_untagged_int32()) { |
+ new_element.set_untagged_int32(true); |
+ } |
if (elements_[index].is_register()) { |
Unuse(elements_[index].reg()); |
} |