clang/test/Parser/cxx2a-init-statement.cpp

   1 // RUN: %clang_cc1 -std=c++2a -verify %s
   2
   3 template<int N> struct A {};
   4
   5 using F = bool(*)(int);
   6 extern F *p;
   7 extern int m;
   8
   9 struct Convertible { template<typename T> operator T(); };
  10
  11 void f() {
  12   int arr1[3];
  13   for (int n = 5; int x : arr1) {}
  14
  15   int A<0>::*arr2[3];
  16   for (int n = 5; int A<true ? 0 : 1>::*x : arr2) {}
  17
  18   for (int i = 0; int x = i < 2 ? 1 : 0; i++) {}
  19
  20   F (*arr3[3])(int);
  21   for (int n = 5; F (*p)(int n) : arr3) {}
  22   for (int n = 5; F (*p)(int (n)) : arr3) {}
  23
  24   // Here, we have a declaration rather than an expression.
  25   for (int n = 5; F (*p)(int (n)); ++n) {}
  26
  27   // We detect whether we have a for-range-declaration before parsing so that
  28   // we can give different diagnostics for for-range-declarations versus
  29   // conditions (even though the rules are currently identical).
  30   Convertible arr4[3];
  31   for (int n = 0; struct { operator bool(); } x = {}; ++n) {} // expected-error {{cannot be defined in a condition}}
  32   for (int n = 0; struct { operator bool(); } x : arr4) {} // expected-error {{may not be defined in a for range declaration}}
  33
  34   for (int n = 0; static int m = 0; ++n) {} // expected-error {{type name does not allow storage class}}
  35   for (int n = 0; static int m : arr1) {} // expected-error {{loop variable 'm' may not be declared 'static'}}
  36
  37   // The init-statement and range are not break / continue scopes. (But the body is.)
  38   for (int n = ({ break; 0; }); int m : arr1) {} // expected-error {{not in loop}}
  39   for (int n = ({ continue; 0; }); int m : arr1) {} // expected-error {{not in loop}}
  40   for (int arr[3]; int n : *({ break; &arr; })) {} // expected-error {{not in loop}}
  41   for (int arr[3]; int n : *({ continue; &arr; })) {} // expected-error {{not in loop}}
  42   for (int n = 0; int m : arr1) { break; }
  43   for (int n = 0; int m : arr1) { continue; }
  44 }