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)
commitb287a53fa3e3dffb51febedebff6efb0d1065c2c
tree47d53fadc95a92607b395e282925c8da67410651
parent4793e8dd226b49ea0b931504c84f21449ab8f704
New configure option: --enable-ubsan.

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.
Makefile.in
Makefile.real
configure.ac