iframe-proxy | Sunbelt Computer Software

87 lines (73 loc) · 2.72 KB

name: Sparse Zephyr
# 'workflow_dispatch' allows running this workflow manually from the
# 'Actions' tab
# yamllint disable-line rule:truthy
on: [push, pull_request, workflow_dispatch, workflow_call]
    shell: bash
permissions:
  contents: read
  # As of sparse commit ce1a6720f69e / Sept 2022, the exit status of
  # sparse.c is an unusable mess and always zero in practice. Moreover
  # SOF has hundreds of sparse warnings right now. So fail only on a
  # small subset of specific warnings defined in
  # sof/scripts/parse_sparse_output.sh
  warnings-subset:
    # disable until https://github.com/zephyrproject-rtos/zephyr/issues/93444
    # is fixed
    if: false
    # We're sharing the sparse binary with the zephyr-build container so keep
    # this in sync with it.
    runs-on: ubuntu-24.04
    container:
      image: thesofproject/zephyr-lite:v0.29.0
    strategy:
      fail-fast: false
      matrix:
        platform: [tgl, mtl, lnl]
      - name: git clone sparse analyzer
        uses: actions/checkout@v4
        with:
          repository: thesofproject/sparse
          fetch-depth: 0
          filter: 'tree:0'
          path: sparse
      # As of its 2023 commit 98b203419679, sparse-llvm.c uses symbols
      # (LLVMConstGEP, LLVMBuildLoad, LLVMBuildCall,...) which are:
      #   -  -Wdeprecated in LLVM v14
      #   -  Removed in LLVM v16
      - name: build sparse analyzer
        working-directory: sparse
        run: |
          make -j4  # HAVE_LLVM=no
      - name: git clone sof
        uses: actions/checkout@v4
        with:
          path: sof
          fetch-depth: 0  # fix git describe
          filter: 'tree:0'
      - name: west update
        working-directory: sof
        run: |
          west init -l
          west update --narrow --fetch-opt=--depth=5
      - name: print all available sdks in /opt/toolchains/
        run: |
          ls -l /opt/toolchains/
      # --pristine is important to reproduce _warnings_. It makes no
      # difference for github but it's useful for anyone trying to
      # reproduce and copying the command from the logs.
      # "sparse" is currently incompatible with PICOLIBC (the new Zephyr default),
      # see https://github.com/zephyrproject-rtos/zephyr/issues/63003
      - name: analyze zephyr
        run: |
          ./sof/zephyr/docker-build.sh ${{ matrix.platform }} \
            --cmake-args=-DZEPHYR_SCA_VARIANT=sparse --cmake-args=-DCONFIG_LOG_USE_VLA=n \
            --cmake-args=-DCONFIG_MINIMAL_LIBC=y \
            --pristine 2>&1 | tee _.log
          printf '\n\n\t\t\t  ---- Messages below are treated as sparse errors --- \n\n\n'
          (set -x; ./sof/scripts/parse_sparse_output.sh ${{ matrix.platforms.platform }} <_.log)

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

sparse-zephyr.yml

Latest commit

History

sparse-zephyr.yml

File metadata and controls