https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86833
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2019-02-11
CC| |msebor at gcc dot gnu.org
Summary|missing warning for |missing warning for
|out-of-bounds array access |out-of-bounds array access
| |without optimization
Ever confirmed|0 |1
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
It should be possible to detect the basic cases like the one in the test case
involving constant indices even without optimization. Anything more
complicated needs optimization.
