]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - Makefile.real
New configure option: --enable-ubsan.
[paraslash.git] / Makefile.real
index b88de22533048979bcfef8f3396b7608297afb3b..e0296b1fe2f1909b785b6a329238e334d456168b 100644 (file)
@@ -129,6 +129,11 @@ STRICT_CFLAGS += -Wno-sign-compare -Wno-unknown-pragmas
 STRICT_CFLAGS += -Wdeclaration-after-statement
 STRICT_CFLAGS += -Wformat -Wformat-security -Wmissing-format-attribute
 
+ifeq ($(ENABLE_UBSAN), yes)
+       STRICT_CFLAGS += -fsanitize=undefined
+       LDFLAGS += -lubsan
+endif
+
 ifeq ($(uname_s),Linux)
        # these cause warnings on *BSD
        CPPFLAGS += -Wunused-macros