[clang] [analyzer] Add engine support for cleanup function calls (PR #212432)

[Balázs Benics via cfe-commits]

steakhal wrote:

Why do you need a pseudo call to implement cleanups? I figured implicit dtor calls of nontrivial classes already face this problem, and they don't have pseudo callExprs. So I wonder if we could borrow how those CFG edges are resolved.

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