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

[Benedek Kaibas via cfe-commits]

================
@@ -77,12 +86,12 @@ void caller_six() {
   int odd = 55;
   int &s = fn(even, odd);
 
-  clang_analyzer_dumpLifetimeOriginsOf(s); // expected-warning {{Origin &odd bound to odd}}
+  clang_analyzer_dumpLifetimeOriginsOf(s);
+  // expected-warning at -1 {{Origin &odd bound to odd}}
----------------
benedekaibas wrote:

Yes, this must be fixed since it is not consistent. Applied changes here: [c28d965](https://github.com/llvm/llvm-project/pull/212158/commits/c28d9656d5b4159be59ee6f7c62e63fd38747509)

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