Re: PR83501

2018-01-03 Thread Prathamesh Kulkarni
On 2 January 2018 at 19:29, Richard Biener wrote: > On Thu, Dec 28, 2017 at 8:42 AM, Prathamesh Kulkarni > wrote: >> On 21 December 2017 at 12:53, Prathamesh Kulkarni >> wrote: >>> Hi Jakub, >>> Based on your suggestions in PR83501, I have updated the patch to >>> check for integer_zerop for 2nd

Re: PR83501

2018-01-02 Thread Richard Biener
On Thu, Dec 28, 2017 at 8:42 AM, Prathamesh Kulkarni wrote: > On 21 December 2017 at 12:53, Prathamesh Kulkarni > 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 sta

Re: PR83501

2017-12-27 Thread Prathamesh Kulkarni
On 21 December 2017 at 12:53, Prathamesh Kulkarni 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