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

2021-10-13 Thread Richard Biener via Gcc-patches
On Tue, Oct 12, 2021 at 9:44 PM Martin Sebor wrote: > > On 10/12/21 12:52 AM, Richard Biener wrote: > > On Mon, Oct 11, 2021 at 11:25 PM Martin Sebor wrote: > >> > >> The attached change extends GCC's warnings for out-of-bounds > >> stores to cover atomic (and __sync) built-ins. > >> > >> Rather

[PATCH v2] detect out-of-bounds stores by atomic functions [PR102453]

2021-10-12 Thread Martin Sebor via Gcc-patches
On 10/12/21 12:52 AM, Richard Biener wrote: On Mon, Oct 11, 2021 at 11:25 PM Martin Sebor wrote: The attached change extends GCC's warnings for out-of-bounds stores to cover atomic (and __sync) built-ins. Rather than hardcoding the properties of these built-ins just for the sake of the