// RUN: %clang_cc1 -fsyntax-only -verify %s -fblocks

void test_gotos(void) {
  goto L1; // expected-error {{use of undeclared label 'L1'}}
  goto L3; // OK
  #pragma clang __debug captured
  {
L1:
    goto L2; // OK
L2:
    goto L3; // expected-error {{use of undeclared label 'L3'}}
  }
L3: ;
}

void test_break_continue(void) {
  while (1) {
    #pragma clang __debug captured
    {
      break; // expected-error {{'break' statement not in loop or switch statement}}
      continue; // expected-error {{'continue' statement not in loop statement}}
    }
  }
}

void test_return(void) {
  while (1) {
    #pragma clang __debug captured
    {
      return; // expected-error {{cannot return from default captured statement}}
    }
  }
}

void test_nest(void) {
  int x;
  #pragma clang __debug captured
  {
    int y;
    #pragma clang __debug captured
    {
      int z;
      #pragma clang __debug captured
      {
        x = z = y; // OK
      }
    }
  }
}

void test_nest_block(void) {
  __block int x; // expected-note {{'x' declared here}}
  int y;
  ^{
    int z;
    #pragma clang __debug captured
    {
      x = y; // expected-error{{__block variable 'x' cannot be captured in a captured statement}}
      y = z; // expected-error{{variable is not assignable (missing __block type specifier)}}
      z = y; // OK
    }
  }();

  __block int a; // expected-note 2 {{'a' declared here}}
  int b;
  #pragma clang __debug captured
  {
    int d;
    ^{
      a = b; // expected-error{{__block variable 'a' cannot be captured in a captured statement}}
      a = b; // (duplicate diagnostic suppressed)
      b = d; // OK - Consistent with block inside a lambda
    }();
  }
  #pragma clang __debug captured
  {
    __block int c;
    int d;
    ^{
      c = a; // expected-error{{__block variable 'a' cannot be captured in a captured statement}}
      c = d; // OK
      d = b; // expected-error{{variable is not assignable (missing __block type specifier)}}
    }();
  }
}