diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2023-03-02 17:26:32 +0100 |
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2023-03-02 17:26:32 +0100 |
| commit | e0bcd845901c38261ca7c879ad877abade2661f6 (patch) | |
| tree | 5925348d2f907aac90734e09fed08880f18a75f1 /userconfig-runner@Linux-GNU.cmake | |
| parent | 1c00f3fb3ca4a0e47cf66d59966788e8451ae3b4 (diff) | |
ci: run undefined memory sanitizer
Diffstat (limited to 'userconfig-runner@Linux-GNU.cmake')
| -rw-r--r-- | userconfig-runner@Linux-GNU.cmake | 4 |
1 files 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 |