diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-11 01:09:09 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-11 01:09:09 -0700 |
commit | 54449d5a9bd8e0de1a32aa35895f4edae51c5e45 (patch) | |
tree | 3a0d6d45f3143fb46463da234326b0dbf77e87dc /configure.sh | |
parent | 91acac585b0b2bc5a3fab4466d887cfbafa35f77 (diff) |
Add support for UBSan instrumentation (#3382)
This commit adds support for compiling CVC4 with UBSan instrumentation.
The commit also adds a dummy version of `AigBitblaster`. Previously,
when CVC4 was built without ABC, `AigBitblaster` was not fully defined
(the class was declared but the implementation was not being compiled).
This lead to missing RTTI information when compiling with UBSan
instrumentation.
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index 244592aee..701744570 100755 --- a/configure.sh +++ b/configure.sh @@ -44,6 +44,8 @@ The following flags enable optional features (disable with --no-<option name>). --unit-testing support for unit testing --python2 prefer using Python 2 (also for Python bindings) --python3 prefer using Python 3 (also for Python bindings) + --asan build with ASan instrumentation + --ubsan build with UBSan instrumentation The following options configure parameterized features. @@ -107,6 +109,7 @@ buildtype=default abc=default asan=default +ubsan=default assertions=default best=default cadical=default @@ -168,6 +171,9 @@ do --asan) asan=ON;; --no-asan) asan=OFF;; + --ubsan) ubsan=ON;; + --no-ubsan) ubsan=OFF;; + --assertions) assertions=ON;; --no-assertions) assertions=OFF;; @@ -348,6 +354,8 @@ cmake_opts="" [ $asan != default ] \ && cmake_opts="$cmake_opts -DENABLE_ASAN=$asan" +[ $ubsan != default ] \ + && cmake_opts="$cmake_opts -DENABLE_UBSAN=$ubsan" [ $assertions != default ] \ && cmake_opts="$cmake_opts -DENABLE_ASSERTIONS=$assertions" [ $best != default ] \ |