================
@@ -0,0 +1,76 @@
+// RUN: %clang_cc1 -fsyntax-only -Wlifetime-safety-meaningless-lifetimebound
-Wno-dangling -verify %s
+
+struct [[gsl::Owner]] Owner {};
+
+struct [[gsl::Pointer()]] View {
+ View();
+ View(const Owner &o [[clang::lifetimebound]]);
+};
+
+struct Plain {};
+
+enum Enum { Enumerator };
+
+struct Mixed {
+ Mixed(const int &i [[clang::lifetimebound]]);
+};
+
+using IntAlias = int;
+
+Owner *owner_value(Owner o [[clang::lifetimebound]]) { // expected-warning
{{'lifetimebound' attribute has no effect on parameter of type 'Owner'}}
+ return {};
+}
+
+Owner *const_owner_value(const Owner o [[clang::lifetimebound]]) { //
expected-warning {{'lifetimebound' attribute has no effect on parameter of type
'const Owner'}}
+ return {};
+}
+
+Owner *owner_ref(Owner &o [[clang::lifetimebound]]) {
+ return &o;
+}
+
+const Owner *const_owner_ref(const Owner &o [[clang::lifetimebound]]) {
+ return &o;
+}
+
+Owner *owner_ptr(Owner *o [[clang::lifetimebound]]) {
+ return o;
+}
+
+int *scalar_ptr(int *p [[clang::lifetimebound]]) {
+ return p;
+}
+
+int *scalar_value(int i [[clang::lifetimebound]]) { // expected-warning
{{'lifetimebound' attribute has no effect on parameter of type 'int'}}
+ return {};
+}
+
+int *scalar_alias_value(IntAlias i [[clang::lifetimebound]]) { //
expected-warning {{'lifetimebound' attribute has no effect on parameter of type
'IntAlias' (aka 'int')}}
+ return {};
+}
+
+int *enum_value(Enum e [[clang::lifetimebound]]) { // expected-warning
{{'lifetimebound' attribute has no effect on parameter of type 'Enum'}}
+ return {};
+}
+
+View view_value(View v [[clang::lifetimebound]]) {
+ return v;
+}
+
+Plain *plain_value(Plain p [[clang::lifetimebound]]) {
+ return {};
+}
+
+Mixed *mixed_value(Mixed m [[clang::lifetimebound]]) {
+ return {};
+}
+
----------------
NeKon69 wrote:
Maybe we can just then check if a type has origins?
https://github.com/llvm/llvm-project/pull/201101
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
