aoqi@0: /*
aoqi@0:  * Copyright (c) 2010, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0:  * 
aoqi@0:  * This code is free software; you can redistribute it and/or modify it
aoqi@0:  * under the terms of the GNU General Public License version 2 only, as
aoqi@0:  * published by the Free Software Foundation.
aoqi@0:  * 
aoqi@0:  * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
aoqi@0:  * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0:  * accompanied this code).
aoqi@0:  * 
aoqi@0:  * You should have received a copy of the GNU General Public License version
aoqi@0:  * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0:  * 
aoqi@0:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0:  * or visit www.oracle.com if you need additional information or have any
aoqi@0:  * questions.
aoqi@0:  */
aoqi@0: 
aoqi@0: /**
aoqi@0:  * JDK-8019814: Add regression test for passing cases
aoqi@0:  *
aoqi@0:  * @test
aoqi@0:  * @run
aoqi@0:  */
aoqi@0: 
aoqi@0: // java.lang.VerifyError: Bad type on operand stack
aoqi@0: Function("switch([]) { case 7: }");
aoqi@0: 
aoqi@0: // java.lang.AssertionError: expecting integer type or object for jump, but found double
aoqi@0: Function("with(\nnull == (this % {}))( /x/g );");
aoqi@0: 
aoqi@0: // java.lang.AssertionError: expecting equivalent types on stack but got double and int 
aoqi@0: try {
aoqi@0:     eval('Function("/*infloop*/while(((function ()4.)([z1,,], [,,]) - true++))switch(1e+81.x) { default: break; \u0009 }")');
aoqi@0: } catch (e) {
aoqi@0:     print(e.toString().replace(/\\/g, '/'));
aoqi@0: }
aoqi@0: 
aoqi@0: // java.lang.VerifyError: get long/double overflows locals
aoqi@0: Function("var x = x -= '' ");
aoqi@0: 
aoqi@0: // java.lang.AssertionError: object is not compatible with boolean
aoqi@0: Function("return (null != [,,] <= this);");
aoqi@0: 
aoqi@0: // java.lang.AssertionError: Only return value on stack allowed at return point
aoqi@0: // - depth=2 stack = jdk.nashorn.internal.codegen.Label$Stack@4bd0d62f 
aoqi@0: Function("x = 0.1, x\ntrue\n~this");
aoqi@0: 
aoqi@0: // java.lang.AssertionError: node NaN ~ window class jdk.nashorn.internal.ir.BinaryNode
aoqi@0: // has no symbol! [object] function _L1() 
aoqi@0: Function("throw NaN\n~window;");
aoqi@0: 
aoqi@0: // java.lang.AssertionError: array element type doesn't match array type
aoqi@0: Function("if(([(this >>> 4.)].map(gc))) x;");
aoqi@0: 
aoqi@0: try {
aoqi@0:     eval('Function("if(--) y;")');
aoqi@0: } catch (e) {
aoqi@0:     print(e.toString().replace(/\\/g, '/'));
aoqi@0: }
aoqi@0: 
aoqi@0: // java.lang.AssertionError: stacks jdk.nashorn.internal.codegen.Label$Stack@4918f90f
aoqi@0: // is not equivalent with jdk.nashorn.internal.codegen.Label$Stack@5f9b21a1 at join point 
aoqi@0: Function("if((null ^ [1]) !== (this.yoyo(false))) {var NaN, x;x\n~[,,z1] }");
aoqi@0: 
aoqi@0: // java.lang.AssertionError
aoqi@0: //    at jdk.nashorn.internal.codegen.Attr.enterFunctionBody(Attr.java:276) 
aoqi@0: Function("return (void ({ set each (x2)y }));");