Re: [PATCH 1/5] infrastructure to detect out-of-bounds accesses to array parameters

2020-08-13 Thread Jeff Law via Gcc-patches
On Fri, 2020-08-07 at 11:08 -0600, Martin Sebor via Gcc-patches wrote: > On 7/28/20 7:16 PM, Martin Sebor wrote: > > Patch 1 adds the basic infrastructure to support array/VLA bounds > > in attribute access. It extends the access string specification > > to describe function parameters of array ty

Re: [PATCH 1/5] infrastructure to detect out-of-bounds accesses to array parameters

2020-08-07 Thread Martin Sebor via Gcc-patches
On 7/28/20 7:16 PM, Martin Sebor wrote: Patch 1 adds the basic infrastructure to support array/VLA bounds in attribute access.  It extends the access string specification to describe function parameters of array types (including VLAs), extends the attr_access class to parse the string and store t