[Bug tree-optimization/126641] [17 Regression], ice in frange_nextafter, at range-op-float.cc:315

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126641

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-reduction             |

--- Comment #11 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Testcase that triggers this

extern double tand_r16_x;
extern int tand_r16_n;
int tand_r16() { return tand_r16_n - tand_r16_x &&tand_r16_x * 0; }

at just -O3.

I can't bisect because the range outputs are correct, (at least from what I can
tell in evrp).  It's the values before clamping that go wrong and stack
smashing doesn't happen consistently so the bisect goes off course.

With the assert this always hits though.