diff options
| author | Ben Smith <binji@chromium.org> | 2016-05-02 15:55:21 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2016-05-02 15:55:21 -0700 |
| commit | f763ea9eafcef0465289bec046374728111f8b05 (patch) | |
| tree | 3b75e9ecfcebeea83a87e417db33d3920c95131e /Makefile | |
| parent | 9e03d853eca4653e6d45a5979105fed647fd2910 (diff) | |
| download | wabt-f763ea9eafcef0465289bec046374728111f8b05.tar.gz wabt-f763ea9eafcef0465289bec046374728111f8b05.tar.bz2 wabt-f763ea9eafcef0465289bec046374728111f8b05.zip | |
ubsan should trap on error
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -34,6 +34,8 @@ SANITIZERS := ASAN MSAN LSAN UBSAN CONFIGS := NORMAL $(SANITIZERS) NO_RE2C_BISON NO_TESTS EXECUTABLES := sexpr-wasm wasm-wast wasm-interp wasm-interp-sq hexfloat_test +UBSAN_C_FLAGS := -fsanitize=undefined -fno-sanitize-recover + # directory names GCC_DIR := gcc/ GCC_I686_DIR := gcc-i686/ @@ -63,7 +65,7 @@ NORMAL_FLAG := ASAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=address -DCMAKE_CXX_FLAGS=-fsanitize=address MSAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=memory -DCMAKE_CXX_FLAGS=-fsanitize=memory LSAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=leak -DCMAKE_CXX_FLAGS=-fsanitize=leak -UBSAN_FLAG := -DCMAKE_C_FLAGS=-fsanitize=undefined -DCMAKE_CXX_FLAGS=-fsanitize=undefined +UBSAN_FLAG := -DCMAKE_C_FLAGS="${UBSAN_C_FLAGS}" -DCMAKE_CXX_FLAGS="${UBSAN_C_FLAGS}" NO_RE2C_BISON_FLAG := -DRUN_BISON=OFF -DRUN_RE2C=OFF NO_TESTS_FLAG := -DBUILD_TESTS=OFF |