aboutsummaryrefslogtreecommitdiffstats
path: root/config-coverage-gcc.mk
diff options
context:
space:
mode:
authorMattias Andrée <m@maandree.se>2026-05-17 14:28:21 +0200
committerMattias Andrée <m@maandree.se>2026-05-17 15:06:44 +0200
commitc77deb9313ee3c4ca9885191f5cb8e07d8d68ad3 (patch)
tree1de53628d7bffdac84992d8ae1e36d4bf0265c90 /config-coverage-gcc.mk
parentFix usage of va_arg (diff)
downloadlibj2-c77deb9313ee3c4ca9885191f5cb8e07d8d68ad3.tar.gz
libj2-c77deb9313ee3c4ca9885191f5cb8e07d8d68ad3.tar.bz2
libj2-c77deb9313ee3c4ca9885191f5cb8e07d8d68ad3.tar.xz
Fix undefined behaviour
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to '')
-rw-r--r--config-coverage-gcc.mk14
1 files changed, 14 insertions, 0 deletions
diff --git a/config-coverage-gcc.mk b/config-coverage-gcc.mk
new file mode 100644
index 0000000..8fc1905
--- /dev/null
+++ b/config-coverage-gcc.mk
@@ -0,0 +1,14 @@
+CONFIGFILE_PROPER = config.mk
+include $(CONFIGFILE_PROPER)
+
+CC = $(CC_PREFIX)gcc -std=c99
+GCOV = gcov
+
+COV_CPPFLAGS = -DCOVERAGE_TEST
+COV_CFLAGS = --coverage -g -O0
+COV_LDFLAGS = --coverage -g -O0
+
+LIBTEST_CHECK_PREFIX = :
+
+coverage: check
+ $(GCOV) -pr -- *.gcda 2>&1