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;
   };
 })