https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82554
--- Comment #4 from Jonathan Wakely ---
Almost all of it is saying things you *don't need to do*.
You just need to send an email.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82554
--- Comment #3 from Ben Longbons ---
There is DR2524 for the [0, 1) case. Otherwise, filing bugs there looks really
complicated.
I've given you a reproducer. That's as much as I'm capable of.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82554
--- Comment #2 from Jonathan Wakely ---
(In reply to Ben Longbons from comment #0)
> This is related to #64351 and #63176, for which a totally-bogus fix was
> applied.
See PR 80137
> There is actually a defect in the standard:
Then shouldn't i
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82554
--- Comment #1 from Ben Longbons ---
Ugh, part of my explanation was wrong: it's not the difference of exponents,
it's the number of common bits between the min and the (inclusive) max. That
just happens to both be 1 bit when the (exclusive) max