]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
New configure option: --enable-ubsan.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 12:34:29 +0000 (14:34 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 23 Sep 2021 16:26:36 +0000 (18:26 +0200)
If the new option is given, -fsanitize=undefined is passed to the
compiler to enable the undefined behavior detector.

We don't check whether this option is supported because the configure
option is off by default.


No differences found