[Bug middle-end/31058] bogus array overflow warnings in unreachable code

[rakdver at atrey dot karlin dot mff dot cuni dot cz]

------- Comment #5 from rakdver at atrey dot karlin dot mff dot cuni dot cz  2007-03-07 09:38 -------
Subject: Re:  bogus array overflow warnings in unreachable code

> But real length of a cannot be greater than 100.  I guess VRP could be improved
> to derive a value range for x in this case ...

I think that in VRP, x is already eliminated, i.e., the code looks like

if (real_length > 110)
  a[110]++;


-- 


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