https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82584
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
Status|NEW |ASSIGNED
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This is user error. [rand.dist.samp.discrete] p2 says:
> Moreover, the following relation shall hold: 0 < S = w0 + · · · + wn−1 .
So there must be at least one non-zero weight.
I'll add an assertion.
