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

[Balázs Benics via cfe-commits]

steakhal wrote:

What I had in mind is more like this (vibe-coded, but aligns with how I envision this on the parts it touches):
[0001-analyzer-Keep-cleanup-attributed-variables-live-at-t.patch](https://github.com/user-attachments/files/30549815/0001-analyzer-Keep-cleanup-attributed-variables-live-at-t.patch)
[0002-analyzer-Model-cleanup-function-calls-as-implicit-ca.patch](https://github.com/user-attachments/files/30549816/0002-analyzer-Model-cleanup-function-calls-as-implicit-ca.patch)

Apply it using `git am < 000*.patch`

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