RFR(S): 8029351: assert(bt != T_OBJECT) failed: Guard is incorrect in VM:defmeth

[David Chase]

On 2013-12-09, at 11:28 AM, Coleen Phillimore <coleen.phillimore at oracle.com> wrote:
>> So is including them ALSO safe, since they should never occur?
>> I'd prefer to use an existing "are you an object" code rather than inventing another one.
>> I could also insert asserts that those two cases are not leaking through.
> 
> Yes, these two tags are also safe and true.   They might be expected in other call sites (now or in the future), so don't add asserts.

Ugh, before I saw your reply, I added them and have been testing.

Where I put the asserts, if the _index cases had leaked through in the past,
would have been interesting, because they would have been treated as not-objects,
which I think leads to downstream evil (e.g., infinite loops in the VM).
So for now they are there, and for now they have not caused any problems,
testing with defmeth, jtreg, and now I'm vm.quick.testlist.

Do you think that's okay, or should I remove the asserts?  That would only make
the tests I'm running less likely to fail, and have no effect on the release build anyway.

David

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mail.openjdk.java.net/pipermail/hotspot-runtime-dev/attachments/20131209/36078d11/signature.asc