From e0bcd845901c38261ca7c879ad877abade2661f6 Mon Sep 17 00:00:00 2001 From: Stanislaw Halik Date: Thu, 2 Mar 2023 17:26:32 +0100 Subject: ci: run undefined memory sanitizer --- userconfig-runner@Linux-GNU.cmake | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/userconfig-runner@Linux-GNU.cmake b/userconfig-runner@Linux-GNU.cmake index 963027ba..7994a721 100644 --- a/userconfig-runner@Linux-GNU.cmake +++ b/userconfig-runner@Linux-GNU.cmake @@ -6,8 +6,8 @@ sets(STRING CMAKE_C_FLAGS_RELEASE "-O0 -DNDEBUG -s" CMAKE_CXX_FLAGS_RELEASE "-O0 -DNDEBUG -s") -add_compile_options(-fsanitize=address,undefined) -add_link_options(-fsanitize=address,undefined) +add_compile_options(-fsanitize=address,undefined,memory) +add_link_options(-fsanitize=address,undefined,memory) sets(BOOL CORRADE_CPU_USE_IFUNC OFF) # for floormat sources only -- cgit v1.2.3