================ @@ -314,6 +314,7 @@ void MacOSKeychainAPIChecker::checkPreStmt(const CallExpr *CE, RegionArgIsBad = true; } + assert(ArgSM); ---------------- schittir wrote: Thank you! https://github.com/llvm/llvm-project/pull/127017