Add address, undefined behaviour, and thread sanitizer CI configurations #15
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Copyright (c) 2024 ETH Zurich | |
| # Copyright (c) 2020 EXASOL | |
| # | |
| # SPDX-License-Identifier: BSL-1.0 | |
| # Distributed under the Boost Software License, Version 1.0. (See accompanying | |
| # file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
| name: Linux CI (msan) | |
| on: | |
| merge_group: | |
| pull_request: | |
| push: | |
| branches: | |
| # Development and release branches | |
| - main | |
| - release** | |
| # Bors branches | |
| - trying | |
| - staging | |
| jobs: | |
| build: | |
| name: github/linux/sanitizers/memory | |
| #if: ${{ github.event_name == 'merge_group' }} | |
| runs-on: ubuntu-latest | |
| container: pikaorg/pika-ci-base:19 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Update apt repositories for ccache | |
| run: apt update | |
| - name: Setup ccache | |
| uses: hendrikmuhs/ccache-action@v1.2 | |
| with: | |
| key: ccache-linux-sanitizers-memory | |
| - name: Configure | |
| shell: bash | |
| run: | | |
| cmake \ | |
| . \ | |
| -Bbuild \ | |
| -GNinja \ | |
| -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \ | |
| -DCMAKE_BUILD_TYPE=Debug \ | |
| -DPIKA_WITH_MALLOC=system \ | |
| -DPIKA_WITH_EXAMPLES=ON \ | |
| -DPIKA_WITH_TESTS=ON \ | |
| -DPIKA_WITH_TESTS_EXAMPLES=ON \ | |
| -DPIKA_WITH_TESTS_HEADERS=OFF \ | |
| -DPIKA_WITH_TESTS_MAX_THREADS=$(nproc) \ | |
| -DPIKA_WITH_COMPILER_WARNINGS=ON \ | |
| -DPIKA_WITH_COMPILER_WARNINGS_AS_ERRORS=ON \ | |
| -DPIKA_WITH_SANITIZERS=On \ | |
| -DCMAKE_CXX_FLAGS="-fsanitize=memory -omit-frame-pointer" \ | |
| -DPIKA_WITH_STACKOVERFLOW_DETECTION=Off \ | |
| -DPIKA_WITH_CHECK_MODULE_DEPENDENCIES=On | |
| - name: Build | |
| if: always() | |
| shell: bash | |
| run: | | |
| cmake --build build --target all | |
| cmake --build build --target examples | |
| - name: Test | |
| if: always() | |
| shell: bash | |
| run: | | |
| export MSAN_OPTIONS= | |
| cd build | |
| ctest \ | |
| --timeout 120 \ | |
| --output-on-failure \ | |
| --tests-regex tests.examples | |
| - name: Build all tests | |
| # if: ${{ github.event_name == 'merge_group' }} | |
| if: always() | |
| shell: bash | |
| run: | | |
| cmake --build build --target tests | |
| - name: Run all tests | |
| # if: ${{ github.event_name == 'merge_group' }} | |
| if: always() | |
| shell: bash | |
| run: | | |
| cd build | |
| ctest \ | |
| --timeout 120 \ | |
| --output-on-failure \ | |
| -E "tests.examples" |