Bootstrap arguments

[Jeroen Frijters]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.class
Type: application/x-java-applet
Size: 786 bytes
Desc: test.class
Url : http://mail.openjdk.java.net/pipermail/mlvm-dev/attachments/20110826/255b1f45/attachment.bin