55 lines · cpp
1// RUN: %clang_cc1 %s -verify -fsyntax-only -Wno-gcc-compat2 3namespace N {4 void c1(int *a) {}5}6 7class C {8 static void c2(int *a) {} // expected-note {{implicitly declared private here}} expected-note {{implicitly declared private here}}9};10 11void t1() {12 int v1 __attribute__((cleanup(N::c1)));13 int v2 __attribute__((cleanup(N::c2))); // expected-error {{no member named 'c2' in namespace 'N'}}14 int v3 __attribute__((cleanup(C::c2))); // expected-error {{'c2' is a private member of 'C'}}15}16 17class D : public C {18 void t2() {19 int v1 __attribute__((cleanup(c2))); // expected-error {{'c2' is a private member of 'C'}}20 }21};22 23namespace E {24 void c3(int *a) {} // expected-note {{candidate function}}25 void c3() {} // expected-note {{candidate function}}26 void t3() {27 int v1 __attribute__((cleanup(c3))); // expected-error {{'c3' is not a single function}}28 }29}30 31namespace F {32 int open() { return 0; }33 void close(decltype(open()) *) {}34 35 void test1() {36 auto fd [[gnu::cleanup(close)]] = open();37 }38 39 template <typename Ty>40 void test2() {41 Ty fd [[gnu::cleanup(close)]] = open();42 }43 44 template <typename Ty>45 void test3() {46 Ty fd [[gnu::cleanup(close)]] = open(); // #TEST3_CLEANUP47 }48 49 int main() {50 test2<int>();51 test3<float>(); // expected-error@#TEST3_CLEANUP {{'cleanup' function 'close' parameter has type 'decltype(open()) *' (aka 'int *') which is incompatible with type 'float *'}} \52 expected-note {{in instantiation of function template specialization 'F::test3<float>' requested here}}53 }54}55