https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113271
Xi Ruoyao <xry111 at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |xry111 at gcc dot gnu.org --- Comment #2 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- -fsanitize=undefined is even explicitly mentioned in the bug report guideline at https://gcc.gnu.org/bugs/. And the red banner in the new bug page also mentions -fwrapv.