OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.dg/] [c99-tag-1.c] - Blame information for rev 689

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 689 jeremybenn 
/* Test for handling of tags (6.7.2.3).  */
2 
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
3 
/* { dg-do compile } */
4 
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
5 
 
6 
void
7 
foo (void)
8 
{
9 
  /* Forward declarations of structs and unions are OK; those of enums are
10 
     not.  */
11 
  {
12 
    struct s0;
13 
    struct s1 *x0;
14 
    union u0;
15 
    union u1 *x1;
16 
    enum e0; /* { dg-bogus "warning" "warning in place of error" } */
17 
    /* { dg-error "forward" "enum forward 1" { target *-*-* } 16 } */
18 
    enum e1 *x2; /* { dg-bogus "warning" "warning in place of error" } */
19 
    /* { dg-error "forward" "enum forward 2" { target *-*-* } 18 } */
20 
    /* GCC used to fail to diagnose a use of an enum inside its definition.  */
21 
    enum e2 { E2A = sizeof (enum e2 *) }; /* { dg-bogus "warning" "warning in place of error" } */
22 
    /* { dg-error "forward" "enum forward 3" { target *-*-* } 21 } */
23 
  }
24 
  /* A specific type shall have its content defined at most once.  But we
25 
     may redeclare the tag in different scopes.  */
26 
  {
27 
    struct s0 { int i; }; /* { dg-message "note: originally defined here" } */
28 
    {
29 
      struct s0 { long l; };
30 
    }
31 
    {
32 
      union s0 { long l; };
33 
    }
34 
    struct s0 { int i; }; /* { dg-bogus "warning" "warning in place of error" } */
35 
    /* { dg-error "rede" "struct redef" { target *-*-* } 34 } */
36 
    union u0 { int i; }; /* { dg-message "note: originally defined here" } */
37 
    {
38 
      union u0 { long l; };
39 
    }
40 
    {
41 
      struct u0 { long l; };
42 
    }
43 
    union u0 { int i; }; /* { dg-bogus "warning" "warning in place of error" } */
44 
    /* { dg-error "rede" "union redef" { target *-*-* } 43 } */
45 
    enum e0 { E0A }; /* { dg-message "note: originally defined here" } */
46 
    {
47 
      enum e0 { E0B };
48 
    }
49 
    {
50 
      struct e0 { long l; };
51 
    }
52 
    enum e0 { E0B }; /* { dg-bogus "warning" "warning in place of error" } */
53 
    /* { dg-error "rede" "enum redef" { target *-*-* } 52 } */
54 
  }
55 
  /* Structure, union and enumerated types have a single namespace of tags.  */
56 
  {
57 
    struct s0;
58 
    struct s1;
59 
    struct s2 { int i; };
60 
    struct s2;
61 
    struct s3 { int i; };
62 
    struct s2 sv;
63 
    union u0;
64 
    union u2 { int i; };
65 
    union u2;
66 
    union u2 uv;
67 
    enum e0 { E0A };
68 
    enum e1 { E1A };
69 
    /* None of the following are allowed; some were not detected by GCC.  */
70 
    union s0; /* { dg-bogus "warning" "warning in place of error" } */
71 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 70 } */
72 
    union s1 { int i; }; /* { dg-bogus "warning" "warning in place of error" } */
73 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 72 } */
74 
    union s2; /* { dg-bogus "warning" "warning in place of error" } */
75 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 74 } */
76 
    union s3 { int i; }; /* { dg-bogus "warning" "warning in place of error" } */
77 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 76 } */
78 
    enum u0 { U0A }; /* { dg-bogus "warning" "warning in place of error" } */
79 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 78 } */
80 
    enum u2 { U2A }; /* { dg-bogus "warning" "warning in place of error" } */
81 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 80 } */
82 
    struct e0; /* { dg-bogus "warning" "warning in place of error" } */
83 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 82 } */
84 
    struct e1 { int i; }; /* { dg-bogus "warning" "warning in place of error" } */
85 
    /* { dg-error "wrong" "wrong tag type" { target *-*-* } 84 } */
86 
  }
87 
  /* Explicit shadowing in inner scopes is OK, but references to the tag
88 
     that don't explicitly shadow it must (whether in declarations or
89 
     expressions) use the correct one of struct/union/enum.  */
90 
  {
91 
    struct s0;
92 
    struct s1;
93 
    struct s2 { int i; };
94 
    struct s2;
95 
    struct s3 { int i; };
96 
    struct s2 sv;
97 
    union u0;
98 
    union u2 { int i; };
99 
    union u2;
100 
    union u2 uv;
101 
    enum e0 { E0A };
102 
    enum e1 { E1A };
103 
    {
104 
      union s0;
105 
      union s1;
106 
      union s2;
107 
      union s3;
108 
      struct u0;
109 
      struct u2;
110 
      struct e0;
111 
      union e1;
112 
    }
113 
    {
114 
      union s0 *x0; /* { dg-bogus "warning" "warning in place of error" } */
115 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 114 } */
116 
      int x1[sizeof (union s1 *)]; /* { dg-bogus "warning" "warning in place of error" } */
117 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 116 } */
118 
      struct t;
119 
      union s2 *x2;
120 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 119 } */
121 
      int x3[sizeof (union s3 *)]; /* { dg-bogus "warning" "warning in place of error" } */
122 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 121 } */
123 
      struct u;
124 
      enum u0 *y0; /* { dg-bogus "warning" "warning in place of error" } */
125 
      /* { dg-error "wrong|forward" "wrong tag type" { target *-*-* } 124 } */
126 
      int y1[sizeof (enum u2 *)]; /* { dg-bogus "warning" "warning in place of error" } */
127 
      /* { dg-error "wrong|forward" "wrong tag type" { target *-*-* } 126 } */
128 
      struct v;
129 
      struct e0 *z0; /* { dg-bogus "warning" "warning in place of error" } */
130 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 129 } */
131 
      int z1[sizeof (struct e1 *)]; /* { dg-bogus "warning" "warning in place of error" } */
132 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 131 } */
133 
      struct w;
134 
    }
135 
    /* When explicitly shadowed to be a tag of a different type, references
136 
       to the new type of tag must be accepted and those to the old type
137 
       rejected.  */
138 
    {
139 
      union s0;
140 
      union s0 *x0;
141 
      union s1;
142 
      struct s1 *x1; /* { dg-bogus "warning" "warning in place of error" } */
143 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 142 } */
144 
      union s2;
145 
      union s2 *x2;
146 
      union s3;
147 
      struct s3 *x3; /* { dg-bogus "warning" "warning in place of error" } */
148 
      /* { dg-error "wrong" "wrong tag type" { target *-*-* } 147 } */
149 
    }
150 
  }
151 
}

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.