test/script/basic/JDK-8058610.js

Wed, 03 Jun 2015 18:08:57 +0200

author
hannesw
date
Wed, 03 Jun 2015 18:08:57 +0200
changeset 1396
d5a9705a27b1
parent 1065
3219e9e47daf
child 1482
58791cd01bc9
permissions
-rw-r--r--

8066237: Fuzzing bug: Parser error on optimistic recompilation
Reviewed-by: lagergren, attila

     1 /*
     2  * Copyright (c) 2014 Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  * 
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     8  * 
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    12  * version 2 for more details (a copy is included in the LICENSE file that
    13  * accompanied this code).
    14  * 
    15  * You should have received a copy of the GNU General Public License version
    16  * 2 along with this work; if not, write to the Free Software Foundation,
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    18  * 
    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    20  * or visit www.oracle.com if you need additional information or have any
    21  * questions.
    22  */
    24 /**
    25  * JDK-8058610: must not let long operations overflow
    26  *
    27  * @test
    28  * @run
    29  */
    31 function mul(x) { 
    32     return x.foo * x.bar; 
    33 } 
    34 print("=== mul ===")
    35 print(mul({foo: 2147483647,  bar: 2147483647})); // 2^31
    36 print(mul({foo: 17179869184, bar: 2147483647})); // 2^34
    38 function self_mul(x) {
    39     return x.foo *= x.bar; 
    40 }
    41 print("=== self_mul ===")
    42 print(self_mul({foo: 2147483647,  bar: 2147483647})); // 2^31
    43 print(self_mul({foo: 17179869184, bar: 2147483647})); // 2^34
    45 // We'll need to use this function to obtain long values larger in 
    46 // magnitude than those precisely representable in a double (2^53), 
    47 // as Nashorn's parser will reify such literals as a double. For 
    48 // overflow on add and sub we need (2^63)-1.
    49 var parseLong = Java.type("java.lang.Long").parseLong;
    51 function sub(x) {
    52     return x.foo - x.bar;
    53 }
    54 print("=== sub ===")
    55 print(sub({foo: 2147483647,  bar: -2147483647})); // 2^31
    56 print(sub({foo: parseLong("9223372036854775807"), bar: parseLong("-9223372036854775807")})); // 2^63-1
    58 function self_sub(x) {
    59     return x.foo -= x.bar;
    60 }
    61 print("=== self_sub ===")
    62 print(self_sub({foo: 2147483647,  bar: -2147483647})); // 2^31
    63 print(self_sub({foo: parseLong("9223372036854775807"), bar: parseLong("-9223372036854775807")})); // 2^63-1
    65 function add(x) {
    66     return x.foo + x.bar;
    67 }
    68 print("=== add ===")
    69 print(add({foo: 2147483647,  bar: 2147483647})); // 2^31
    70 print(add({foo: parseLong("9223372036854775807"), bar: parseLong("9223372036854775807")})); // 2^63-1
    72 function self_add(x) {
    73     return x.foo += x.bar;
    74 }
    75 print("=== self_add ===")
    76 print(self_add({foo: 2147483647,  bar: 2147483647})); // 2^31
    77 print(self_add({foo: parseLong("9223372036854775807"), bar: parseLong("9223372036854775807")})); // 2^63-1

mercurial