|
|
@@ -52,9 +52,11 @@ function(sanitizer_add_blacklist_file FILE) |
|
|
|
"SanitizerBlacklist" "SanBlist") |
|
|
|
endfunction() |
|
|
|
|
|
|
|
function(add_sanitizers TARGET) |
|
|
|
add_sanitize_address(${TARGET}) |
|
|
|
add_sanitize_thread(${TARGET}) |
|
|
|
add_sanitize_memory(${TARGET}) |
|
|
|
add_sanitize_undefined(${TARGET}) |
|
|
|
function(add_sanitizers ...) |
|
|
|
foreach (TARGET ${ARGV}) |
|
|
|
add_sanitize_address(${TARGET}) |
|
|
|
add_sanitize_thread(${TARGET}) |
|
|
|
add_sanitize_memory(${TARGET}) |
|
|
|
add_sanitize_undefined(${TARGET}) |
|
|
|
endforeach () |
|
|
|
endfunction(add_sanitizers) |