clang/test/CXX/dcl.dcl/dcl.attr/dcl.attr.depend/p1.cpp

   1 // RUN: %clang_cc1 -verify -std=c++11 %s
   2
   3 [[carries_dependency, carries_dependency]] int m1(); // ok
   4 [[carries_dependency]] [[carries_dependency]] int m2(); // ok
   5 [[carries_dependency()]] int m3(); // expected-error {{attribute 'carries_dependency' cannot have an argument list}}
   6
   7 [[carries_dependency]] void f1(); // FIXME: warn here
   8 [[carries_dependency]] int f2(); // ok
   9 int f3(int param [[carries_dependency]]); // ok
  10 [[carries_dependency]] int (*f4)(); // expected-error {{'carries_dependency' attribute only applies to parameters, Objective-C methods, and functions}}
  11 int (*f5 [[carries_dependency]])(); // expected-error {{'carries_dependency' attribute only applies to}}
  12 int (*f6)() [[carries_dependency]]; // expected-error {{'carries_dependency' attribute cannot be applied to types}}
  13 int (*f7)(int n [[carries_dependency]]); // expected-error {{'[[carries_dependency]]' attribute only allowed on parameter in a function declaration}}
  14 int (((f8)))(int n [[carries_dependency]]); // ok
  15 int (*f9(int n))(int n [[carries_dependency]]); // expected-error {{'[[carries_dependency]]' attribute only allowed on parameter in a function declaration}}
  16 int typedef f10(int n [[carries_dependency]]); // expected-error {{'[[carries_dependency]]' attribute only allowed on parameter in a function declaration}}
  17 using T = int(int n [[carries_dependency]]); // expected-error {{'[[carries_dependency]]' attribute only allowed on parameter in a function declaration}}
  18 struct S {
  19   [[carries_dependency]] int f(int n [[carries_dependency]]); // ok
  20   int (*p)(int n [[carries_dependency]]); // expected-error {{'[[carries_dependency]]' attribute only allowed on parameter in a function declaration}}
  21 };
  22 void f() {
  23   [[carries_dependency]] int f(int n [[carries_dependency]]); // ok
  24   [[carries_dependency]] // expected-error {{'carries_dependency' attribute only applies to}}
  25       int (*p)(int n [[carries_dependency]]); // expected-error {{'[[carries_dependency]]' attribute only allowed on parameter in a function declaration}}
  26 }
  27
  28 auto l1 = [](int n [[carries_dependency]]) {};
  29 // There's no way to write a lambda such that the return value carries
  30 // a dependency, because an attribute applied to the lambda appertains to
  31 // the *type* of the operator() function, not to the function itself.
  32 auto l2 = []() [[carries_dependency]] {}; // expected-error {{'carries_dependency' attribute cannot be applied to types}}