[clang] [analyzer] Don't invalidate pointee of pointer-to-const on callback arguments (PR #225489)

Benedek Kaibas via cfe-commits cfe-commits at lists.llvm.org
Thu Oct 15 08:47:34 PDT 2026


================
@@ -3750,8 +3742,8 @@ static bool mayFreeOrLetArgumentsEscape(const CallEvent *Call) {
     // Look for the deallocator argument. We know that the memory ownership
     // is not transferred only if the deallocator argument is
     // 'kCFAllocatorNull'.
-    for (unsigned i = 1; i < Call->getNumArgs(); ++i) {
-      const Expr *ArgE = Call->getArgExpr(i)->IgnoreParenCasts();
+    for (unsigned i = 1; i < Call.getNumArgs(); ++i) {
+      const Expr *ArgE = Call.getArgExpr(i)->IgnoreParenCasts();
----------------
benedekaibas wrote:

Applied changes here: [0379a58](https://github.com/llvm/llvm-project/pull/225489/commits/0379a588101730f0c5d3a83fd8652d17661a60c8)

https://github.com/llvm/llvm-project/pull/225489


More information about the cfe-commits mailing list