[Bug libstdc++/82554] uniform_real_distribution can generate the upper endpoint

2017-10-17 Thread redi at gcc dot gnu.org
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.

[Bug libstdc++/82554] uniform_real_distribution can generate the upper endpoint

2017-10-17 Thread b.r.longbons at gmail dot com
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.

[Bug libstdc++/82554] uniform_real_distribution can generate the upper endpoint

2017-10-15 Thread redi at gcc dot gnu.org
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

[Bug libstdc++/82554] uniform_real_distribution can generate the upper endpoint

2017-10-14 Thread b.r.longbons at gmail dot com
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