From mboxrd@z Thu Jan 1 00:00:00 1970 Authentication-Results: passt.top; dmarc=none (p=none dis=none) header.from=gibson.dropbear.id.au Authentication-Results: passt.top; dkim=pass (2048-bit key; secure) header.d=gibson.dropbear.id.au header.i=@gibson.dropbear.id.au header.a=rsa-sha256 header.s=202602 header.b=bI6U0ak4; dkim-atps=neutral Received: from mail.ozlabs.org (gandalf.ozlabs.org [150.107.74.76]) by passt.top (Postfix) with ESMTPS id 246925A026D for ; Tue, 12 May 2026 07:53:02 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gibson.dropbear.id.au; s=202602; t=1778565179; bh=OM+8wxlqxZ3mOkYMs8aY0bFr/g0rHeowaNJYqRuaZfI=; h=From:To:Cc:Subject:Date:From; b=bI6U0ak4chcc7DZLvRIm4ix6Jca4un0eHBPM/h68yKvOmFJjjBeNoqen8BBT71i/+ JmqG0vRgxlre9hMqrbjbWXF3/NM9IO7Q9IX+FKzyM3eQZox2iCzBES/pKMOZ+bN1PC 8GNCZCxegEhWf63Rako+oHwesLEzQ+EPICQp368IXu4jkdMuw3J+u//cGZ+/JZXme+ eimhKJ+M5PYgOARwdyiHt7QHIfIKu4TCLdufahPj37PgTpYxB7OSb2V5Dt5eqlyNBd j57JcAP83ydwag0b7Ohc8Q6AZZlSMle/fNIy3U81nh0rVa2Z6g47UtdP/RDlQm1zro FadTvHke9TS/w== Received: by gandalf.ozlabs.org (Postfix, from userid 1007) id 4gF5NW0R72z4wT8; Tue, 12 May 2026 15:52:59 +1000 (AEST) From: David Gibson To: passt-dev@passt.top, Stefano Brivio Subject: [PATCH v3 00/12] Improvements to static checker invocation Date: Tue, 12 May 2026 15:52:44 +1000 Message-ID: <20260512055256.1800449-1-david@gibson.dropbear.id.au> X-Mailer: git-send-email 2.54.0 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Message-ID-Hash: KFWDVYOQCHFGZFTW2C67Z4UY6ZLOZIME X-Message-ID-Hash: KFWDVYOQCHFGZFTW2C67Z4UY6ZLOZIME X-MailFrom: dgibson@gandalf.ozlabs.org X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: David Gibson X-Mailman-Version: 3.3.8 Precedence: list List-Id: Development discussion and patches for passt Archived-At: Archived-At: List-Archive: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: While working on pesto, I ran into a number of awkward errors with the static checkers. This series reworks the invocation of the checkers in a way that will let us deal with that. As a bonus, it also gives us static checking for passt-repair. It also a number of other cleanups to the Makefile that seemed natural along the way. v3: - Rework changes to $(FLAGS) so they're much less likely to have side effects we're not ready for. v2: - Fixed nasty test failure in test/build/build.py David Gibson (12): Makefile: Use make variables for static checker configuration Makefile: Make conditional definition of $(BIN) clearer Makefile: Use common binary compilation rule Makefile: Remove unhelpful $(HEADERS) variable Makefile: Add header dependencies for secondary binaries Makefile: Split $(FLAGS) into cpp and cc components cppcheck, clang-tidy: Static checkers don't need non-preprocessor flags Makefile: Split static checker targets passt-repair: Split out inotify handling to its own function passt-repair: Simplify construction of Unix path from inotify passt-repair: Run static checkers pesto: Run static checkers on pesto sources Makefile | 135 ++++++++++++++++++++++++-------------- linux_dep.h | 2 +- passt-repair.c | 171 +++++++++++++++++++++++++++---------------------- pesto.c | 1 - 4 files changed, 182 insertions(+), 127 deletions(-) -- 2.54.0