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

[Martin Sebor]

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
the data in a form that's easy to work with, and implements
checking of various kinds f mismatches between redeclarations.
It doesn't actually enable anything new so no new tests are added.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc-50584-1.diff
Type: text/x-patch
Size: 58250 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20200728/2074a3bc/attachment-0001.bin>