block-misc.c revision 1eb4433ac451dc16f4133a88af2d002ac26c58ef 
1// RUN: clang-cc -fsyntax-only -verify %s -fblocks
2void donotwarn();
3
4int (^IFP) ();
5int (^II) (int);
6int test1() {
7  int (^PFR) (int) = 0; // OK
8  PFR = II;             // OK
9
10  if (PFR == II)        // OK
11    donotwarn();
12
13  if (PFR == IFP)       // OK
14    donotwarn();
15
16  if (PFR == (int (^) (int))IFP) // OK
17    donotwarn();
18
19  if (PFR == 0)         // OK
20    donotwarn();
21
22  if (PFR)              // OK
23    donotwarn();
24
25  if (!PFR)             // OK
26    donotwarn();
27
28  return PFR != IFP;    // OK
29}
30
31int test2(double (^S)()) {
32  double (^I)(int)  = (void*) S;
33  (void*)I = (void *)S; // expected-error {{assignment to cast is illegal, lvalue casts are not supported}}
34
35  void *pv = I;
36
37  pv = S;
38
39  I(1);
40
41  return (void*)I == (void *)S;
42}
43
44int^ x; // expected-error {{block pointer to non-function type is invalid}}
45int^^ x1; // expected-error {{block pointer to non-function type is invalid}} expected-error {{block pointer to non-function type is invalid}}
46
47void test3() {
48  char *^ y; // expected-error {{block pointer to non-function type is invalid}}
49}
50
51
52
53enum {NSBIRLazilyAllocated = 0};
54
55int test4(int argc) {  // rdar://6251437
56  ^{
57    switch (argc) {
58      case NSBIRLazilyAllocated:  // is an integer constant expression.
59      default:
60        break;
61    }
62  }();
63  return 0;
64}
65
66
67// rdar://6257721 - reference to static/global is byref by default.
68static int test5g;
69void test5() {
70  bar(^{ test5g = 1; });
71}
72
73// rdar://6405429 - __func__ in a block refers to the containing function name.
74const char*test6() {
75  return ^{
76    return __func__;
77  } ();
78}
79
80// radr://6732116 - block comparisons
81void (^test7a)();
82int test7(void (^p)()) {
83  return test7a == p;
84}
85
86
87void test8() {
88somelabel:
89 // FIXME: This should say "jump out of block not legal" when gotos are allowed.
90  ^{ goto somelabel; }();   // expected-error {{goto not allowed in block literal}}
91}
92
93void test9() {
94  goto somelabel;       // expected-error {{use of undeclared label 'somelabel'}}
95  ^{ somelabel: ; }();
96}
97
98void test10(int i) {
99  switch (i) {
100  case 41: ;
101  ^{ case 42: ; }();     // expected-error {{'case' statement not in switch statement}}
102  }
103}
104
105void test11(int i) {
106  switch (i) {
107  case 41: ;
108    ^{ break; }();     // expected-error {{'break' statement not in loop or switch statement}}
109  }
110
111  for (; i < 100; ++i)
112    ^{ break; }();     // expected-error {{'break' statement not in loop or switch statement}}
113}
114
115void (^test12f)(void);
116void test12() {
117  test12f = ^test12f;  // expected-error {{type name requires a specifier or qualifier}} expected-error {{expected expression}}
118}
119
120// rdar://6808730
121void *test13 = ^{
122  int X = 32;
123
124  void *P = ^{
125    return X+4;  // References outer block's "X", so outer block is constant.
126  };
127};
128
129void test14() {
130  int X = 32;
131  static void *P = ^{  // expected-error {{initializer element is not a compile-time constant}}
132
133    void *Q = ^{
134      // References test14's "X": outer block is non constant.
135      return X+4;
136    };
137  };
138}
139
140enum { LESS };
141
142void foo(long (^comp)()) {
143}
144
145void (^test15f)(void);
146void test15() {
147  foo(^{ return LESS; }); // expected-error {{incompatible block pointer types passing 'int (^)(void)', expected 'long (^)()'}}
148}
149
150__block int test16i;  // expected-error {{__block attribute not allowed, only allowed on local variables}}
151
152void test16(__block int i) { // expected-error {{__block attribute not allowed, only allowed on local variables}}
153  int size = 5;
154  extern __block double extern_var; // expected-error {{__block attribute not allowed, only allowed on local variables}}
155  static __block char * pch; // expected-error {{__block attribute not allowed, only allowed on local variables}}
156  __block int a[size]; // expected-error {{__block attribute not allowed on declaration with a variably modified type}}
157  __block int (*ap)[size]; // expected-error {{__block attribute not allowed on declaration with a variably modified type}}
158}
159
160void test17() {
161  void (^bp)(int);
162  void (*rp)(int);
163  void (^bp1)();
164  void *vp = bp;
165
166  f(1 ? bp : vp);
167  f(1 ? vp : bp);
168  f(1 ? bp : bp1);
169  (void)(bp > rp); // expected-error {{invalid operands}}
170  (void)(bp > 0); // expected-error {{invalid operands}}
171  (void)(bp > bp); // expected-error {{invalid operands}}
172  (void)(bp > vp); // expected-error {{invalid operands}}
173  f(1 ? bp : rp); // expected-error {{incompatible operand types ('void (^)(int)' and 'void (*)(int)')}}
174  (void)(bp == 1); // expected-error {{invalid operands to binary expression}}
175  (void)(bp == 0);
176  (void)(1 == bp); // expected-error {{invalid operands to binary expression}}
177  (void)(0 == bp);
178  (void)(bp < 1); // expected-error {{invalid operands to binary expression}}
179  (void)(bp < 0); // expected-error {{invalid operands to binary expression}}
180  (void)(1 < bp); // expected-error {{invalid operands to binary expression}}
181  (void)(0 < bp); // expected-error {{invalid operands to binary expression}}
182}
183
184void test18() {
185  void (^const  blockA)(void) = ^{ };
186  blockA = ^{ }; // expected-error {{read-only variable is not assignable}}
187}
188
189// rdar://7072507
190int test19() {
191  goto L0;       // expected-error {{illegal goto into protected scope}}
192
193  __block int x; // expected-note {{jump bypasses setup of __block variable}}
194L0:
195  x = 0;
196  ^(){ ++x; }();
197  return x;
198}
199
200
201