[Bug tree-optimization/86552] missing warning for reading past the end of non-string arrays

[bernd.edlinger at hotmail dot de]

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

Bernd Edlinger <bernd.edlinger at hotmail dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bernd.edlinger at hotmail dot 
de

--- Comment #4 from Bernd Edlinger <bernd.edlinger at hotmail dot de> ---
Hmm,

I wonder if it would be better to diagnose strlen(a) if a is declared as

const char a[] = { 1,2,3 }

regardless of if it contains 0 at the end?

or just imagine

const char a[] = { '%', 'd', '\0' }

printf(a, x);

this is insane code, no matter if it is zero-terminated.