Commit c834f0e8 authored Mar 20, 2017 by Kees Cook Committed by Masahiro Yamada Mar 22, 2017

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>

parent f78271df

Makefile

+3 −0

Original line number	Diff line number	Diff line
		@@ -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)