Suppress santizer error about undefined behavior in Bliss.

This could be an error on our end since it looks like memory corruption, however for now we'll suppress it since it's in external code.
IntelligentSoftwareSystems · Jun 12, 2020 · c994ed8 · c994ed8
1 parent 5429f49
commit c994ed8
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/cmake/Modules/HandleSanitizer.cmake b/cmake/Modules/HandleSanitizer.cmake
@@ -88,8 +88,10 @@ if (GALOIS_USE_SANITIZE_COVERAGE)
 endif()
 
 if (GALOIS_USE_SANITIZER MATCHES ".*Undefined.*")
-  set(BLACKLIST_FILE "${CMAKE_SOURCE_DIR}/config/sanitizers/ubsan_blacklist.txt")
-  if (EXISTS "${BLACKLIST_FILE}")
+  set(BLACKLIST_CONFIGURE_FILE "${PROJECT_SOURCE_DIR}/config/sanitizers/ubsan_blacklist.txt.in")
+  if (EXISTS "${BLACKLIST_CONFIGURE_FILE}")
+    set(BLACKLIST_FILE "${PROJECT_BINARY_DIR}/config/sanitizers/ubsan_blacklist.txt")
+    configure_file("${BLACKLIST_CONFIGURE_FILE}" "${BLACKLIST_FILE}")
     append("-fsanitize-blacklist=${BLACKLIST_FILE}"
            CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
   endif()

diff --git a/config/sanitizers/ubsan_blacklist.txt.in b/config/sanitizers/ubsan_blacklist.txt.in
@@ -0,0 +1,2 @@
+[undefined]
+src:@PROJECT_SOURCE_DIR@/external/bliss/*