[PATCH] D113530: [wip] [analyzer] support use-after-free checking with parameter annotation
Chris D'Angelo via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 15 15:10:47 PST 2021
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
More information about the cfe-commits
mailing list