clang/test/Sema/type-spec-struct-union.c

   1 // RUN: %clang_cc1 -fsyntax-only -pedantic -Wno-strict-prototypes -verify %s
   2
   3 /* This test checks the introduction of struct and union types based
   4    on a type specifier of the form "struct-or-union identifier" when they
   5    type has not yet been declared. See C99 6.7.2.3p8. */
   6
   7 typedef struct S1 {
   8   union {
   9     struct S2 *x;
  10     struct S3 *y;
  11   } u1;
  12 } S1;
  13
  14 int test_struct_scope(S1 *s1, struct S2 *s2, struct S3 *s3) {
  15   if (s1->u1.x == s2) return 1;
  16   if (s1->u1.y == s3) return 1;
  17   return 0;
  18 }
  19
  20 int test_struct_scope_2(S1 *s1) {
  21   struct S2 { int x; } *s2 = 0;
  22   if (s1->u1.x == s2) return 1; /* expected-warning {{comparison of distinct pointer types ('struct S2 *' and 'struct S2 *')}} */
  23   return 0;
  24 }
  25
  26 // FIXME: We do not properly implement C99 6.2.1p4, which says that
  27 // the type "struct S4" declared in the function parameter list has
  28 // block scope within the function definition. The problem, in this
  29 // case, is that the code is ill-formed but we warn about the two S4's
  30 // being incompatible (we think they are two different types).
  31 int test_struct_scope_3(struct S4 * s4) { // expected-warning{{declaration of 'struct S4' will not be visible outside of this function}}
  32   struct S4 { int y; } *s4_2 = 0;
  33   /*  if (s4 == s4_2) return 1; */
  34   return 0;
  35 }
  36
  37 void f(struct S5 { int y; } s5); // expected-warning{{declaration of 'struct S5' will not be visible outside of this function}}
  38
  39 // PR clang/3312
  40 struct S6 {
  41         enum { BAR } e;
  42 };
  43
  44 void test_S6(void) {
  45         struct S6 a;
  46         a.e = BAR;
  47 }
  48
  49 typedef struct z_foo_s {
  50   struct bar_baz *baz;
  51 } z_foo;
  52 typedef z_foo *z_foop;
  53 struct bar_baz {
  54   enum {
  55     SQUAT, FLAG, DICT4, DICT3, DICT2, DICT1, DICT0, HOP, CHECK4, CHECK3, CHECK2, CHECK1, DONE, BAD
  56   } mode;
  57   int             nowrap;
  58 };
  59 void
  60 wizbiz_quxPoof(z)
  61   z_foop       z;
  62 {
  63   z->baz->mode = z->baz->nowrap ? HOP : SQUAT;
  64 }