diff options
| author | Keith Winstein <keithw@cs.stanford.edu> | 2023-01-27 16:14:19 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-28 00:14:19 +0000 |
| commit | 38a76ebf4108f3044139b6662666575b1117a07c (patch) | |
| tree | 5aaf93c1d1d94ff56fb6e9c46357c11f31146a17 /.github | |
| parent | 131ec880da220a710eaedb584bd15c41ea2ab8d5 (diff) | |
| download | wabt-38a76ebf4108f3044139b6662666575b1117a07c.tar.gz wabt-38a76ebf4108f3044139b6662666575b1117a07c.tar.bz2 wabt-38a76ebf4108f3044139b6662666575b1117a07c.zip | |
Make wasm2c output UBSAN-clean (and run w2c CI w/ UBSAN) (#2080)
We had been running the GitHub UBSAN wasm2c tests with -fsanitize=undefined
but without -fno-sanitize-recover, meaning some of the spec tests
were printing UBSAN error messages but still returning 0, so we
weren't seeing the test failures.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 684f589b..3067c173 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -105,7 +105,7 @@ jobs: env: USE_NINJA: "1" CC: "clang" # used by the wasm2c tests - WASM2C_CFLAGS: "-fsanitize=undefined" + WASM2C_CFLAGS: "-fno-sanitize-recover=undefined" steps: - uses: actions/setup-python@v1 with: |