RFR: 8356176: C2 MemorySegment: missing RCE with byteSize() in Loop Exit Check inside the for Expression [v3]

[Manuel Hässig]

On Tue, 12 Aug 2025 16:33:02 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Hmm ok. That complicates things for sure.
>> Do you feel you like you understand the implication on all cases here then?
>
> But should the invariant still hold after the reset? `0 + 0 == 0` after all?

Yes, you are right. The reset preserves the invariant. I was being paranoid 🙈

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

PR Review Comment: https://git.openjdk.org/jdk/pull/26429#discussion_r2270572702