[clang] [LifetimeSafety] Detect use-after-return (PR #165370)

Yitzhak Mandelbaum via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 14 10:43:27 PST 2025


================
@@ -396,6 +396,124 @@ void loan_from_previous_iteration(MyObj safe, bool condition) {
   }             // expected-note {{destroyed here}}
 }
 
+//===----------------------------------------------------------------------===//
+// Basic Definite Use-After-Return (Return-Stack-Address) (-W...permissive)
+// These are cases where the pointer is guaranteed to be dangling at the use site.
+//===----------------------------------------------------------------------===//
+
+MyObj* simple_return_stack_address(){
----------------
ymand wrote:

No, that's a little more complex, involving a View type. Is there just a simple return of pointer?

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


More information about the cfe-commits mailing list