On Mon, Oct 25, 2021 at 4:21 AM Jeff Law <jeffreya...@gmail.com> wrote: > > > > 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/
The patch looks OK to me. Thanks, Richard. > >
