https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125564
--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> You mean to express sth like 'VARYING' but not negative zero?
Not exactly. But rather [-INT_MIN, INT_MAX] but not `-0.0`.
>What about [-6, -0.] aka negative zero but not positive zero?
That is there already.
A testcase for this improvement would be:
```
double f(int a, int b)
{
double da = a;
double db = b;
return da < db ? da : db;
}
```
This can use min/max expression earlier than say after sink since there is no
-0.0 nor NaNs.
