aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMarc-André Lureau <marcandre.lureau@redhat.com>2018-02-08 17:23:42 +0100
committerPaolo Bonzini <pbonzini@redhat.com>2018-02-13 11:44:13 +0100
commit218bb57dd79d6843e0592c30a82ea8c1fddc74a5 (patch)
tree4f02cddae1679e2202d15d30121e23e65abb0408 /configure
parent1de19951f11e5b9935b2dccffd962382429a5e29 (diff)
build-sys: check static linking of UBSAN
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com> Message-Id: <20180208162343.30809-2-marcandre.lureau@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure10
1 files changed, 9 insertions, 1 deletions
diff --git a/configure b/configure
index 0a53562072..913e14839d 100755
--- a/configure
+++ b/configure
@@ -5306,7 +5306,15 @@ fi
##########################################
# checks for sanitizers
-write_c_skeleton
+# we could use a simple skeleton for flags checks, but this also
+# detect the static linking issue of ubsan, see also:
+# https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84285
+cat > $TMPC << EOF
+#include <stdint.h>
+int main(void) {
+ return INT32_MIN / -1;
+}
+EOF
have_asan=no
have_ubsan=no