Partially fix semantics of Array.push()

test/mjsunit/array-push3.js

Index: test/mjsunit/array-push3.js
diff --git a/test/mjsunit/array-push3.js b/test/mjsunit/array-push3.js
new file mode 100644
index 0000000000000000000000000000000000000000..99bd857a7386f260d31f86ebd2f5d3bede325eea
--- /dev/null
+++ b/test/mjsunit/array-push3.js
@@ -0,0 +1,29 @@
+// Copyright 2014 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+var array = [];
+
+function push(array, value) {
+  array.push(value);
+}
+
+push(array, 0);
+push(array, 1);
+push(array, 2);
+%OptimizeFunctionOnNextCall(push);
+push(array, 3);
+
+var v = 0;
+Object.defineProperty(Array.prototype, "4", {
+  get: function() { return 100; },
+  set: function(value) { v = value; }
+});
+
+push(array, 4);
+
+assertEquals(5, array.length);
+assertEquals(100, array[4]);
+assertEquals(4, v);