Re: [PATCH v3] detect out-of-bounds stores by atomic functions [PR102453]

[Jeff Law <jeffreyalaw@gmail.com>]

On 10/24/2021 5:40 PM, Martin Sebor via Gcc-patches wrote:
> Attached is a revised patch for just the access warning pass
> to diagnose out-of-bounds stores by atomic functions, with
> no attr-fnspec changes.
>
> Is this okay for trunk?
>
> Martin
>
> PS Just to clarify the effect of the original patch in case
> it wasn't: it didn't enable optimizations of atomic built-ins.
> It just made it possible, by first calling the new
> atomic_builtin_fnspec() to get the fnspec, and then by actually
> doing something with it.  The original patch did not modify
> builtin_fnspec() to call the new atomic_builtin_fnspec().  But
> since you seem to have reservations about exposing the attribute
> in any form I have withdrawn the original patch and replaced it
> with the more limited one.
>
>
I'm letting Richi take the lead here.  But I did notice a tiny nit:


> +
> +  /* Tyhe size in bytes of the access by the function, and the number
s/Tyhe/The/