[clang] [analyzer] Implement BugReporterVisitor for UseAfterLifetimeEnd to trace lifetime source binding (PR #207052)

[via cfe-commits]

https://github.com/isuckatcs commented:

IIUC, all the test cases are for simple snippets where a local variable is used as a parameter in some form. 

I wonder what happens if conditions, loops or more complex paths are introduced. How well can we track the bug path? Can you please add some complex test cases to evaluate it?

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