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

Kashika Akhouri via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 21 01:22:32 PST 2025


================
@@ -59,6 +59,7 @@ int return_int_val() {
   int x = 10;
 // CHECK: Block B{{[0-9]+}}:
 // CHECK:   Issue ([[L_X:[0-9]+]] (Path: x), ToOrigin: {{[0-9]+}} (Expr: DeclRefExpr))
+// CHECK:   Expire (0 (Path: x))
----------------
kashika0112 wrote:

Done

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


More information about the cfe-commits mailing list