[clang] [analyzer] Improve UseAfterLifetimeEnd checker's diagnostic with descriptive names and value tracking (PR #212158)

[Gábor Horváth via cfe-commits]

================

----------------
Xazax-hun wrote:

I think there are other cases where we do not really need the pointee, like the null pointer checker. It would be nice to implement this in a way that both could benefit from this. But we do not necessarily have to do this as part of the GSoC. I think we could keep this as is for now and improve it later. 

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