goto.cpp revision 7badd2467a1650c0c2a5fdef974f590fc32c3694 
1// RUN: %clang_cc1 -fsyntax-only -verify -Wall -fblocks %s
2
3// PR9463
4double *end;
5void f(bool b1, bool b2) {
6  {
7    do {
8      int end = 0;
9      if (b2) {
10        do {
11          goto end;
12        } while (b2);
13      }
14      end = 1;
15    } while (b1);
16  }
17
18 end:
19  return;
20}
21
22namespace N {
23  float* end;
24  void f(bool b1, bool b2) {
25    {
26      do {
27        int end = 0;
28        if (b2) {
29          do {
30            goto end;
31          } while (b2);
32        }
33        end = 1;
34      } while (b1);
35    }
36
37  end:
38    return;
39  }
40}
41
42void g() {
43  end = 1; // expected-error{{assigning to 'double *' from incompatible type 'int'}}
44}
45
46void h(int end) {
47  {
48    goto end; // expected-error{{use of undeclared label 'end'}}
49  }
50}
51
52void h2(int end) {
53  {
54    __label__ end;
55    goto end;
56
57  end:
58    ::end = 0;
59  }
60 end: // expected-warning{{unused label 'end'}}
61  end = 1;
62}
63
64class X {
65public:
66  X();
67};
68
69void rdar9135994()
70{
71X:
72    goto X;
73}
74
75namespace PR9495 {
76  struct NonPOD { NonPOD(); ~NonPOD(); };
77
78  void f(bool b) {
79    NonPOD np;
80    if (b) {
81      goto undeclared; // expected-error{{use of undeclared label 'undeclared'}}
82    }
83  }
84
85  void g() {
86    (void)^(bool b){
87      NonPOD np;
88      if (b) {
89        goto undeclared; // expected-error{{use of undeclared label 'undeclared'}}
90      }
91    };
92  }
93}
94
95extern "C" {
96  void exit(int);
97}
98
99void f() {
100  {
101    goto exit;
102  }
103 exit:
104  return;
105}
106
107namespace PR10620 {
108  struct S {
109    ~S() {}
110  };
111  void g(const S& s) {
112    goto done; // expected-error {{goto into protected scope}}
113    const S s2(s); // expected-note {{jump bypasses variable initialization}}
114  done:
115    ;
116  }
117}
118