llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang @llvm/pr-subscribers-clang-static-analyzer-1 Author: anondeveg <details> <summary>Changes</summary> added support for memset_explicit static analysis. --- Full diff: https://github.com/llvm/llvm-project/pull/219701.diff 1 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp (+1-1) ``````````diff 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}, `````````` </details> https://github.com/llvm/llvm-project/pull/219701 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
