On 21 December 2017 at 12:53, Prathamesh Kulkarni <prathamesh.kulka...@linaro.org> wrote: > Hi Jakub, > Based on your suggestions in PR83501, I have updated the patch to > check for integer_zerop for 2nd operand of mem_ref. > > With the patch, Warray-bounds started warning for the following test > in Warray-bounds-3.c in line 362 and thus I removed xfail on it: > TM (a5, "0123", ma.a5 + i, ma.a5); > > Does it look OK ? > Validation in progress. ping https://gcc.gnu.org/ml/gcc-patches/2017-12/msg01415.html
Thanks, Prathamesh > > Thanks, > Prathamesh