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/