http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60037
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- clang's ubsan finds two errors /home/jwakely/src/gcc/build/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/random.tcc:3478: runtime error: value 4.29497e+09 is outside the range of representable values of type 'unsigned int' /home/jwakely/src/gcc/build/x86_64-unknown-linux-gnu/libstdc++-v3/include/bits/random.tcc:3480:20: runtime error: division by zero