1// Copyright 2014 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5// Flags: --allow-natives-syntax
6
7function __f_6() {
8 var __v_7 = [0];
9 %PreventExtensions(__v_7);
10 for (var __v_6 = -2; __v_6 < 19; __v_6++) __v_7.shift();
11 __f_7(__v_7);
12}
13__f_6();
14__f_6();
15%OptimizeFunctionOnNextCall(__f_6);
16__f_6();
17function __f_7(__v_7) {
18  __v_7.push(Infinity);
19}
20