Re: PR83501

[Prathamesh Kulkarni <prathamesh dot kulkarni at linaro dot org>]

On 2 January 2018 at 19:29, Richard Biener <richard.guenther@gmail.com> wrote:
> On Thu, Dec 28, 2017 at 8:42 AM, Prathamesh Kulkarni
> <prathamesh.kulkarni@linaro.org> wrote:
>> On 21 December 2017 at 12:53, Prathamesh Kulkarni
>> <prathamesh.kulkarni@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
>
> Ok.
Thanks, I removed the Warray-bounds-3.c hunk since that was added in
interim by Martin Sebor.
Committed the attached version in r256180 after verifying
bootstrap+test passes on x86_64-unknown-linux-gnu.

Thanks,
Prathamesh
>
> RIchard.
>
>> Thanks,
>> Prathamesh
>>>
>>> Thanks,
>>> Prathamesh

Attachment: pr83501-3.diff
Description: Text document