PING 2 [PATCH] handle sanitizer built-ins in -Wuninitialized (PR 101300)

[Martin Sebor]

On 7/20/21 4:48 AM, Jeff Law wrote:
> 
> 
> On 7/19/2021 6:01 PM, Martin Sebor via Gcc-patches wrote:
>> Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574385.html
>>
>> On 7/12/21 12:06 PM, Martin Sebor wrote:
>>> Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-July/574385.html
>>>
>>> On 7/2/21 1:21 PM, Martin Sebor wrote:
>>>> To avoid a class of false negatives for sanitized code
>>>> -Wuninitialized recognizes the ASAN_MARK internal function
>>>> doesn't modify its argument.  But the warning code doesn't do
>>>> the same for any sanitizer built-ins even though they don't
>>>> modify user-supplied arguments either.  This leaves another
>>>> class of false negatives unresolved.
>>>>
>>>> The attached fix enhances the warning logic to recognize all
>>>> sanitizer built-ins as well and treat them as non-modifying.
>>>>
>>>> Tested on x86_64-linux.
> OK after fixing the "pointets" -> "pointers" typo.

Done and pushed in r12-2420.

Martin