hotspot/test/compiler/c2/cr7005594/Test7005594.java
changeset 43090 65e2b10e8e80
parent 43089 05e2611ebff6
parent 43040 ab2c8b03c328
child 43091 a03e216c92ea
child 43093 c0087c8cf069
equal deleted inserted replaced
43089:05e2611ebff6 43090:65e2b10e8e80
     1 /*
       
     2  * Copyright (c) 2011, 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  */
       
    23 
       
    24 /**
       
    25  * @test
       
    26  * @bug 7005594
       
    27  * @summary Array overflow not handled correctly with loop optimzations
       
    28  *
       
    29  * @run shell Test7005594.sh
       
    30  */
       
    31 
       
    32 package compiler.c2.cr7005594;
       
    33 
       
    34 public class Test7005594 {
       
    35 
       
    36       static int test(byte a[]){
       
    37           int result=0;
       
    38           for( int i=0; i<a.length; i+=((0x7fffffff>>1)+1) ){
       
    39               result += a[i];
       
    40           }
       
    41           return result;
       
    42       }
       
    43 
       
    44       public static void main(String [] args){
       
    45           byte a[]=new byte[(0x7fffffff>>1)+2];
       
    46           int result = 0;
       
    47           try {
       
    48               result = test(a);
       
    49           } catch (ArrayIndexOutOfBoundsException e) {
       
    50               e.printStackTrace(System.out);
       
    51               System.out.println("Passed");
       
    52               System.exit(95);
       
    53           }
       
    54           System.out.println(result);
       
    55           System.out.println("FAILED");
       
    56           System.exit(97);
       
    57       }
       
    58 
       
    59 }
       
    60