67 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s2 3@interface X {}4+ (X*) alloc;5- (X*) init;6- (int) getSize;7- (void) setSize: (int) size;8- (X*) getSelf;9@end10 11void f(X *noreturn) {12 // An array size which is computed by a message send is OK.13 int a[ [noreturn getSize] ]; // expected-warning {{variable length arrays in C++ are a Clang extension}}14 15 // ... but is interpreted as an attribute where possible.16 int b[ [noreturn] ]; // expected-error {{'noreturn' attribute only applies to functions}}17 18 int c[ [noreturn getSize] + 1 ]; // expected-warning {{variable length arrays in C++ are a Clang extension}}19 20 // An array size which is computed by a lambda is not OK.21 int d[ [noreturn] { return 3; } () ]; // expected-error {{expected ']'}} expected-error {{'noreturn' attribute only applies to functions}}22 23 // A message send which contains a message send is OK.24 [ [ X alloc ] init ];25 [ [ int(), noreturn getSelf ] getSize ]; // expected-warning {{left operand of comma operator has no effect}}26 27 // A message send which contains a lambda is OK.28 [ [noreturn] { return noreturn; } () setSize: 4 ];29 [ [bitand] { return noreturn; } () setSize: 5 ];30 [[[[] { return [ X alloc ]; } () init] getSelf] getSize];31 32 // An attribute is OK.33 [[]];34 [[int(), noreturn]]; // expected-warning {{unknown attribute 'int' ignored}} \35 // expected-error {{'noreturn' attribute cannot be applied to a statement}}36 [[class, test(foo 'x' bar),,,]]; // expected-warning {{unknown attribute 'test' ignored}}\37 // expected-warning {{unknown attribute 'class' ignored}}38 39 [[bitand, noreturn]]; // expected-error {{'noreturn' attribute cannot be applied to a statement}} \40 expected-warning {{unknown attribute 'bitand' ignored}} 41 42 // FIXME: Suppress vexing parse warning43 [[gnu::noreturn]]int(e)(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}} 44 int e2(); // expected-warning {{interpreted as a function declaration}} expected-note{{}}45 46 // A function taking a noreturn function.47 int(f)([[gnu::noreturn]] int ()); // expected-note {{here}}48 f(e);49 f(e2); // expected-error {{cannot initialize a parameter of type 'int (*)() __attribute__((noreturn))' with an lvalue of type 'int ()'}}50 51 // Variables initialized by a message send.52 int(g)([[noreturn getSelf] getSize]);53 int(h)([[noreturn]{return noreturn;}() getSize]);54 55 int i = g + h;56}57 58template<typename...Ts> void f(Ts ...x) {59 [[test::foo(bar, baz)...]]; // expected-error {{attribute 'foo' cannot be used as an attribute pack}} \60 // expected-warning {{unknown attribute 'test::foo' ignored}}61 62 [[used(x)...]]; // expected-error {{attribute 'used' cannot be used as an attribute pack}} \63 // expected-warning {{unknown attribute 'used' ignored}}64 65 [[x...] { return [ X alloc ]; }() init];66}67