https://github.com/anondeveg created https://github.com/llvm/llvm-project/pull/219701
added support for memset_explicit static analysis. >From b547ddae80f37d5d85ccdebd87c33b148196253d Mon Sep 17 00:00:00 2001 From: Anondev <[email protected]> Date: Sat, 29 Aug 2026 19:57:24 +0300 Subject: [PATCH] [analyzer] Model C23 memset_explicit in CStringChecker --- clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp index 9fd8d4880c59f..aae08364f5011 100644 --- a/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp @@ -136,7 +136,7 @@ class CStringChecker {{CDM::CLibraryMaybeHardened, {"memset"}, 3}, &CStringChecker::evalMemset}, {{CDM::CLibrary, {"explicit_memset"}, 3}, &CStringChecker::evalMemset}, - // FIXME: C23 introduces 'memset_explicit', maybe also model that + {{CDM::CLibrary, {"memset_explicit"}, 3}, &CStringChecker::evalMemset}, {{CDM::CLibraryMaybeHardened, {"strcpy"}, 2}, &CStringChecker::evalStrcpy}, {{CDM::CLibraryMaybeHardened, {"strncpy"}, 3}, _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
