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