https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118720
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://github.com/jeaiii/i
| |toa/issues/17#issuecomment-
| |2652085888
--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Daniel Green from comment #9)
> Sorry for bringing this up again, but here is a comment by the guy who
> originally created the code (full thread here
> https://github.com/jeaiii/itoa/issues/17#issuecomment-2652085888) and
> another example (https://godbolt.org/z/Wh4PrqY6T).
>
It does NOT matter if you don't deference the address. The formation of an
address outside of the array (except one past) is still undefined behavior.
See
https://stackoverflow.com/questions/46199653/why-is-pointing-to-one-before-the-first-element-of-an-array-not-allowed-in-c