[Bug libstdc++/106469] Undefined behavior triggered on Mersenne Twister engine due to unsigned integer overflow

pinskia at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Jul 28 20:47:02 GMT 2022


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106469

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=81749,
                   |                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=96829,
                   |                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=91547

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There is a reason why GCC does not implement this "undefined" sanitize is
because it is not undefined code to wrap for unsigned integer.
It is bad that clang/LLVM implements it and people now think it is undefined
and report bugs like this.


More information about the Gcc-bugs mailing list