------- Comment #36 from law at redhat dot com 2006-02-23 16:31 ------- Subject: Re: no compile time array index checking
On Thu, 2006-02-23 at 16:18 +0000, rguenth at gcc dot gnu dot org wrote: > > ------- Comment #35 from rguenth at gcc dot gnu dot org 2006-02-23 16:18 > ------- > I suggested to put it in VRP so one can do analysis for non-constant indices. > Possibly by splitting the warning like strict aliasing. Using the VRP information for array bound checking purposes has always been something we wanted to do. Though we always thought the first use would be for eliminating bounds checks rather than for warning purposes :-) This will bring to the forefront the need to either make VRP data persistent or at least mark array references VRP determines are safe, unsafe or unsure so that a later pass can issue the appropriate warnings (possibly after further analysis). Jeff -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8268
