https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109557
Martin Uecker <muecker at gwdg dot de> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |muecker at gwdg dot de
--- Comment #3 from Martin Uecker <muecker at gwdg dot de> ---
I general the pointer could point to the first object of an array that has more
elements, or to an object of a different type. The semantics of C are not
strong enough here, but it would be good to have some kind of annotation for
the pointer that would allow this.
