[clang] [clang][analyzer] Support `ownership_{returns,takes}` attributes (PR #98941)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 18 06:52:36 PDT 2024


steakhal wrote:

FYI This PR is still not mentioned in the `clang/docs/ReleaseNotes.rst`.
We should have two entries there:
 1) In [Attribute Changes in Clang](https://github.com/llvm/llvm-project/blob/main/clang/docs/ReleaseNotes.rst#id34), mentioning that calls can have at most one `ownership_return` attribute.
 2) In [Static Analyzer > New features](https://github.com/llvm/llvm-project/blob/main/clang/docs/ReleaseNotes.rst#id47), that the MallocChecker now checks this attribute, and you can read the docs for the checker, and the attribute at the links.

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


More information about the cfe-commits mailing list