jepler/circuitpython
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coverage: Enable format checking in coverage build.

Browse source 
Signed-off-by: Jeff Epler <jepler@gmail.com>
This commit is contained in:
Jeff Epler 2025-06-24 10:08:33 +02:00
parent 1c97e4dd04
commit 536f6fbfcc
2 changed files with 21 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
ports/unix/variants/coverage/mpconfigvariant.mk
View file

@ -1,6 +1,11 @@
# Disable optimisations and enable assert() on coverage builds.
DEBUG ?= 1
ifneq ($(DISABLE_PLUGIN),1)
# Enable format string checking
include $(TOP)/py/fmtplugin.mk
endif
CFLAGS += \
-fprofile-arcs -ftest-coverage \
-Wformat -Wmissing-declarations -Wmissing-prototypes \

19
tools/ci.sh
View file

@ -622,6 +622,8 @@ function ci_unix_coverage_setup {
sudo pip3 install setuptools
sudo pip3 install pyelftools
sudo pip3 install ar
GCC_VER=$(echo __GNUC__ | gcc -P -E -)
sudo apt-get install gcc-${GCC_VER}-plugin-dev
gcc --version
python3 --version
}
@ -664,10 +666,18 @@ function ci_unix_coverage_run_native_mpy_tests {
(cd tests && ./run-natmodtests.py "$@" extmod/*.py)
}
function ci_gcc_plugin_setup_helper {
GCC_VER=$(echo __GNUC__ | ${1}-gcc -P -E -)
sudo apt-get install gcc-${GCC_VER}-plugin-dev-${1}
}
function ci_unix_32bit_setup {
sudo dpkg --add-architecture i386
sudo apt-get update
GCC_VER=$(echo __GNUC__ | gcc -P -E -)
sudo apt-get install gcc-multilib g++-multilib libffi-dev:i386 python2.7
GCC_VER=$(echo __GNUC__ | gcc -P -E -)
sudo apt-get install gcc-${GCC_VER}-plugin-dev
sudo pip3 install setuptools
sudo pip3 install pyelftools
sudo pip3 install ar
@ -782,8 +792,8 @@ function ci_unix_macos_build {
#make ${MAKEOPTS} -C ports/unix deplibs
make ${MAKEOPTS} -C ports/unix
# check for additional compiler errors/warnings
make ${MAKEOPTS} -C ports/unix VARIANT=coverage submodules
make ${MAKEOPTS} -C ports/unix VARIANT=coverage
make ${MAKEOPTS} -C ports/unix VARIANT=coverage submodules DISABLE_PLUGIN=1
make ${MAKEOPTS} -C ports/unix VARIANT=coverage DISABLE_PLUGIN=1
}
function ci_unix_macos_run_tests {
@ -795,8 +805,9 @@ function ci_unix_macos_run_tests {
function ci_unix_qemu_mips_setup {
sudo apt-get update
sudo apt-get install gcc-mips-linux-gnu g++-mips-linux-gnu libc6-mips-cross
sudo apt-get install gcc-10-mips-linux-gnu g++-mips-linux-gnu libc6-mips-cross
sudo apt-get install qemu-user
ci_gcc_plugin_setup_helper mips-linux-gnu
qemu-mips --version
sudo mkdir /etc/qemu-binfmt
sudo ln -s /usr/mips-linux-gnu/ /etc/qemu-binfmt/mips
@ -816,6 +827,7 @@ function ci_unix_qemu_arm_setup {
sudo apt-get update
sudo apt-get install gcc-arm-linux-gnueabi g++-arm-linux-gnueabi
sudo apt-get install qemu-user
ci_gcc_plugin_setup_helper arm-linux-gnueabi
qemu-arm --version
sudo mkdir /etc/qemu-binfmt
sudo ln -s /usr/arm-linux-gnueabi/ /etc/qemu-binfmt/arm
@ -837,6 +849,7 @@ function ci_unix_qemu_riscv64_setup {
sudo apt-get update
sudo apt-get install gcc-riscv64-linux-gnu g++-riscv64-linux-gnu
sudo apt-get install qemu-user
ci_gcc_plugin_setup_helper riscv64-linux-gnu
qemu-riscv64 --version
sudo mkdir /etc/qemu-binfmt
sudo ln -s /usr/riscv64-linux-gnu/ /etc/qemu-binfmt/riscv64