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

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 20 22:35:56 PST 2025


================
@@ -396,6 +400,24 @@ void loan_from_previous_iteration(MyObj safe, bool condition) {
   }             // expected-note {{destroyed here}}
 }
 
+void trivial_uaf(){
----------------
usx95 wrote:

nit: rename to `trivial_int_uaf`​. Similar for uar

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


More information about the cfe-commits mailing list