Merge branch 'refs/heads/t/ubsan'
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Nov 2021 17:10:11 +0000 (18:10 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 28 Nov 2021 17:11:17 +0000 (18:11 +0100)
commit8af63afe0ce633fd488f0669614e2d08680f90bc
tree102a94d42c058edaa875b0ef1b5cca09b66abadc
parent9ca668fd7277ef4d330c647cfc5947673e199077
parentb287a53fa3e3dffb51febedebff6efb0d1065c2c
Merge branch 'refs/heads/t/ubsan'

A single patch which adds an option to ./configure to instruct the
compiler to activate its undefined behaviour checker.

Cooking for two months.

* refs/heads/t/ubsan:
  New configure option: --enable-ubsan.
NEWS.md