RFR: 8374078: C2_MacroAssembler::verify_int_in_range has incorrect early return condition

[Quan Anh Mai]

On Fri, 19 Dec 2025 22:48:30 GMT, Dean Long <dlong at openjdk.org> wrote:

> What about leaving the early return for TypeInt::INT only (no work to be done), but add known bits checks. Then there will still be something to check when there are no range checks to do (lo == min_jlong && hi == max_jlong)?

Yes, the intention is to add verification for other properties next. In the current PR, I want to solve the potential crash first.

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

PR Comment: https://git.openjdk.org/jdk/pull/28916#issuecomment-3677298785