--enable-devel-checks: Use -fcatch-undefined-behavior -ftrapv with clang.

diff --git a/configure.in b/configure.in
index 1bb6f0ec276706f66411dd21c0a031a278cf9b1d..aa01f2ad7f28f7b6533b947a35b894d9d4058948 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -33,6 +33,7 @@ AC_ARG_ENABLE(devel-checks,
 AS_HELP_STRING([--enable-devel-checks], [Enable some extra expensive checks for developers]),
        if test x$enableval = xyes; then
                AC_DEFINE(DEBUG,, Build with extra debugging checks)
+               want_devel_checks=yes
        fi)
 
 AC_ARG_ENABLE(asserts,
@@ -319,6 +320,12 @@ if test "x$ac_cv_c_compiler_gnu" = "xyes"; then
          CFLAGS="$old_cflags"
        ])
 fi
+if $CC -dM -E -x c /dev/null | grep __clang__ > /dev/null 2>&1; then
+  # clang specific options
+  if test "$want_devel_checks" = "yes"; then
+    CFLAGS="$CFLAGS -fcatch-undefined-behavior -ftrapv"
+  fi
+fi
 
 dnl **
 dnl ** just some generic stuff...