improve user experience with the full recovery mode #103
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
| --- | |
| name: macOS CI | |
| on: | |
| push: | |
| branches: [master] | |
| pull_request: | |
| branches: [master] | |
| jobs: | |
| ubuntu: | |
| name: "macOS (host: ${{ matrix.host }}${{ matrix.variant }})" | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| # FIXME: support gcc plugin on macOS | |
| # FIXME: support gcc + llvm and clang + gcc combinations | |
| host: [llvm] # [gcc, llvm] | |
| include: | |
| # FIXME: gcc plugin on macOS is broken at the moment | |
| # - variant: ', variant: expensive tests' | |
| # host: gcc-expensive | |
| # - variant: ', variant: debug build' | |
| # host: gcc-debug | |
| # FIXME: expected results of expensive tests are not patched for LLVM | |
| # - variant: ', variant: expensive tests' | |
| # host: llvm-expensive | |
| - variant: ', variant: debug build' | |
| host: llvm-debug | |
| runs-on: macos-13 | |
| env: | |
| CFLAGS: -Werror | |
| CXXFLAGS: -Werror | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: Install dependencies | |
| run: brew install boost boost-build gcc@10 gmp llvm@14 | |
| - name: Set compiler variables | |
| run: | | |
| GCC_PATH="$(brew --prefix gcc@10)" | |
| GCC_HOST=("$GCC_PATH"/bin/gcc-1*) | |
| echo "GCC_HOST=$GCC_HOST" >> "$GITHUB_ENV" | |
| if [[ '${{ matrix.host }}' =~ gcc* ]]; then | |
| GXX_HOST=("$GCC_PATH"/bin/g++-1*) | |
| echo "CC=$GCC_HOST" >> "$GITHUB_ENV" | |
| echo "CXX=$GXX_HOST" >> "$GITHUB_ENV" | |
| else | |
| echo "CC=clang" >> "$GITHUB_ENV" | |
| echo "CXX=clang++" >> "$GITHUB_ENV" | |
| fi | |
| - name: 'Add sanitizers to CXXFLAGS' | |
| run: | | |
| # Use ASAN and UBSAN | |
| # CFLAGS="$CFLAGS -fsanitize=address,undefined" | |
| # CXXFLAGS="$CXXFLAGS -fsanitize=address,undefined" | |
| CFLAGS="$CFLAGS -fsanitize=undefined" | |
| # TODO: It looks like the C++standard library is built with | |
| # -fvisibility=hidden and some base classes are not exported leading | |
| # into false positives. | |
| CXXFLAGS="$CXXFLAGS -fsanitize=undefined -fno-sanitize=vptr" | |
| # Recommended for better error traces | |
| CFLAGS="$CFLAGS -fno-omit-frame-pointer" | |
| CXXFLAGS="$CXXFLAGS -fno-omit-frame-pointer" | |
| # Make UBSAN reports fatal | |
| CFLAGS="$CFLAGS -fno-sanitize-recover=all" | |
| CXXFLAGS="$CXXFLAGS -fno-sanitize-recover=all" | |
| # Use shared libasan for sanitization of shared libraries loaded | |
| # by non-instrumented binaries. | |
| # For details see https://systemd.io/TESTING_WITH_SANITIZERS/#clang. | |
| if [[ '${{ matrix.compiler }}' == 'clang' ]]; then | |
| CFLAGS="$CFLAGS -shared-libasan" | |
| CXXFLAGS="$CXXFLAGS -shared-libasan" | |
| fi | |
| # Due to LD_PRELOAD above, leak sanitizer was reporting leaks | |
| # literally in everything that was executed, e.g. make, shell, | |
| # python and other tools that are not under our control. | |
| ASAN_OPTIONS="detect_leaks=0" | |
| # Do not detect ODR violations as we can't easily fix this problem in | |
| # CL's compile-self-02-var-killer test. | |
| ASAN_OPTIONS="$ASAN_OPTIONS,detect_odr_violation=0" | |
| # Work-around for macOS System Integory Protection that prohibits | |
| # the usage of DYLD_INSERT_LIBRARIES. | |
| ASAN_OPTIONS="$ASAN_OPTIONS,verify_asan_link_order=0" | |
| # Make UBSAN print whole stack traces | |
| UBSAN_OPTIONS="print_stacktrace=1" | |
| # Store the env variables | |
| echo "CFLAGS=$CFLAGS" >> "$GITHUB_ENV" | |
| echo "CXXFLAGS=$CXXFLAGS" >> "$GITHUB_ENV" | |
| echo "ASAN_OPTIONS=$ASAN_OPTIONS" >> "$GITHUB_ENV" | |
| echo "UBSAN_OPTIONS=$UBSAN_OPTIONS" >> "$GITHUB_ENV" | |
| - name: Build and check | |
| run: | | |
| NPROC="$(sysctl -n hw.logicalcpu)" | |
| if [[ '${{ matrix.host }}' =~ llvm* ]]; then | |
| LLVM_CMAKE_PATH="$("$(brew --prefix llvm@14)/bin/llvm-config" --cmakedir)" | |
| LLVM_CMAKE_FLAGS="-D LLVM_DIR='$LLVM_CMAKE_PATH'" | |
| LLVM_CMAKE_FLAGS="$LLVM_CMAKE_FLAGS -D ENABLE_LLVM=ON" | |
| fi | |
| case '${{ matrix.variant }}' in | |
| *debug*) | |
| if [[ '${{ matrix.host }}' =~ llvm* ]]; then | |
| make build_passes -s -j$NPROC "CMAKE=cmake $LLVM_CMAKE_FLAGS" | |
| # FIXME: LLVM CL tests are broken | |
| # merge with make call below when fixed | |
| make -C cl -s -j$NPROC \ | |
| "CMAKE=cmake -D CL_DEBUG=ON $LLVM_CMAKE_FLAGS" | |
| patch -p1 < build-aux/llvm.patch | |
| else | |
| make -C cl -s -j$NPROC "CMAKE=cmake -D CL_DEBUG=ON" check | |
| fi | |
| make -C sl -s -j$NPROC \ | |
| "CMAKE=cmake -D SL_DEBUG=ON $LLVM_CMAKE_FLAGS" check | |
| exit 0 | |
| ;; | |
| *expensive*) | |
| if [[ '${{ matrix.host }}' =~ llvm* ]]; then | |
| make build_passes -s -j$(nproc) "CMAKE=cmake $LLVM_CMAKE_FLAGS" | |
| # FIXME: LLVM CL tests are broken | |
| # merge with make call below when fixed | |
| make -C cl -s -j$(nproc) "CMAKE=cmake $LLVM_CMAKE_FLAGS" | |
| patch -p1 < build-aux/llvm.patch | |
| else | |
| make -C cl -s -j$(nproc) "CMAKE=cmake" check | |
| fi | |
| make -C sl -s -j$(nproc) \ | |
| "CMAKE=cmake -D TEST_ONLY_FAST=OFF $LLVM_CMAKE_FLAGS" check | |
| exit 0 | |
| ;; | |
| *) | |
| ;; | |
| esac | |
| if [[ '${{ matrix.host }}' == gcc ]]; then | |
| ./switch-host-gcc.sh "$GCC_HOST" | |
| else | |
| ./switch-host-llvm.sh "$LLVM_CMAKE_PATH" | |
| fi |