[llvm] [IR] Allow nofree on return values (PR #203491)

Ralf Jung via llvm-commits llvm-commits at lists.llvm.org
Thu Jul 2 05:03:11 PDT 2026


================
@@ -1568,7 +1568,10 @@ Currently, only the following parameter attributes are defined:
     Notably, it is still possible to free the underlying object through a
     pointer that is not based on the argument.
 
-    This is not a valid attribute for return values.
+    For return values, this indicates that the underlying object cannot be freed
+    after this point (matching the semantics of the ``!nofree`` metadata). This
----------------
RalfJung wrote:

```suggestion
    after this point for the entire rest of the execution (matching the semantics of the ``!nofree`` metadata). This
```
To avoid any doubt

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


More information about the llvm-commits mailing list