https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105592
m.cencora at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |m.cencora at gmail dot com
--- Comment #2 from m.cencora at gmail dot com ---
While forming the pointer to 'one past the last' element is fine in C/C++,
dereferencing it is not valid. And that is what is happening in 'return *b;'
-fsanitizer=address correctly reports the problem for a1.c
