https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122489
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |85316
Status|UNCONFIRMED |NEW
Component|middle-end |tree-optimization
Severity|normal |enhancement
Last reconfirmed| |2025-10-30
Ever confirmed|0 |1
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
```
# RANGE [frange] double [-0.0 (-0x0.0p+0),
1.79769313486231570814527423731704356798070567525844996599e+308
(0x0.fffffffffffff8p+1024)]
ratio_25 = _9 * _11;
if (ratio_25 >= 0.0)
goto <bb 6>; [99.96%]
else
goto <bb 5>; [0.04%]
<bb 5> [local count: 405874]:
__builtin_unreachable ();
```
I thought VRP would have removed this unreachable but it seems only for
integers rather than fp too.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases
