clang/test/Parser/declarators.c

   1 // RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic -std=c99
   2
   3 extern int a1[];
   4
   5 void f0(); /* expected-warning {{a function declaration without a prototype is deprecated in all versions of C}} */
   6 void f1(int [*]);
   7 void f2(int [const *]);
   8 void f3(int [volatile const*]);
   9 int f4(*XX)(void); /* expected-error {{cannot return}} expected-error {{type specifier missing, defaults to 'int'; ISO C99 and later do not support implicit int}} */
  10 int f5(int [static]); /* expected-error {{'static' may not be used without an array size}} */
  11
  12 char ((((*X))));
  13
  14 void (*signal(int, void (*)(int)))(int);
  15
  16 int aaaa, ***C, * const D, B(int);
  17
  18 int *A;
  19
  20 struct str;
  21
  22 void test2(int *P, int A) {
  23   struct str;
  24
  25   // Hard case for array decl, not Array[*].
  26   int Array[*(int*)P+A];
  27 }
  28
  29 typedef int atype;
  30 void test3(x,            /* expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C2x}} */
  31            atype         /* expected-error {{unexpected type name 'atype': expected identifier}} */
  32           ) int x, atype; {}
  33
  34 void test4(x, x) int x; {} // expected-error {{redefinition of parameter 'x'}} \
  35                            // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C2x}}
  36
  37
  38 // PR3031
  39 int (test5), ;  // expected-error {{expected identifier or '('}}
  40
  41
  42
  43 // PR3963 & rdar://6759604 - test error recovery for mistyped "typenames".
  44
  45 foo_t *d;      // expected-error {{unknown type name 'foo_t'}}
  46 foo_t a;   // expected-error {{unknown type name 'foo_t'}}
  47 int test6() { /* expected-warning {{a function declaration without a prototype is deprecated in all versions of C}} */
  48   return a; // a should be declared.
  49 }
  50
  51 // Use of tagged type without tag. rdar://6783347
  52 struct xyz { int y; };
  53 enum myenum { ASDFAS };
  54 xyz b;         // expected-error {{must use 'struct' tag to refer to type 'xyz'}}
  55 myenum c;      // expected-error {{must use 'enum' tag to refer to type 'myenum'}}
  56
  57 float *test7(void) {
  58   // We should recover 'b' by parsing it with a valid type of "struct xyz", which
  59   // allows us to diagnose other bad things done with y, such as this.
  60   return &b.y;   // expected-warning {{incompatible pointer types returning 'int *' from a function with result type 'float *'}}
  61 }
  62
  63 struct xyz test8(void) { return a; }  // a should be marked invalid, no diag.
  64
  65
  66 // Verify that implicit int still works.
  67 static f;      // expected-error {{type specifier missing, defaults to 'int'; ISO C99 and later do not support implicit int}}
  68 static g = 4;  // expected-error {{type specifier missing, defaults to 'int'; ISO C99 and later do not support implicit int}}
  69 static h        // expected-error {{type specifier missing, defaults to 'int'; ISO C99 and later do not support implicit int}}
  70       __asm__("foo");
  71
  72
  73 struct test9 {
  74   int x  // expected-error {{expected ';' at end of declaration list}}
  75   int y;
  76   int z  // expected-warning {{expected ';' at end of declaration list}}
  77 };
  78
  79 // PR6208
  80 struct test10 { int a; } static test10x;
  81 struct test11 { int a; } const test11x;
  82
  83
  84 // rdar://7608537
  85 struct test13 { int a; } (test13x);
  86
  87 // <rdar://problem/8044088>
  88 struct X<foo::int> { }; // expected-error{{expected identifier or '('}}
  89
  90
  91 // PR7617 - error recovery on missing ;.
  92
  93 void test14(void)  // expected-error {{expected ';' after top level declarator}}
  94
  95 void test14a(void);
  96 void *test14b = (void*)test14a; // Make sure test14a didn't get skipped.
  97
  98 // rdar://problem/8358508
  99 long struct X { int x; } test15(void); // expected-error {{'long struct' is invalid}}
 100
 101 void test16(i) int i j; { } // expected-error {{expected ';' at end of declaration}} \
 102                             // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C2x}}
 103 void test17(i, j) int i, j k; { } // expected-error {{expected ';' at end of declaration}} \
 104                                   // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C2x}}
 105 void knrNoSemi(i) int i { } // expected-error {{expected ';' at end of declaration}} \
 106                             // expected-warning {{a function definition without a prototype is deprecated in all versions of C and is not supported in C2x}}
 107
 108 // PR12595
 109 void test18(void) {
 110   int x = 4+(5-12));  // expected-error {{extraneous ')' before ';'}}
 111 }
 112
 113 enum E1 { e1 }: // expected-error {{expected ';'}}
 114 struct EnumBitfield { // expected-warning {{struct without named members is a GNU extension}}
 115   enum E2 { e2 } : 4; // ok
 116   struct S { int n; }: // expected-error {{expected ';'}}
 117                        // expected-warning@-1 {{declaration does not declare anything}}
 118
 119 };
 120
 121 // PR10982
 122 enum E11 {
 123   A1 = 1,
 124 };
 125
 126 enum E12 {
 127   ,  // expected-error{{expected identifier}}
 128   A2
 129 };
 130 void func_E12(enum E12 *p) { *p = A2; }
 131
 132 enum E13 {
 133   1D,  // expected-error{{expected identifier}}
 134   A3
 135 };
 136 void func_E13(enum E13 *p) { *p = A3; }
 137
 138 enum E14 {
 139   A4 12,  // expected-error{{expected '= constant-expression' or end of enumerator definition}}
 140   A4a
 141 };
 142 void func_E14(enum E14 *p) { *p = A4a; }
 143
 144 enum E15 {
 145   A5=12 4,  // expected-error{{expected '}' or ','}}
 146   A5a
 147 };
 148 void func_E15(enum E15 *p) { *p = A5a; }
 149
 150 enum E16 {
 151   A6;  // expected-error{{expected '= constant-expression' or end of enumerator definition}}
 152   A6a
 153 };
 154
 155 int PR20634 = sizeof(struct { int n; } [5]);