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