The next code shows the problem:

public class Bug647 {

        private String[] values;
        private int count;

        String foo() {
                int i = Integer.MAX_VALUE-1;
                return values[i];
        }

        public static void main(String[] args) {
                Bug647 t = new Bug647();
                String s = t.foo();
        }
}


$ java -Xcomp -XX:CompileOnly=Bug647.foo -XX:+PrintCompilation -cp . Bug647
VM option 'CompileOnly=Bug647.foo'
VM option '+PrintCompilation'
CompileOnly: compileonly *Bug647*.foo
  1   b   Bug647::foo (10 bytes)
o62     LoadP   === o66 o7 o61  [[o63  30 ]]  @java/lang/Object *[int:>=0]+any*, idx=5; #java/lang/String:exact *  Oop:java/lang/String:exact *

mach:
 33     loadConL        === _  [[ 32 ]]   [3000033]
o26     LoadP   === _ o7 o25  [[o55 o28 o36 o61 o61 o43 o43  32 ]]  @Bug647+24*, name=values, idx=4; #java/lang/String:exact *[int:>=0]:exact *
o7      Parm    === o3  [[o63 o62 o55 o44 o26 o36  32 ]] Memory  Memory:@BotPTR *+bot, idx=Bot;
o66     IfFalse === o65  [[o62 o63  32 ]] #0
 32     loadP   === o66 o7 o26  33  [[]] java/lang/String:exact * Oop:java/lang/String:exact *
# To suppress the following error report, specify this argument
# after -XX: or in .hotspotrc:  SuppressErrorAt=\matcher.cpp:1484
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  Internal Error (C:\...\hotspot\src\share\vm\opto\matcher.cpp:1484), pid=24028, tid=23040
#  Error: assert(m->adr_type() == mach->adr_type(),"matcher should not change adr type")