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

Kashika Akhouri via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 7 00:47:59 PST 2025


================
@@ -39,11 +39,11 @@ class Fact {
     /// loan set.
     OriginFlow,
     /// An origin escapes the function by flowing into the return value.
-    ReturnOfOrigin,
-    /// An origin is used (eg. appears as l-value expression like DeclRefExpr).
     Use,
     /// A marker for a specific point in the code, for testing.
     TestPoint,
+    // Indicates that an origin escapes the function scope (e.g., via return).
----------------
kashika0112 wrote:

Done

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


More information about the cfe-commits mailing list