cbmc: fix compilation error on darwin

Fixed #468915.
2025-12-08 20:14:26 +08:00
parent 51e443df34
commit 825ed2a5f2
1 changed files with 2 additions and 0 deletions
@@ -91,6 +91,8 @@ stdenv.mkDerivation (finalAttrs: {
      "-Wno-error=unused-but-set-variable"
      # fix "passing no argument for the '...' parameter of a variadic macro is a C++20 extension"
      "-Wno-error=c++20-extensions"
+      # fix "first argument in call to 'memset' is a pointer to non-trivially copyable type"
+      "-Wno-error=nontrivial-memcall"
    ]
  );