[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