RFR: 8324121: SIGFPE in PhaseIdealLoop::extract_long_range_checks [v2]

Tue Mar 26 08:24:28 UTC 2024

On Mon, 25 Mar 2024 22:23:08 GMT, Dean Long <dlong at openjdk.org> wrote:

>>> In my opinion ABS() should assert that it has legal input (not MIN_INT) and output (non-negative value) in debug builds.
>> 
>> I agree and filed [JDK-8328934](https://bugs.openjdk.org/browse/JDK-8328934) for that.
>
> Unfortunately, there is still an overflow here when `scale` is min_jlong.

Right but isn't it harmless in this particular case?

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

PR Review Comment: https://git.openjdk.org/jdk/pull/18397#discussion_r1538765899