add UNLEAK annotation for reducing leak false positives

diff --git a/Makefile b/Makefile
index f2bb7f2f63e458af6261b4a151d87ef9e973222e..c052f09bbae7936b9c9378f9e314e6916a257998 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1036,6 +1036,9 @@ BASIC_CFLAGS += -fno-omit-frame-pointer
 ifneq ($(filter undefined,$(SANITIZERS)),)
 BASIC_CFLAGS += -DNO_UNALIGNED_LOADS
 endif
+ifneq ($(filter leak,$(SANITIZERS)),)
+BASIC_CFLAGS += -DSUPPRESS_ANNOTATED_LEAKS
+endif
 endif
 
 ifndef sysconfdir