https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98217
Martin Uecker <muecker at gwdg dot de> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |muecker at gwdg dot de
--- Comment #7 from Martin Uecker <muecker at gwdg dot de> ---
int (*array3)[n];
on the stack should also be allowed as this enables bounds checking, i.e.
(*array3)[n] = 1;
is UB (and can be diagnosed at run-time by the UB sanitzer).
Non matching bounds at the function call boundary are also UB and could be
diagnosed.
