https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86945
--- Comment #2 from Harald Anlauf <anlauf at gmx dot de> --- Changing the line: case(:-1) to case(-HUGE(0):-1) makes the bug disappear; changing it to case(-HUGE(0)-1:-1) makes it reappear.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86945
--- Comment #2 from Harald Anlauf <anlauf at gmx dot de> --- Changing the line: case(:-1) to case(-HUGE(0):-1) makes the bug disappear; changing it to case(-HUGE(0)-1:-1) makes it reappear.