[Bug tree-optimization/45978] [4.6 Regression] bogus "array subscript is above array bounds" warning in extremely simple code with no loops

[torsten at debian dot org]

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

--- Comment #8 from torsten at debian dot org 2011-08-19 22:54:11 UTC ---
Created attachment 25059
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25059
An obviously correct example that triggers the bug.

(In reply to comment #7)
> GCC 4.6.1 is being released.

I just searched for this problem due to a bug report that SWIG causes out of
bounds array accesses:
https://sourceforge.net/tracker/?func=detail&atid=101645&aid=3394790&group_id=1645

It turns out that the generated code is similar to the trivial example that I
attached. Perhaps this makes it easier to track down the bug.