Abort on UBSAN errors

Previously, UBSAN errors might slip undetected.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f874bb687898a5c5aaa50c4a48be0fa5b42260f9..bd3f0c8b5e2f4eebce43271fbd275f8c2446e1a0 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,7 @@ variables:
   # Pass run-time flags to AddressSanitizer to get core dumps on error.
   ASAN_OPTIONS: abort_on_error=1:disable_coredump=0:unmap_shadow_on_exit=1
   TSAN_OPTIONS_COMMON: "disable_coredump=0 second_deadlock_stack=1 history_size=7 log_exe_name=true log_path=tsan"
+  UBSAN_OPTIONS: "halt_on_error=1:abort_on_error=1:disable_coredump=0"
 
   TARBALL_EXTENSION: xz