diff options
| author | Bruce Yinhe <[email protected]> | 2014-08-08 15:44:59 +0200 |
|---|---|---|
| committer | Bruce Yinhe <[email protected]> | 2014-08-08 15:45:07 +0200 |
| commit | ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e (patch) | |
| tree | 244b7c68c2cdd84f0b8e01277db36f80bddaa64c /lib/erl_interface/configure.in | |
| parent | e189bae81fbc873d3349b9dec12ef234daf9d8ad (diff) | |
| parent | cc894a72098322e12700e543297dc333b11951de (diff) | |
| download | otp-ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e.tar.gz otp-ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e.tar.bz2 otp-ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e.zip | |
Merge branch 'tuncer/sanitizers' into maint
OTP-12081
* tuncer/sanitizers:
Implement --enable-sanitizers[=sanitizers]
Diffstat (limited to 'lib/erl_interface/configure.in')
| -rw-r--r-- | lib/erl_interface/configure.in | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/erl_interface/configure.in b/lib/erl_interface/configure.in index d511f2e240..ef78f0f87b 100644 --- a/lib/erl_interface/configure.in +++ b/lib/erl_interface/configure.in @@ -311,6 +311,26 @@ else fi fi +dnl ---------------------------------------------------------------------- +dnl Enable -fsanitize= flags. +dnl ---------------------------------------------------------------------- + +m4_define(DEFAULT_SANITIZERS, [address,undefined]) +AC_ARG_ENABLE( + sanitizers, + AS_HELP_STRING( + [--enable-sanitizers@<:@=comma-separated list of sanitizers@:>@], + [Default=DEFAULT_SANITIZERS]), +[ +case "$enableval" in + no) sanitizers= ;; + yes) sanitizers="-fsanitize=DEFAULT_SANITIZERS" ;; + *) sanitizers="-fsanitize=$enableval" ;; +esac +CFLAGS="$CFLAGS $sanitizers" +LDFLAGS="$LDFLAGS $sanitizers" +]) + # --------------------------------------------------------------------------- # XXX # --------------------------------------------------------------------------- |