[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

[Utkarsh Saxena via cfe-commits]

================
@@ -174,6 +355,11 @@ void nested_scopes() {
 // CHECK:   Expire (LoanID: [[L_OUTER]])
 }
 
+// CHECK-LABEL: Dataflow results:
+// CHECK-DAG: Origin [[O_P]] contains Loan [[L_INNER]]
----------------
usx95 wrote:

good point. Added.

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