diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7a0be9a8..ac7ccd41 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,7 +24,7 @@ jobs: - name: make check run: make check - usan: + asan: runs-on: ubuntu-latest @@ -40,3 +40,20 @@ jobs: run: ASAN_OPTIONS="detect_leaks=0 new_delete_type_mismatch=0" make - name: make check run: ASAN_OPTIONS="detect_leaks=0 new_delete_type_mismatch=0" make check + + usan: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v2 + - name: dependencies + run: sudo apt-get update && sudo apt-get install libpcaudio-dev libsonic-dev ronn kramdown + - name: autoconf + run: ./autogen.sh ; chmod -x INSTALL m4/*.m4 + - name: configure + run: CXXFLAGS="-fsanitize=undefined -g -Og" CFLAGS="-fsanitize=undefined -g -Og" ./configure + - name: make + run: UBSAN_OPTIONS="halt_on_error=1" make + - name: make check + run: UBSAN_OPTIONS="halt_on_error=1" make check