[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
Fri Sep 25 05:27:35 PDT 2026


benedekaibas wrote:

@NagyDonat just to make sure I understand everything correctly. You want to see the callback based heuristic (CallEvent::argumentsMayEscape()) logic to be moved to `MallocChecker` _in this PR_ . The current guard in `invalidateRegions()` should be kept there for now and you or I will work on that in a follow up PR. Am I right?

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


More information about the cfe-commits mailing list