https://github.com/schittir created https://github.com/llvm/llvm-project/pull/127017
None >From 66a9f9938ead51155560c911537c00bad7c644df Mon Sep 17 00:00:00 2001 From: Sindhu Chittireddy <sindhu.chittire...@intel.com> Date: Wed, 12 Feb 2025 23:27:01 -0800 Subject: [PATCH] [NFC] Avoid potential null deref by adding an assert. --- clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp index 12bf12a0b2322..8955cb209c399 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp @@ -314,6 +314,7 @@ void MacOSKeychainAPIChecker::checkPreStmt(const CallExpr *CE, RegionArgIsBad = true; } + assert(ArgSM); // Is the argument to the call being tracked? const AllocationState *AS = State->get<AllocatedData>(ArgSM); if (!AS) _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits