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.
                                          

Reply via email to