Commit 218bb57d authored by Marc-André Lureau's avatar Marc-André Lureau Committed by Paolo Bonzini
Browse files

build-sys: check static linking of UBSAN



Signed-off-by: default avatarMarc-André Lureau <marcandre.lureau@redhat.com>
Message-Id: <20180208162343.30809-2-marcandre.lureau@redhat.com>
Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
parent 1de19951
Loading
Loading
Loading
Loading
+9 −1
Original line number Diff line number Diff line
@@ -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