llvm-project

1
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
2

3
@interface X {}
4
+ (X*) alloc;
5
- (X*) init;
6
- (int) getSize;
7
- (void) setSize: (int) size;
8
- (X*) getSelf;
9
@end
10

11
void 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 warning
43
  [[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

58
template<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 '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