From fe5db9220ca0d6c74b0ed5b10f2c5a5d0f4653f7 Mon Sep 17 00:00:00 2001 From: Florian Schmaus <flow@cs.fau.de> Date: Thu, 13 Jan 2022 09:13:56 +0100 Subject: [PATCH] [Makefile] Add debug-msan target --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Makefile b/Makefile index 357b3ecb..62f1c8c6 100644 --- a/Makefile +++ b/Makefile @@ -34,6 +34,14 @@ debug: rm -f build $(MAKE) build BUILDTYPE=$@ +.PHONY: debug-msan +debug-msan: export CC = clang +debug-msan: export CXX = clang++ +debug-msan: + rm -f build + $(MAKE) build BUILDTYPE=debug BUILDDIR=$@ \ + EMPER_B_SANITIZE=memory EMPER_B_LUNDEF=false + .PHONY: fast-static-analysis fast-static-analysis: all check-format check-license doc -- GitLab