From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 15 Jul 2017 12:34:29 +0000 (+0200)
Subject: New configure option: --enable-ubsan.
X-Git-Tag: v0.7.0~12^2
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=b287a53fa3e3dffb51febedebff6efb0d1065c2c;hp=b287a53fa3e3dffb51febedebff6efb0d1065c2c;p=paraslash.git

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.
---