https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87527
Fergus Henderson <fergus.henderson at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Fergus Henderson <fergus.henderson at gmail dot com> ---
It turns out that this example program is not conforming, because it violates a
requirement.
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4713.pdf
29.6.8.2.2 Class template uniform_real_distribution [rand.dist.uni.real]
explicit uniform_real_distribution(RealType a = 0.0, RealType b = 1.0
Requires: a ≤ b and b − a ≤ numeric_limits<RealType>::max().
The requirement "b − a ≤ numeric_limits<RealType>::max()." is violated.
