[Bug middle-end/48560] [4.6/4.7 Regression] -Warray-bounds fails to detect the out of bound array access

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48560

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WONTFIX
   Target Milestone|---                         |4.6.1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-12 10:31:23 UTC ---
Because we fold s[30] to '\0' before the warning code gets a chance to trigger.
The code contains undefined behavior so we can do that.