http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60037
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- ubsan sees it too /home/jwakely/build/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/random.tcc:3480:20: runtime error: division by zero FAIL: ext/random/hypergeometric_distribution/operators/values.cc execution test