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

[Coleen Phillimore]

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.

Thanks David.  We don't seem to have a test for this.  I'm going to follow up with JCK to see if one could be added.

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

PR Comment: https://git.openjdk.org/jdk/pull/14571#issuecomment-1600685581