clang/test/Parser/brackets.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 // RUN: cp %s %t
   3 // RUN: not %clang_cc1 -fixit %t -x c++ -DFIXIT
   4 // RUN: %clang_cc1 -fsyntax-only %t -x c++ -DFIXIT
   5 // RUN: not %clang_cc1 -fsyntax-only -fdiagnostics-parseable-fixits -fno-diagnostics-show-line-numbers %s 2>&1 | FileCheck %s -strict-whitespace
   6
   7 void test1() {
   8   int a[] = {0,1,1,2,3};
   9   int []b = {0,1,4,9,16};
  10   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  11   // CHECK: {{^}}  int []b = {0,1,4,9,16};
  12   // CHECK: {{^}}      ~~ ^
  13   // CHECK: {{^}}         []
  14   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:7-[[@LINE-5]]:9}:""
  15   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:10-[[@LINE-6]]:10}:"[]"
  16
  17   int c = a[0];
  18   int d = b[0];  // No undeclared identifier error here.
  19
  20   int *e = a;
  21   int *f = b;  // No undeclared identifier error here.
  22
  23   int[1] g[2];
  24   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  25   // CHECK: {{^}}  int[1] g[2];
  26   // CHECK: {{^}}     ~~~     ^
  27   // CHECK: {{^}}             [1]
  28   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:6-[[@LINE-5]]:9}:""
  29   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:14-[[@LINE-6]]:14}:"[1]"
  30 }
  31
  32 void test2() {
  33   int [3] (*a) = 0;
  34   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  35   // CHECK: {{^}}  int [3] (*a) = 0;
  36   // CHECK: {{^}}      ~~~     ^
  37   // CHECK: {{^}}              [3]
  38   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:7-[[@LINE-5]]:11}:""
  39   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:15-[[@LINE-6]]:15}:"[3]"
  40
  41 #ifndef FIXIT
  42   // Make sure a is corrected to be like type y, instead of like type z.
  43   int (*b)[3] = a;
  44   int (*c[3]) = a;  // expected-error{{}}
  45 #endif
  46 }
  47
  48 struct A {
  49   static int [1][1]x;
  50   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  51   // CHECK: {{^}}  static int [1][1]x;
  52   // CHECK: {{^}}             ~~~~~~ ^
  53   // CHECK: {{^}}                    [1][1]
  54   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:14-[[@LINE-5]]:20}:""
  55   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:21-[[@LINE-6]]:21}:"[1][1]"
  56 };
  57
  58 int [1][1]A::x = { {42} };
  59 // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  60 // CHECK: {{^}}int [1][1]A::x = { {42} };
  61 // CHECK: {{^}}    ~~~~~~    ^
  62 // CHECK: {{^}}              [1][1]
  63 // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:5-[[@LINE-5]]:11}:""
  64 // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:15-[[@LINE-6]]:15}:"[1][1]"
  65
  66 struct B { static int (*x)[5]; };
  67 int [5] *B::x = 0;
  68 // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  69 // CHECK: {{^}}int [5] *B::x = 0;
  70 // CHECK: {{^}}    ~~~      ^
  71 // CHECK: {{^}}        (    )[5]
  72 // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:5-[[@LINE-5]]:9}:""
  73 // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:9-[[@LINE-6]]:9}:"("
  74 // CHECK: fix-it:{{.*}}:{[[@LINE-7]]:14-[[@LINE-7]]:14}:")[5]"
  75
  76 void test3() {
  77   int [3] *a;
  78   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  79   // CHECK: {{^}}  int [3] *a;
  80   // CHECK: {{^}}      ~~~   ^
  81   // CHECK: {{^}}          ( )[3]
  82   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:7-[[@LINE-5]]:11}:""
  83   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:11-[[@LINE-6]]:11}:"("
  84   // CHECK: fix-it:{{.*}}:{[[@LINE-7]]:13-[[@LINE-7]]:13}:")[3]"
  85
  86   int (*b)[3] = a;  // no error
  87 }
  88
  89 void test4() {
  90   int [2] a;
  91   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
  92   // CHECK: {{^}}  int [2] a;
  93   // CHECK: {{^}}      ~~~  ^
  94   // CHECK: {{^}}           [2]
  95   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:7-[[@LINE-5]]:11}:""
  96   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:12-[[@LINE-6]]:12}:"[2]"
  97
  98   int [2] &b = a;
  99   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
 100   // CHECK: {{^}}  int [2] &b = a;
 101   // CHECK: {{^}}      ~~~   ^
 102   // CHECK: {{^}}          ( )[2]
 103   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:7-[[@LINE-5]]:11}:""
 104   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:11-[[@LINE-6]]:11}:"("
 105   // CHECK: fix-it:{{.*}}:{[[@LINE-7]]:13-[[@LINE-7]]:13}:")[2]"
 106
 107 }
 108
 109 namespace test5 {
 110 #ifndef FIXIT
 111 int [][][];
 112 // expected-error@-1{{expected unqualified-id}}
 113 // CHECK: {{^}}int [][][];
 114 // CHECK: {{^}}    ^
 115
 116 struct C {
 117   int [];
 118   // expected-error@-1{{expected member name or ';' after declaration specifiers}}
 119   // CHECK: {{^}}  int [];
 120   // CHECK: {{^}}  ~~~ ^
 121 };
 122
 123 #endif
 124 }
 125
 126 namespace test6 {
 127 struct A {
 128   static int arr[3];
 129 };
 130 int [3] ::test6::A::arr = {1,2,3};
 131 // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
 132 // CHECK: {{^}}int [3] ::test6::A::arr = {1,2,3};
 133 // CHECK: {{^}}    ~~~                ^
 134 // CHECK: {{^}}                       [3]
 135 // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:5-[[@LINE-5]]:9}:""
 136 // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:24-[[@LINE-6]]:24}:"[3]"
 137
 138 }
 139
 140 namespace test7 {
 141 class A{};
 142 void test() {
 143   int [3] A::*a;
 144   // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
 145   // CHECK: {{^}}  int [3] A::*a;
 146   // CHECK: {{^}}      ~~~      ^
 147   // CHECK: {{^}}          (    )[3]
 148   // CHECK: fix-it:{{.*}}:{[[@LINE-5]]:7-[[@LINE-5]]:11}:""
 149   // CHECK: fix-it:{{.*}}:{[[@LINE-6]]:11-[[@LINE-6]]:11}:"("
 150   // CHECK: fix-it:{{.*}}:{[[@LINE-7]]:16-[[@LINE-7]]:16}:")[3]"
 151 }
 152 }
 153
 154 namespace test8 {
 155 struct A {
 156   static const char f[];
 157 };
 158 const char[] A::f = "f";
 159 // expected-error@-1{{brackets are not allowed here; to declare an array, place the brackets after the name}}
 160 }
 161 // CHECK: 15 errors generated.