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
7// Test push double as tagged.
8var a = [{}];
9function f(a) {
10  a.push(Infinity);
11}
12
13f(a);
14f(a);
15f(a);
16%OptimizeFunctionOnNextCall(f);
17f(a);
18assertEquals([{}, Infinity, Infinity, Infinity, Infinity], a);
19