------- Comment #2 from terry at chem dot gu dot se 2008-07-02 02:10 ------- A gentle reminder: This problem still exists as of 4.3.2 20080626.
(At least a compile-time warning is generated for Daniel's testcase. If that 1000 index is an integer variable, however, the compile-time warning goes away and the bounds check still indicates the wrong array.) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34546