[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