[Bug middle-end/31058] bogus array overflow warnings in unrolled loops

[pinskia at gcc dot gnu dot org]

------- 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