diff options
author | Tuncer Ayaz <[email protected]> | 2014-07-11 21:24:50 +0200 |
---|---|---|
committer | Tuncer Ayaz <[email protected]> | 2014-07-12 10:31:30 +0200 |
commit | cc894a72098322e12700e543297dc333b11951de (patch) | |
tree | b024fec5133fb604534928aef597d78705b81304 /bin | |
parent | 9a1419a7d4325085dc2235a8531d77e1d96ea689 (diff) | |
download | otp-cc894a72098322e12700e543297dc333b11951de.tar.gz otp-cc894a72098322e12700e543297dc333b11951de.tar.bz2 otp-cc894a72098322e12700e543297dc333b11951de.zip |
Implement --enable-sanitizers[=sanitizers]
Similar to debugging with Valgrind, it's very useful to enable
-fsanitize= switches to catch bugs at runtime.
$ ./configure
Result: no sanitizer enabled
$ ./configure --enable-sanitizers
Result: -fsanitize=address,undefined
$ ./configure --enable-sanitizers=address,thread,undefined
Result: -fsanitize=address,thread,undefined
$ ./configure --enable-sanitizers=undefined
Result: -fsanitize=undefined
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions