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

[Manuel Hässig]

On Tue, 12 Aug 2025 17:17:23 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Manuel Hässig has updated the pull request incrementally with eight additional commits since the last revision:
>> 
>>  - Better documentation of profitable()
>>  - Remove vector sizes
>>  - Specify vector sizes
>>  - Merge branch 'jdk-8356176-byte-size' of github.com:mhaessig/jdk into jdk-8356176-byte-size
>>  - Add asserts
>>  - Make region a field
>>  - Even more better debug print
>>  - Remove redundant scenarios
>
> Ok, things are improving nicely 😊

Thank you for looking at this @eme64! I addressed all of your comments. I also reran testing and it passed.

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

PR Comment: https://git.openjdk.org/jdk/pull/26429#issuecomment-3188793269