https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99797
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Component|c |middle-end --- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I read the standard fully differently but I will let someone else make the decision here. About "2) really dangerous" GCC already treat many other undefined behavior as undefined that being dangerous is wrong here. For an example GCC treats signed integer overflow as undefined and the dangerous part is similar to this case; though GCC does have a way to detect at runtime if that happens.