clang/test/SemaCXX/goto.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -Wall -Wno-unused-but-set-variable -fblocks %s
   2
   3 // PR9463
   4 double *end;
   5 void 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
  22 namespace 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
  42 void g() {
  43   end = 1; // expected-error{{incompatible integer to pointer conversion assigning to 'double *' from 'int'}}
  44 }
  45
  46 void h(int end) {
  47   {
  48     goto end; // expected-error{{use of undeclared label 'end'}}
  49   }
  50 }
  51
  52 void 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
  64 class X {
  65 public:
  66   X();
  67 };
  68
  69 void rdar9135994()
  70 {
  71 X:
  72     goto X;
  73 }
  74
  75 namespace 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
  95 extern "C" {
  96   void exit(int);
  97 }
  98
  99 void f() {
 100   {
 101     goto exit;
 102   }
 103  exit:
 104   return;
 105 }
 106
 107 namespace PR10620 {
 108   struct S {
 109     ~S() {}
 110   };
 111   void g(const S& s) {
 112     goto done; // expected-error {{cannot jump}}
 113     const S s2(s); // expected-note {{jump bypasses variable initialization}}
 114   done:
 115     ;
 116   }
 117 }
 118
 119 namespace test12 {
 120   struct A { A(); A(const A&); ~A(); };
 121   void test(A a) { // expected-note {{jump enters lifetime of block}} FIXME: weird location
 122     goto lbl; // expected-error {{cannot jump}}
 123     (void) ^{ (void) a; };
 124   lbl:
 125     return;
 126   }
 127 }