From: Benoît Ganne <bganne@cisco.com>
Date: Tue, 11 Oct 2022 08:09:55 +0000 (+0200)
Subject: build: add sanitizer option to configure script
X-Git-Tag: v23.10-rc0~177
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=634873c3ee2e1dcb045c453a4bd0b602447c3e1a;p=vpp.git

build: add sanitizer option to configure script

Type: improvement

Change-Id: Ia679d6e5fb7eff6dbd7363465e5667119751e908
Signed-off-by: Benoît Ganne <bganne@cisco.com>
---

diff --git a/configure b/configure
index 29f7dbd3258..fbe27daeac3 100755
--- a/configure
+++ b/configure
@@ -30,6 +30,7 @@ OPTIONS:
   --build-type, -t        Build type (release, debug, ...)
   --native-only, -n       Only compile for Native CPU (no multiarch)
   --wipe, -w              Wipe whole repo (except startup.* files)
+  --sanitize, -s          Enable sanitizer (mem)
 __EOF__
 }
 
@@ -83,6 +84,15 @@ while (( "$#" )); do
       wipe=yes
       shift 1
       ;;
+    -s|--sanitize)
+      shift 1
+      case "$1" in
+	mem)
+	  shift 1
+	  args+=("-DVPP_ENABLE_SANITIZE_ADDR=ON")
+	  ;;
+      esac
+      ;;
     -*|--*=) # unsupported flags
       echo "Error: Unsupported flag $1" >&2
       exit 1