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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amodra at gmail dot com

--- Comment #4 from Alan Modra <amodra at gmail dot com> ---
I agree the code is undefined, but "store to address 0x0000004172b0 with
insufficient space for an object of type 'long int'" is a lie.  There plainly
*is* sufficient space at that address.

It would be nice to diagnose the actual undefined behaviour.  As a compiler
developer you might have the mindset of "it's undefined code so the compiler
can do anything", but that argument strikes me as disingenuous when we are
talking about -fsanitize=undefined!

Reply via email to