diff options
Diffstat (limited to 'cmake/showoptions.cmake')
| -rw-r--r-- | cmake/showoptions.cmake | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/cmake/showoptions.cmake b/cmake/showoptions.cmake index c4e7ebff950..51f3414cf76 100644 --- a/cmake/showoptions.cmake +++ b/cmake/showoptions.cmake @@ -111,7 +111,28 @@ if ( ASAN ) add_definitions(-DASAN) endif() -if ( PERFORMANCE_PROFILING ) +if(MSAN) + message("") + message(" *** MSAN - WARNING!") + message(" *** Please note that this is for DEBUGGING WITH MEMORY SANITIZER only!") + add_definitions(-DMSAN) +endif() + +if(UBSAN) + message("") + message(" *** UBSAN - WARNING!") + message(" *** Please note that this is for DEBUGGING WITH UNDEFINED BEHAVIOR SANITIZER only!") + add_definitions(-DUBSAN) +endif() + +if(TSAN) + message("") + message(" *** TSAN - WARNING!") + message(" *** Please note that this is for DEBUGGING WITH THREAD SANITIZER only!") + add_definitions(-DTSAN -DNO_BUFFERPOOL) +endif() + +if(PERFORMANCE_PROFILING) message("") message(" *** PERFORMANCE_PROFILING - WARNING!") message(" *** Please note that this is for PERFORMANCE PROFILING only! Do NOT report any issue when enabling this configuration!") |