jeroen at sumatra.nl
Thu Aug 25 23:49:55 PDT 2011
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).
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 786 bytes
Url : http://mail.openjdk.java.net/pipermail/mlvm-dev/attachments/20110826/255b1f45/attachment.bin
More information about the mlvm-dev