|
|
To use the GCC sanitizer on COSMA4:
|
|
|
```
|
|
|
module load swift
|
|
|
module load swift/c4/gcc/intelmpi/5.1.2
|
|
|
|
|
|
./autogen.sh (if fresh checkout)
|
|
|
./configure --enable-debug --enable-sanitizer --disable-optimization --with-metis
|
|
|
make clean
|
|
|
make
|
|
|
|
|
|
setenv ASAN_OPTIONS symbolize=1
|
|
|
setenv ASAN_SYMBOLIZER_PATH /cosma/local/llvm/3.5.0/bin/llvm-symbolizer
|
|
|
```
|
|
|
|
|
|
The `setenv` values make sure that you get line numbers in the dump report.
|
|
|
(Not needed for GCC 4.9+, we have 4.8 on COSMA).
|
|
|
|
|
|
Note to use inside `ddt/gdb` you need to set a break point `__asan_report_error`
|
|
|
otherwise the program will just exit. Also do not enable memory checking in ddt. |
|
|
\ No newline at end of file |