1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2014 the V8 project authors. All rights reserved.
2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Use of this source code is governed by a BSD-style license that can be
3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// found in the LICENSE file.
4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
5b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Flags: --allow-natives-syntax --deopt-every-n-times=5 --nodead-code-elimination
6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
7b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar array = [];
8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
9b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction push(array, value) {
10b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  array.push(value);
11b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
12b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
13b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochpush(array, 0);
14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochpush(array, 1);
15b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochpush(array, 2);
16b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch%OptimizeFunctionOnNextCall(push);
17b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochpush(array, 3);
18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
19b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar v = 0;
20b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochObject.defineProperty(Array.prototype, "4", {
21b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  get: function() { return 100; },
22b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  set: function(value) { v = value; }
23b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch});
24b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
25b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochpush(array, 4);
26b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
27b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertEquals(5, array.length);
28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertEquals(100, array[4]);
29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochassertEquals(4, v);
30