https://github.com/joker-eph requested changes to this pull request. isDeallocationOfLocallyDefined is a non-local check that does not seem straightforward and more importantly, not clearly semantically justified to me at the moment. https://github.com/llvm/llvm-project/pull/172388