John Rose wrote: > When you call a function of type, say, (B), you are promising that the > 32-bit int you loaded onto the stack fits into the declared subrange, > say, -128..127. > > (This is a little-known invariant of the verifier. Although all > primitive arguments and return values are passed in 32 and 64 bit > containers, some of the 32-bit values are required/guaranteed to be > constrained to a subrange of values.)
I don't think so. See the attached class. It violates both the boolean and byte
constraints ("\jdk1.7\bin\java -Xverify test" runs without complaints).
Regards,
Jeroen
test.class
Description: test.class
_______________________________________________ mlvm-dev mailing list mlvm-dev@openjdk.java.net http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev
