Add lifetime categories attributes

Summary:
This is the first part of work announced in
"[RFC] Adding lifetime analysis to clang" [0],
i.e. the addition of the [[gsl::Owner(T)]] and
[[gsl::Pointer(T)]] attributes, which
will enable user-defined types to participate in
the lifetime analysis (which will be part of the
next PR).
The type `T` here is called "DerefType" in the paper,
and denotes the type that an Owner owns and a Pointer
points to. E.g. `std::vector<int>` should be annotated
with `[[gsl::Owner(int)]]` and
a `std::vector<int>::iterator` with `[[gsl::Pointer(int)]]`.

[0] http://lists.llvm.org/pipermail/cfe-dev/2018-November/060355.html

Reviewers: gribozavr

Subscribers: xazax.hun, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D63954

llvm-svn: 367040

1 files changed, 17 insertions, 0 deletions

diff --git a/clang/test/AST/ast-dump-attr.cpp b/clang/test/AST/ast-dump-attr.cpp
index 8f67b9934e1..83c4a6342db 100644
--- a/clang/test/AST/ast-dump-attr.cpp
+++ b/clang/test/AST/ast-dump-attr.cpp
@@ -211,6 +211,23 @@ namespace TestSuppress {
     }

 }

 

+namespace TestLifetimeCategories {

+class [[gsl::Owner(int)]] AOwner{};

+// CHECK: CXXRecordDecl{{.*}} class AOwner

+// CHECK: OwnerAttr {{.*}} int

+class [[gsl::Pointer(int)]] APointer{};

+// CHECK: CXXRecordDecl{{.*}} class APointer

+// CHECK: PointerAttr {{.*}} int

+

+class [[gsl::Pointer]] PointerWithoutArgument{};

+// CHECK: CXXRecordDecl{{.*}} class PointerWithoutArgument

+// CHECK: PointerAttr

+

+class [[gsl::Owner]] OwnerWithoutArgument{};

+// CHECK: CXXRecordDecl{{.*}} class OwnerWithoutArgument

+// CHECK: OwnerAttr

+} // namespace TestLifetimeCategories

+

 // Verify the order of attributes in the Ast. It must reflect the order

 // in the parsed source.

 int mergeAttrTest() __attribute__((deprecated)) __attribute__((warn_unused_result));