array-init.c revision 6d4abe1eee550411524ca002025fdf0490eefd26
1// RUN: clang -fsyntax-only -verify -pedantic %s 2 3extern int foof() = 1; // expected-error{{illegal initializer (only variables can be initialized)}} 4 5static int x, y, z; 6 7static int ary[] = { x, y, z }; // expected-error{{initializer element is not a compile-time constant}} 8int ary2[] = { x, y, z }; // expected-error{{initializer element is not a compile-time constant}} 9 10extern int fileScopeExtern[3] = { 1, 3, 5 }; // expected-warning{{'extern' variable has an initializer}} 11 12static int ary3[] = { 1, "abc", 3, 4 }; // expected-warning{{incompatible pointer to integer conversion initializing 'char [4]', expected 'int'}} 13 14void func() { 15 int x = 1; 16 17 typedef int TInt = 1; // expected-error{{illegal initializer (only variables can be initialized)}} 18 19 int xComputeSize[] = { 1, 3, 5 }; 20 21 int x3[x] = { 1, 2 }; // expected-error{{variable-sized object may not be initialized}} 22 23 int x4 = { 1, 2 }; // expected-warning{{braces around scalar initializer}} expected-warning{{excess elements in array initializer}} 24 25 int y[4][3] = { 26 { 1, 3, 5 }, 27 { 2, 4, 6 }, 28 { 3, 5, 7 }, 29 }; 30 31 int y2[4][3] = { 32 1, 3, 5, 2, 4, 6, 3, 5, 7 33 }; 34 35 int y3[4][3] = { 36 { 1, 3, 5 }, 37 { 2, 4, 6 }, 38 { 3, 5, 7 }, 39 { 4, 6, 8 }, 40 { 5 }, // expected-warning{{excess elements in array initializer}} 41 }; 42 43 struct threeElements { 44 int a,b,c; 45 } z = { 1 }; 46 47 struct threeElements *p = 7; // expected-warning{{incompatible integer to pointer conversion initializing 'int', expected 'struct threeElements *'}} 48 49 extern int blockScopeExtern[3] = { 1, 3, 5 }; // expected-error{{'extern' variable cannot have an initializer}} 50 51 static int x2[3] = { 1.0, "abc" , 5.8 }; // expected-warning{{incompatible pointer to integer conversion initializing 'char [4]', expected 'int'}} 52} 53 54void test() { 55 int y1[3] = { 56 { 1, 2, 3 } // expected-warning{{braces around scalar initializer}} expected-warning{{excess elements in array initializer}} 57 }; 58 int y3[4][3] = { 59 { 1, 3, 5 }, 60 { 2, 4, 6 }, 61 { 3, 5, 7 }, 62 { 4, 6, 8 }, 63 { }, // expected-warning{{use of GNU empty initializer extension}} expected-warning{{excess elements in array initializer}} 64 }; 65 int y4[4][3] = { 66 { 1, 3, 5, 2 }, // expected-warning{{excess elements in array initializer}} 67 { 4, 6 }, 68 { 3, 5, 7 }, 69 { 4, 6, 8 }, 70 }; 71} 72 73void allLegalAndSynonymous() { 74 short q[4][3][2] = { 75 { 1 }, 76 { 2, 3 }, 77 { 4, 5, 6 } 78 }; 79 short q2[4][3][2] = { 80 { 1, 0, 0, 0, 0, 0 }, 81 { 2, 3, 0, 0, 0, 0 }, 82 { 4, 5, 6 } 83 }; 84 short q3[4][3][2] = { 85 { 86 { 1 }, 87 }, 88 { 89 { 2, 3 }, 90 }, 91 { 92 { 4, 5 }, 93 { 6 }, 94 }, 95 }; 96} 97 98void legal() { 99 short q[][3][2] = { 100 { 1 }, 101 { 2, 3 }, 102 { 4, 5, 6 } 103 }; 104} 105 106unsigned char asso_values[] = { 34 }; 107int legal2() { 108 return asso_values[0]; 109} 110 111void illegal() { 112 short q2[4][][2] = { // expected-error{{array has incomplete element type 'short [][2]'}} 113 { 1, 0, 0, 0, 0, 0 }, 114 { 2, 3, 0, 0, 0, 0 }, 115 { 4, 5, 6 } 116 }; 117 short q3[4][3][] = { // expected-error{{array has incomplete element type 'short []'}} 118 { 119 { 1 }, 120 }, 121 { 122 { 2, 3 }, 123 }, 124 { 125 { 4, 5 }, 126 { 6 }, 127 }, 128 }; 129 int a[][] = { 1, 2 }; // expected-error{{array has incomplete element type 'int []'}} 130} 131 132typedef int AryT[]; 133 134void testTypedef() 135{ 136 AryT a = { 1, 2 }, b = { 3, 4, 5 }; 137} 138 139static char const xx[] = "test"; 140static char const yy[5] = "test"; 141static char const zz[3] = "test"; // expected-warning{{initializer-string for char array is too long}} 142 143void charArrays() 144{ 145 static char const test[] = "test"; 146 static char const test2[] = { "weird stuff" }; 147 static char const test3[] = { "test", "excess stuff" }; // expected-error{{excess elements in char array initializer}} 148 149 char* cp[] = { "Hello" }; 150 151 char c[] = { "Hello" }; 152 int l[sizeof(c) == 6 ? 1 : -1]; 153 154 int i[] = { "Hello "}; // expected-warning{{incompatible pointer to integer conversion initializing 'char [7]', expected 'int'}} 155 char c2[] = { "Hello", "Good bye" }; //expected-error{{excess elements in char array initializer}} 156 157 int i2[1] = { "Hello" }; //expected-warning{{incompatible pointer to integer conversion initializing 'char [6]', expected 'int'}} 158 char c3[5] = { "Hello" }; 159 char c4[4] = { "Hello" }; //expected-warning{{initializer-string for char array is too long}} 160 161 int i3[] = {}; //expected-warning{{zero size arrays are an extension}} expected-warning{{use of GNU empty initializer extension}} 162} 163 164void variableArrayInit() { 165 int a = 4; 166 char strlit[a] = "foo"; //expected-error{{variable-sized object may not be initialized}} 167 int b[a] = { 1, 2, 4 }; //expected-error{{variable-sized object may not be initialized}} 168} 169 170// Pure array tests 171float r1[10] = {{7}}; //expected-warning{{braces around scalar initializer}} 172float r2[] = {{8}}; //expected-warning{{braces around scalar initializer}} 173char r3[][5] = {1,2,3,4,5,6}; 174char r3_2[sizeof r3 == 10 ? 1 : -1]; 175float r4[1][2] = {1,{2},3,4}; //expected-warning{{braces around scalar initializer}} expected-warning{{excess elements in array initializer}} 176char r5[][5] = {"aa", "bbb", "ccccc"}; 177char r6[sizeof r5 == 15 ? 1 : -1]; 178const char r7[] = "zxcv"; 179char r8[5] = "5char"; 180char r9[5] = "6chars"; //expected-warning{{initializer-string for char array is too long}} 181 182int r11[0] = {}; //expected-warning{{zero size arrays are an extension}} expected-warning{{use of GNU empty initializer extension}} 183 184// Some struct tests 185void autoStructTest() { 186struct s1 {char a; char b;} t1; 187struct s2 {struct s1 c;} t2 = { t1 }; 188// The following is a less than great diagnostic (though it's on par with EDG). 189struct s1 t3[] = {t1, t1, "abc", 0}; //expected-warning{{incompatible pointer to integer conversion initializing 'char [4]', expected 'char'}} 190int t4[sizeof t3 == 6 ? 1 : -1]; 191} 192struct foo { int z; } w; 193int bar (void) { 194 struct foo z = { w }; //expected-error{{incompatible type initializing 'struct foo', expected 'int'}} 195 return z.z; 196} 197struct s3 {void (*a)(void);} t5 = {autoStructTest}; 198// GCC extension; flexible array init. Once this is implemented, the warning should be removed. 199// Note that clang objc implementation depends on this extension. 200struct {int a; int b[];} t6 = {1, {1, 2, 3}}; //expected-warning{{excess elements in array initializer}} 201union {char a; int b;} t7[] = {1, 2, 3}; 202int t8[sizeof t7 == (3*sizeof(int)) ? 1 : -1]; 203 204struct bittest{int : 31, a, :21, :12, b;}; 205struct bittest bittestvar = {1, 2, 3, 4}; //expected-warning{{excess elements in array initializer}} 206 207// Not completely sure what should happen here... 208int u1 = {}; //expected-warning{{use of GNU empty initializer extension}} expected-error{{scalar initializer cannot be empty}} 209int u2 = {{3}}; //expected-error{{too many braces around scalar initializer}} 210 211// PR2362 212void varArray() { 213 int c[][x] = { 0 }; //expected-error{{variable-sized object may not be initialized}} 214} 215 216// PR2151 217int emptyInit() {struct {} x[] = {6};} //expected-warning{{empty struct extension}} expected-error{{initializer for aggregate with no elements}} 218 219int noNamedInit() { 220struct {int:5;} x[] = {6}; //expected-error{{initializer for aggregate with no elements}} 221} 222struct {int a; int:5;} noNamedImplicit[] = {1,2,3}; 223int noNamedImplicitCheck[sizeof(noNamedImplicit) == 3 * sizeof(*noNamedImplicit) ? 1 : -1]; 224 225static void sppp_ipv6cp_up(); 226const struct {} ipcp = { sppp_ipv6cp_up }; //expected-warning{{empty struct extension}} expected-warning{{excess elements in array initializer}} 227