diff options
| author | Kees Cook <keescook@chromium.org> | 2017-04-05 09:49:19 -0700 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2017-05-28 10:23:03 -0700 |
| commit | 0aa5e49c6845ecd82531341085f367767c9f419a (patch) | |
| tree | dd7b9d4a2bad900e26a42810304ae571df61183a /scripts/Makefile.gcc-plugins | |
| parent | 1132e1e448ce51e3b51fc7afdf661633abc4f202 (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