------- Comment #10 from pinskia at gcc dot gnu dot org 2007-03-07 20:37 ------- > well, the unrolled body is generated code, it could set TREE_NO_WARNING (for > example). or it could avoid unrolling if its not a flex array.
Except it cannot tell sorry, this is exactly the same issue as the bogus warning for the function given in comment #3. To really tell array overflows, you really need to emitt bounds checking. I think this warning should never have ended in VRP, as shown you can get many many bogus warnings. So really I think it might be best to remove the warning and have the C/C++ front-end emits bounds checking when ARRAY_REF and the size is known (for -fbounds-checking). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31058
