[clang] [LifetimeSafety] Add support for tracking non-trivially destructed temporary objects (PR #172007)

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 15 05:12:08 PST 2025


================
@@ -943,3 +946,10 @@ void parentheses(bool cond) {
   }  // expected-note 4 {{destroyed here}}
   (void)*p;  // expected-note 4 {{later used here}}
 }
+
+void use_temporary_after_destruction() {
+  View a;
----------------
usx95 wrote:

Could you try adding more tests. Like passing a temporary to a function with lifetimebound arg. Please also add tests which do not work at the moment with a FIXME (trivial temporaries, nested BTE).

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


More information about the cfe-commits mailing list