From 629ccfd2482d218e6b78189a980597a549e01f37 Mon Sep 17 00:00:00 2001 From: "Matthias J. Kannwischer" Date: Thu, 1 Oct 2026 15:43:00 +0800 Subject: [PATCH] cbmc: fix build with GCC 16 GCC 16 reports -Wunused-but-set-variable, -Wsfinae-incomplete and -Warray-bounds warnings in cbmc 6.11.0, which fail the build under -Werror. Signed-off-by: Matthias J. Kannwischer --- pkgs/by-name/cb/cbmc/package.nix | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/pkgs/by-name/cb/cbmc/package.nix b/pkgs/by-name/cb/cbmc/package.nix index 6989b07e0644..720fb78f66ce 100644 --- a/pkgs/by-name/cb/cbmc/package.nix +++ b/pkgs/by-name/cb/cbmc/package.nix @@ -94,6 +94,11 @@ stdenv.mkDerivation (finalAttrs: { # fix "first argument in call to 'memset' is a pointer to non-trivially copyable type" "-Wno-error=nontrivial-memcall" ] + ++ lib.optionals stdenv.cc.isGNU [ + "-Wno-error=unused-but-set-variable" + "-Wno-error=sfinae-incomplete" + "-Wno-error=array-bounds" + ] ); # TODO: add jbmc support @@ -119,7 +124,10 @@ stdenv.mkDerivation (finalAttrs: { description = "Bounded Model Checker for C and C++ programs"; homepage = "http://www.cprover.org/cbmc/"; license = lib.licenses.bsdOriginal; - maintainers = with lib.maintainers; [ jiegec ]; + maintainers = with lib.maintainers; [ + jiegec + mkannwischer + ]; platforms = lib.platforms.unix; }; })