diff options
| author | Alex Shi <alex.shi@linaro.org> | 2016-04-27 09:52:15 +0800 |
|---|---|---|
| committer | Alex Shi <alex.shi@linaro.org> | 2016-04-27 09:52:15 +0800 |
| commit | e0ac66e00b01f6ff4e8274a4b5c008a26583c1b9 (patch) | |
| tree | c845d5e80991f0eef3a38381036c8261baffb08a /scripts/Makefile.kasan | |
| parent | e9cd0f1ce300f433a478bd1973dea112b5fbb800 (diff) | |
| parent | 7b44c3df0b89d05c80e15eb0522a21d033d1314f (diff) | |
Merge branch 'v3.18/topic/KASAN' into linux-linaro-lsk-v3.18lsk-v3.18-16.04
Diffstat (limited to 'scripts/Makefile.kasan')
| -rw-r--r-- | scripts/Makefile.kasan | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/scripts/Makefile.kasan b/scripts/Makefile.kasan new file mode 100644 index 000000000000..37323b0df374 --- /dev/null +++ b/scripts/Makefile.kasan @@ -0,0 +1,31 @@ +ifdef CONFIG_KASAN +ifdef CONFIG_KASAN_INLINE + call_threshold := 10000 +else + call_threshold := 0 +endif + +KASAN_SHADOW_OFFSET ?= $(CONFIG_KASAN_SHADOW_OFFSET) + +CFLAGS_KASAN_MINIMAL := -fsanitize=kernel-address + +CFLAGS_KASAN := $(call cc-option, -fsanitize=kernel-address \ + -fasan-shadow-offset=$(KASAN_SHADOW_OFFSET) \ + --param asan-stack=1 --param asan-globals=1 \ + --param asan-instrumentation-with-call-threshold=$(call_threshold)) + +ifeq ($(call cc-option, $(CFLAGS_KASAN_MINIMAL) -Werror),) + ifneq ($(CONFIG_COMPILE_TEST),y) + $(warning Cannot use CONFIG_KASAN: \ + -fsanitize=kernel-address is not supported by compiler) + endif +else + ifeq ($(CFLAGS_KASAN),) + ifneq ($(CONFIG_COMPILE_TEST),y) + $(warning CONFIG_KASAN: compiler does not support all options.\ + Trying minimal configuration) + endif + CFLAGS_KASAN := $(CFLAGS_KASAN_MINIMAL) + endif +endif +endif |