attila@963: /*
attila@963:  * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
attila@963:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
attila@963:  *
attila@963:  * This code is free software; you can redistribute it and/or modify it
attila@963:  * under the terms of the GNU General Public License version 2 only, as
attila@963:  * published by the Free Software Foundation.
attila@963:  *
attila@963:  * This code is distributed in the hope that it will be useful, but WITHOUT
attila@963:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
attila@963:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
attila@963:  * version 2 for more details (a copy is included in the LICENSE file that
attila@963:  * accompanied this code).
attila@963:  *
attila@963:  * You should have received a copy of the GNU General Public License version
attila@963:  * 2 along with this work; if not, write to the Free Software Foundation,
attila@963:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
attila@963:  *
attila@963:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
attila@963:  * or visit www.oracle.com if you need additional information or have any
attila@963:  * questions.
attila@963:  */
attila@963: 
attila@963: /**
attila@963:  * JDK-8047369: Add regression tests for passing test cases of JDK-8024971
attila@963:  *
attila@963:  * @test
attila@963:  * @run
attila@963:  * @option -scripting
attila@963:  */
attila@963: 
attila@963: function makeFuncAndCall(code) {
attila@963:     Function(code)();
attila@963: }
attila@963: 
attila@963: function makeFuncExpectError(code, ErrorType) {
attila@963:     try {
attila@963:         makeFuncAndCall(code);
attila@963:     } catch (e) {
attila@963:         if (! (e instanceof ErrorType)) {
attila@963:             fail(ErrorType.name + " expected, got " + e);
attila@963:         }
attila@963:     }
attila@963: }
attila@963: 
attila@963: function evalExpectError(code, ErrorType) {
attila@963:     try {
attila@963:         eval(code)();
attila@963:     } catch (e) {
attila@963:         if (! (e instanceof ErrorType)) {
attila@963:             fail(ErrorType.name + " expected, got " + e);
attila@963:         }
attila@963:     }
attila@963: }
attila@963: 
attila@963: function evalExpectValue(code, value) {
attila@963:     if (eval(code) != value) {
attila@963:         fail("Expected " + value + " with eval of " + code);
attila@963:     }
attila@963: }
attila@963: 
attila@963: makeFuncAndCall("for(x.x in 0) {}");
attila@963: // bug JDK-8047357
attila@963: // makeFuncAndCall("switch((null >> x3)) { default: {var x; break ; }\nthrow x; }");
attila@963: makeFuncExpectError("switch(x) { case 8: break; case false: }", ReferenceError);
attila@963: makeFuncAndCall("try { return true; } finally { return false; } ");
attila@963: makeFuncAndCall("({ get 1e81(){} })");
attila@963: makeFuncAndCall("{var x, x3;try { return 0; } finally { return 3/0; } }");
attila@963: makeFuncExpectError("with(x ? 1e81 : (x2.constructor = 0.1)) {}", ReferenceError);
attila@963: makeFuncAndCall("while(x-=1) {var x=0; }");
attila@963: makeFuncAndCall("while((x-=false) && 0) { var x = this; }");
attila@963: makeFuncAndCall("/*infloop*/while(x4-=x) var x, x4 = x1;");
attila@963: makeFuncAndCall("/*infloop*/L:while(x+=null) { this;var x = /x/g ; }");
attila@963: makeFuncAndCall("while((x1|=0.1) && 0) { var x1 = -0, functional; }");
attila@963: makeFuncAndCall("with({}) return (eval(\"arguments\"));");
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     var s = "(function() { return y })()";
attila@963:     (function() {
attila@963:         with({ y:1 })
attila@963:             eval(s)
attila@963:     })();
attila@963:     (function() {
attila@963:         with({
attila@963:             get y() { return "get"; }
attila@963:         })
attila@963:         return eval(s)
attila@963:     })();
attila@963: CODE, "get");
attila@963: 
attila@963: // bug JDK-8047359
attila@963: // evalExpectValue("s = ' '; for (var i=0;i<31;++i) s+=s; s.length", RangeError);
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     function f(o) {
attila@963:         var eval=0;
attila@963:         with({
attila@963:             get eval() { return o.eval }
attila@963:         })
attila@963:         return eval("1+2");
attila@963:     }
attila@963:     f(this);
attila@963: CODE, 3)
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     function f() {
attila@963:         var a=1,e=2;
attila@963:         try {
attila@963:             throw 3
attila@963:         } catch(e) {
attila@963:             return + function g(){return eval('a+e')}()
attila@963:         }
attila@963:     }
attila@963:     f();
attila@963: CODE, 4);
attila@963: 
attila@963: //evalExpectValue(
attila@963: // "function f(){var a=1; with({get a(){return false}}) return a}; f()", false);
attila@963: 
attila@963: evalExpectError("function public() {\"use strict\"}", SyntaxError);
attila@963: evalExpectError("function f(public) {\"use strict\"}", SyntaxError);
attila@963: evalExpectError("function f() { switch(x) {} } f()", ReferenceError);
attila@963: 
attila@963: // bug JDK-8047364
attila@963: // makeFuncAndCall("L1:try { return } finally { break L1 }");
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     function f() {
attila@963:         function g() { return 0 }
attila@963:         function g() { return 1 }
attila@963:         function g$1() { return 2 }
attila@963:         return g$1()
attila@963:     }
attila@963: 
attila@963:     f();
attila@963: CODE, 2);
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     function f() {
attila@963:         function g() {return 0 }
attila@963:         var h = function g() { return 1 };
attila@963:         function g$1() { return 2 };
attila@963:         return h()
attila@963:     }
attila@963: 
attila@963:     f()
attila@963: CODE, 1);
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     function f() {
attila@963:         var obj = { get ":"() {} }
attila@963:         var desc = Object.getOwnPropertyDescriptor(obj, ":")
attila@963:         return desc.get.name
attila@963:     }
attila@963: 
attila@963:     f()
attila@963: CODE, ":");
attila@963: 
attila@963: evalExpectValue(<<CODE
attila@963:     function f() {
attila@963:         var obj = { set ":"(a) {} };
attila@963:         var desc = Object.getOwnPropertyDescriptor(obj, ":");
attila@963:         return desc.set;
attila@963:     }
attila@963: 
attila@963:     f()
attila@963: CODE, "set \":\"(a) {}");
attila@963: 
attila@963: // bug JDK-8047366
attila@963: // evalExpectValue("(1000000000000000128).toString()", "1000000000000000100");
attila@963: // evalExpectValue("(1000000000000000128).toFixed().toString()", "1000000000000000128");
attila@963: 
attila@963: try {
attila@963:     Function("-", {
attila@963:         toString: function() {
attila@963:             throw "err"
attila@963:         }
attila@963:     })();
attila@963: } catch (e) {
attila@963:     if (e != "err") {
attila@963:         fail("Expected 'err' here, got " + e);
attila@963:     }
attila@963: }
attila@963: evalExpectError("function f() { switch(x) {} } f()", ReferenceError);
attila@963: Array.prototype.splice.call(Java.type("java.util.HashMap"))
attila@963: Array.prototype.slice.call(Java.type("java.util.HashMap"))