RFR: 8310297: assert(static_cast<T1>(result) == thing) with ctw

Ioi Lam iklam at openjdk.org
Tue Jun 20 23:07:03 UTC 2023


On Tue, 20 Jun 2023 20:05:44 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote:

> checked_cast<> doesn't work with the initializers in classfiles because even though javac will complain like:
> 
> ByteFieldInitTest.java:32: error: incompatible types: possible lossy conversion from int to byte
>     static byte b = 0x80;
>                     ^
> 1 error
> 
> classfiles can have this value and we've always treated this as a negative signed value.  Removed the checked_cast for javaClasses static final initializers.
> 
> Tested with tier1 on all platforms and added a test.

Looks reasonable to me for fixing the assertion.

-------------

Marked as reviewed by iklam (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14571#pullrequestreview-1489230566


More information about the hotspot-runtime-dev mailing list