https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82554
--- Comment #3 from Ben Longbons <b.r.longbons at gmail dot com> --- 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.
