On Tue, 12 May 2026 16:55:51 GMT, Tobias Hartmann <[email protected]> wrote:

>> Mainline fix [JDK-8373248](https://bugs.openjdk.org/browse/JDK-8373248) 
>> added additional code to verify that a `CastPPNode` does not change the type 
>> and we now assert when casting the value of an unsafe flat access to the 
>> proper type. The `CastPP` should be replaced by a `CheckCastPP`.
>> 
>> Thanks,
>> Tobias
>> 
>> ---------
>> - [x] I confirm that I make this contribution in accordance with the 
>> [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai).
>
> Thanks Quan Anh!

@TobiHartmann They are problematic, because when we remove the cast, the 
pointer, for example, which were `TwoBytes(+0)+bot`, becomes 
`TwoBytes(+bot)+bot`, which is a different memory because each field in a flat 
array has its own slice.

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

PR Comment: https://git.openjdk.org/valhalla/pull/2425#issuecomment-4432865653

Reply via email to