------- Comment #11 from rguenth at gcc dot gnu dot org 2007-03-07 20:54 ------- Sorry, but I don't agree a bit with you. It doesn't have as much false positives as other warnings in -Wall. And I think a warning for the testcase in comment #3 is ok -- the code looks very suspicious. Also the testcase in comment #3 has "unreachable" code produced by the programmer, while for the testcase in comment #1 the compiler inserts the unreachable code (and it can either avoid it in this particular case or set TREE_NO_WARNING on the array accesses it produces).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31058
