http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50624
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-06
08:30:48 UTC ---
True. What we miss for easy cases is a general "access outside of object"
case which doesn't need to involve arrays. The code in VRP needs some serious
TLC (which means, a complete rewrite).
It's on my overly long TODO list, somewhere at the bottom.
OTOH the warning code for some easy cases should be moved to the frontend(s),
which is where diagnostics generally belong (that way you'd also get
the easy cases with automatic arrays which are just optimized away until
we even get to the warning machinery - which unfortunately works only with
-O2 (-ftree-vrp)).
