[clang] [LifetimeSafety] Detect expiry of loans to trivially destructed types (PR #168855)

[Kashika Akhouri via cfe-commits]

================
@@ -396,6 +400,24 @@ void loan_from_previous_iteration(MyObj safe, bool condition) {
   }             // expected-note {{destroyed here}}
 }
 
+void trivial_int_uaf(){
+  int * a;
+    {
+        int b = 1;
+        a = &b; // expected-warning {{object whose reference is captured does not live long enough}}
+    }           // expected-note {{destroyed here}}
+    (void)*a;   // expected-note {{later used here}}
+}
----------------
kashika0112 wrote:

Done

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