Changeset 72091 in vbox

Timestamp:

May 3, 2018 12:53:03 PM (7 years ago)

Author:

vboxsync

Message:

Address sanitiser: split up option into statically and dynamically linked.
bugref:8019: Undefined behaviour sanitiser
When we link the address sanitiser libraries dynamically we need to set
LD_LIBRARY_PATH for the 3D test to work. However, when we link statically
the test suite causes problems. So have an option for both and let the
developer choose.

File:

• trunk/Config.kmk (modified) (3 diffs)

trunk/Config.kmk

@@ -2920 +2920 @@
 
 # The address sanitiser library intercepts dlopen() and breaks RPATH $ORIGIN,
-# so we need to link it statically.
+# so we need to link it statically or set LD_LIBRARY_PATH.  To link statically,
+# set VBOX_WITH_GCC_SANITIZER_STATIC in addition.
 ifdef VBOX_WITH_GCC_SANITIZER
  VBOX_GCC_SANITIZER_FLAGS := \
@@ -2930 +2931 @@
         -fno-sanitize=alignment \
         -fno-sanitize=vptr \
-        -fno-common \
-        -static-libasan
+        -fno-common
 else
  VBOX_GCC_SANITIZER_FLAGS =
@@ -2937 +2937 @@
 
 # -libasan-static is currently not supported in combination with -no-undefined.
+VBOX_GCC_NO_UNDEFINED    :=
+VBOX_GCC_NO_UNDEFINED_R0 :=
 ifdef VBOX_WITH_GCC_SANITIZER
- VBOX_GCC_NO_UNDEFINED    :=
- VBOX_GCC_NO_UNDEFINED_R0 :=
-else
- VBOX_GCC_NO_UNDEFINED    := -Wl,--no-undefined
- VBOX_GCC_NO_UNDEFINED_R0 := -no-undefined
+ ifdef VBOX_WITH_GCC_SANITIZER_STATIC
+  VBOX_GCC_NO_UNDEFINED    := -Wl,--no-undefined
+  VBOX_GCC_NO_UNDEFINED_R0 := -no-undefined
+  VBOX_GCC_SANITIZER_FLAGS += -static-libasan
+ else
+  VBOX_GCC_SANITIZER_FLAGS += -lasan
+ endif
 endif