diff --git a/configure b/configure index f443fb09..146aedec 100755 --- a/configure +++ b/configure @@ -375,6 +375,10 @@ fi if [ -n "$DEBUG" -a "$DEBUG" != no -a "$DEBUG" != false ]; then echo "Adding debugging CFLAGS" cat <>$CONFIG_MK +# Enforce address sanitization +CFLAGS+= -fsanitize=address +LDFLAGS+= -fsanitize=address + CFLAGS+= -g -Wall -Wextra CFLAGS+= -Wmissing-prototypes -Wmissing-declarations CFLAGS+= -Wmissing-format-attribute -Wnested-externs