summaryrefslogtreecommitdiff
path: root/scripts/Makefile.gcc-plugins
diff options
context:
space:
mode:
authorKees Cook <keescook@chromium.org>2017-04-05 09:49:19 -0700
committerKees Cook <keescook@chromium.org>2017-05-28 10:23:03 -0700
commit0aa5e49c6845ecd82531341085f367767c9f419a (patch)
treedd7b9d4a2bad900e26a42810304ae571df61183a /scripts/Makefile.gcc-plugins
parent1132e1e448ce51e3b51fc7afdf661633abc4f202 (diff)
compiler: Add __designated_init annotation
This allows structure annotations for requiring designated initialization in GCC 5.1.0 and later: https://gcc.gnu.org/onlinedocs/gcc/Designated-Inits.html The structure randomization layout plugin will be using this to help identify structures that need this form of initialization. Signed-off-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'scripts/Makefile.gcc-plugins')
0 files changed, 0 insertions, 0 deletions