Index: test/mjsunit/elide-double-hole-check-9.js |
diff --git a/test/mjsunit/elide-double-hole-check-9.js b/test/mjsunit/elide-double-hole-check-9.js |
index 773f6d9710d30d862a5548f854c44529d904c6c6..88bbc7eaaa2955cf726fda76fca080e8663b1a96 100644 |
--- a/test/mjsunit/elide-double-hole-check-9.js |
+++ b/test/mjsunit/elide-double-hole-check-9.js |
@@ -29,8 +29,8 @@ |
var do_set = false; |
+%NeverOptimizeFunction(set_proto_elements); |
function set_proto_elements() { |
- %NeverOptimize(); |
if (do_set) Array.prototype[1] = 1.5; |
} |