diff options
author | René Scharfe <l.s.r@web.de> | 2017-07-15 20:18:56 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-07-18 00:50:27 +0300 |
commit | 425ca6710b207f36ca0dfd28cc28b5f360355bef (patch) | |
tree | ef93f6969db29a4eefe2cacbf6d703c7c9088af2 /Makefile | |
parent | 566cf0b3bd6458a74e8a3df8c01d27f35e7814f2 (diff) |
Makefile: allow combining UBSan with other sanitizers
Multiple sanitizers can be specified as a comma-separated list. Set
the flag NO_UNALIGNED_LOADS even if UndefinedBehaviorSanitizer is not
the only sanitizer to build with.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -991,10 +991,15 @@ ifdef DEVELOPER CFLAGS += $(DEVELOPER_CFLAGS) endif +comma := , +empty := +space := $(empty) $(empty) + ifdef SANITIZE +SANITIZERS := $(foreach flag,$(subst $(comma),$(space),$(SANITIZE)),$(flag)) BASIC_CFLAGS += -fsanitize=$(SANITIZE) -fno-sanitize-recover=$(SANITIZE) BASIC_CFLAGS += -fno-omit-frame-pointer -ifeq ($(SANITIZE),undefined) +ifneq ($(filter undefined,$(SANITIZERS)),) BASIC_CFLAGS += -DNO_UNALIGNED_LOADS endif endif |