[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