This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PING] [PATCH] avoid -Wrestrict for null pointers (PR 85365)


On Thu, Apr 19, 2018 at 6:05 PM, Martin Sebor <msebor@gmail.com> wrote:
> Ping: https://gcc.gnu.org/ml/gcc-patches/2018-04/msg00676.html
>
> Testing on x86_64-linux showed no regressions.

OK.

Richard.

>
> On 04/13/2018 10:49 AM, Martin Sebor wrote:
>>
>> PR 85365 is another example of a false positive caused by
>> the interaction between the instrumentation inserted by
>> sanitizers, jump threading, and a middle-end warning.
>> In this case, the warning is easy to avoid by suppressing
>> -Wrestrict for null pointers.  Although undefined, since
>> they do no point to an object, strictly speaking they do
>> not indicate an overlap, and so issuing a -Wrestrict
>> warning is not quite appropriate anyway.
>>
>> Testing in progress.
>>
>> Martin
>
>


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]