[PATCH] D113530: [wip] [analyzer] support use-after-free checking with parameter annotation

[Chris D'Angelo via Phabricator via cfe-commits]

chrisdangelo added inline comments.


================
Comment at: clang/include/clang/Basic/Attr.td:2383
+def OwnershipParam : InheritableParamAttr {
+  let Spellings = [Clang<"ownership_takes_param">];
+  let Subjects = SubjectList<[ParmVar]>;
----------------
I've discussed this a bit with Artem in person today. Artem would like to see if the existing "ownership_takes" attribute can be adjusted to include the ability to be used against a parameter. I'm looking into this now.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D113530/new/

https://reviews.llvm.org/D113530