[Bug c/8268] no compile time array index checking

[sebastian dot pop at cri dot ensmp dot fr]

------- Additional Comments From sebastian dot pop at cri dot ensmp dot fr  2005-08-22 12:38 -------
(In reply to comment #14)
> (In reply to comment #9)
> 
> > If we really wanted to tackle this better a compile-time, we'd run a
> > pass to look at all the ARRAY_REFs for those which have an out-of-range
> > index.  It wouldn't be terribly hard to stick one in just before we
> > leave SSA form.
> 
> I'll give this a try.
> 

Have a look at tree-data-ref.c:analyze_array_indexes
The warning can be implemented in this function.

seb

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8268