From: Marc-André Lureau <marcandre.lureau@redhat.com>
Date: Thu, 8 Feb 2018 16:23:42 +0000 (+0100)
Subject: build-sys: check static linking of UBSAN
X-Git-Tag: qemu-xen-4.12.0-rc1~454^2~35
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=218bb57dd79d6843e0592c30a82ea8c1fddc74a5;p=qemu-xen.git

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>
---

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