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

[Jan Voung 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]]
----------------
jvoung wrote:

nit: how about CHECK-NOT O_P contains Loan L_OUTER ?

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