diff --git a/.github/workflows/sparse-zephyr.yml b/.github/workflows/sparse-zephyr.yml index a0e7c8f3a0e7..9c63e11586fd 100644 --- a/.github/workflows/sparse-zephyr.yml +++ b/.github/workflows/sparse-zephyr.yml @@ -57,12 +57,15 @@ jobs: # --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 working-directory: ./workspace run: | ./sof/zephyr/docker-run.sh \ ./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' diff --git a/app/prj.conf b/app/prj.conf index a5164e1926c6..b3f1016620ea 100644 --- a/app/prj.conf +++ b/app/prj.conf @@ -14,9 +14,8 @@ CONFIG_OUTPUT_DISASSEMBLY=y CONFIG_HAVE_AGENT=n -# PICOLIBC does not seem compatible with the "sparse" static analyzer -# yet, see https://github.com/zephyrproject-rtos/zephyr/issues/63003 -# Plus the paint on it is still wet. +# Since Zephyr commit f0daf904bb0202c PICOLIBC is the new default. +# We need more time to test and evaluate. CONFIG_MINIMAL_LIBC=y CONFIG_LOG=y