diff options
author | Kees Cook <keescook@chromium.org> | 2017-03-20 17:14:11 -0700 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2017-03-22 02:50:25 +0900 |
commit | c834f0e8a8bb3025aac38e802fca2e686720f544 (patch) | |
tree | c53de99eef392f795629261ecbcc4c5b7b27c99b /Makefile | |
parent | f78271dfb77353c4d045f9735deebe21839fb2ed (diff) | |
download | linux-c834f0e8a8bb3025aac38e802fca2e686720f544.tar.bz2 |
Kbuild: make designated_init attribute fatal
If a structure is marked with __attribute__((designated_init)) from
GCC or Sparse, it needs to have all static initializers using designated
initialization. Fail the build for any missing cases. This attribute will
be used by the randstruct plugin to make sure randomized structures are
being correctly initialized.
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -795,6 +795,9 @@ KBUILD_CFLAGS += $(call cc-option,-Werror=date-time) # enforce correct pointer usage KBUILD_CFLAGS += $(call cc-option,-Werror=incompatible-pointer-types) +# Require designated initializers for all marked structures +KBUILD_CFLAGS += $(call cc-option,-Werror=designated-init) + # use the deterministic mode of AR if available KBUILD_ARFLAGS := $(call ar-option,D) |