Hi, On Thu, 11 Jun 2015 12:56:50, Richard Biener wrote: > > I also think we need to be conservative. I didn't look at the patch in detail > to check whether we are indeed conservative here (what about offsets > that are not visibly constant like for if (n> m) ... a[m];?). >
we only handle constant values for m, if m does not look like a constant we use pointer arithmetic, and that can always trap. Bernd.