public inbox for passt-dev@passt.top
 help / color / mirror / code / Atom feed
From: David Gibson <david@gibson.dropbear.id.au>
To: passt-dev@passt.top, Stefano Brivio <sbrivio@redhat.com>
Cc: David Gibson <david@gibson.dropbear.id.au>
Subject: [PATCH 02/13] cppcheck: Split out essential defines into a BASE_CPPFLAGS variable
Date: Tue, 21 Apr 2026 12:43:33 +1000	[thread overview]
Message-ID: <20260421024344.1379633-3-david@gibson.dropbear.id.au> (raw)
In-Reply-To: <20260421024344.1379633-1-david@gibson.dropbear.id.au>

Our cppcheck target need certain flags from the compiler so that they it
can analyse the code correctly.  Currently we extract these rather
awkwardly from FLAGS / CFLAGS / CPPFLAGS.  But this means we inhibit one
of cppcheck's features: by default it will attempt to analyse paths for all
combinations of compile time options, not just a single one.

Analysing *all* paths doesn't work for us because many of the -D options we
use are essential to compile at all, so unless we supply those to cppcheck,
overriding the default behaviour we get many spurious errors.  At the
moment, however, we give cppcheck *all* our -D options, including
conditional / configurable ones, not just the essential ones.

All cppcheck really needs here is those essential -D options.  Split those
into a separate variable, and use that directly rather than the clunky
$(filter) expression.

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
---
 Makefile | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 17e70d22..0de98375 100644
--- a/Makefile
+++ b/Makefile
@@ -30,11 +30,15 @@ ifeq ($(shell $(CC) -O2 -dM -E - < /dev/null 2>&1 | grep ' _FORTIFY_SOURCE ' > /
 FORTIFY_FLAG := -D_FORTIFY_SOURCE=2
 endif
 
+# Require preprocessor flags we can't build without
+BASE_CPPFLAGS := -D_XOPEN_SOURCE=700 -D_GNU_SOURCE \
+	-DPAGE_SIZE=$(shell getconf PAGE_SIZE) \
+	-DVERSION=\"$(VERSION)\"
+
 FLAGS := -Wall -Wextra -Wno-format-zero-length -Wformat-security
-FLAGS += -pedantic -std=c11 -D_XOPEN_SOURCE=700 -D_GNU_SOURCE
+FLAGS += -pedantic -std=c11
 FLAGS +=  $(FORTIFY_FLAG) -O2 -pie -fPIE
-FLAGS += -DPAGE_SIZE=$(shell getconf PAGE_SIZE)
-FLAGS += -DVERSION=\"$(VERSION)\"
+FLAGS += $(BASE_CPPFLAGS)
 FLAGS += -DDUAL_STACK_SOCKETS=$(DUAL_STACK_SOCKETS)
 
 PASST_SRCS = arch.c arp.c bitmap.c checksum.c conf.c dhcp.c dhcpv6.c \
@@ -195,6 +199,4 @@ CPPCHECK_FLAGS = --std=c11 --error-exitcode=1 --enable=all --force	\
 	 -D CPPCHECK_6936
 
 cppcheck: $(PASST_SRCS) $(HEADERS)
-	$(CPPCHECK) $(CPPCHECK_FLAGS) 					\
-		$(filter -D%,$(FLAGS) $(CFLAGS) $(CPPFLAGS)) $^		\
-		$^
+	$(CPPCHECK) $(CPPCHECK_FLAGS) $(BASE_CPPFLAGS) $^
-- 
2.53.0


  parent reply	other threads:[~2026-04-21  2:43 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-04-21  2:43 [PATCH 00/13] Improvements to static checker invocation David Gibson
2026-04-21  2:43 ` [PATCH 01/13] Makefile: Use make variables for static checker configuration David Gibson
2026-04-21  2:43 ` David Gibson [this message]
2026-04-21  2:43 ` [PATCH 03/13] Makefile: Remove preprocessor flags from $(FLAGS) David Gibson
2026-04-21  2:43 ` [PATCH 04/13] Makefile: Remove non-standard $(FLAGS) variable David Gibson
2026-04-21  2:43 ` [PATCH 05/13] Makefile: Make conditional definition of $(BIN) clearer David Gibson
2026-04-21  2:43 ` [PATCH 06/13] Makefile: Use common binary compilation rule David Gibson
2026-04-21  2:43 ` [PATCH 07/13] Makefile: Remove unhelpful $(HEADERS) variable David Gibson
2026-04-21  2:43 ` [PATCH 08/13] Makefile: Add header dependencies for secondary binaries David Gibson
2026-04-21  2:43 ` [PATCH 09/13] Makefile: Split static checker targets David Gibson
2026-04-21  2:43 ` [PATCH 10/13] passt-repair: Split out inotify handling to its own function David Gibson
2026-04-21  2:43 ` [PATCH 11/13] passt-repair: Simplify construction of Unix path from inotify David Gibson
2026-04-21  2:43 ` [PATCH 12/13] passt-repair: Run static checkers David Gibson
2026-04-21  2:43 ` [PATCH 13/13] qrap: " David Gibson
2026-04-21  3:03 ` [PATCH 00/13] Improvements to static checker invocation David Gibson

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20260421024344.1379633-3-david@gibson.dropbear.id.au \
    --to=david@gibson.dropbear.id.au \
    --cc=passt-dev@passt.top \
    --cc=sbrivio@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://passt.top/passt

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for IMAP folder(s).