https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125513
--- Comment #8 from Drea Pinski <pinskia at gcc dot gnu.org> ---
My ranger patch also improves/fixes:
```
int f(int a, int b)
{
if (a == b)
{
int t = a*b;
return t < 0;
}
return 0;
}
```
Which was not detected before.
The only thing I am thinking about is do I need `op1_range != op2_range` check
or not. I don't think so as VREL_EQ should matter here only.
