[clang] [Clang SA]: add support for mismatched ownership_returns+ownership_takes calls for custom allocation classes (PR #98941)

Pavel Skripkin via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 17 13:09:11 PDT 2024


pskrgag wrote:

> Do you want to extend the scope of this PR to add some minimal docs to the attribute?
> If not, that's also fine, we will create a separate ticket for adding them later.

I am would be happy to give it a try, but I think we need to fix couple of things to truly follow the semantics. As you have already noticed, attributes conflicts on different declarations are not reported.

Also I found out that code like

```
void f21(void)
  __attribute__((ownership_returns(foo)));
```

does not cause an error. I will fill an issue for these cases.

Also, thank you so much for review!

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


More information about the cfe-commits mailing list