Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/c11-typedef-1.c @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* Test typedef redeclaration in C11. */
2 /* { dg-do compile } */
3 /* { dg-options "-std=c11 -pedantic-errors" } */
4
5 /* C11 permits typedefs to be redeclared to the same type, but not to
6 different-but-compatible types, and not when the type is variably
7 modified. */
8
9 #include <limits.h>
10
11 typedef int TI;
12 typedef int TI2;
13 typedef TI2 TI;
14 typedef TI TI2;
15
16 enum e { E1 = 0, E2 = INT_MAX, E3 = -1 };
17 typedef enum e TE;
18 typedef enum e TE; /* { dg-message "previous declaration" } */
19 typedef int TE; /* { dg-error "with different type" } */
20
21 struct s;
22 typedef struct s TS;
23 struct s { int i; };
24 typedef struct s TS;
25
26 typedef int IA[];
27 typedef TI2 IA[]; /* { dg-message "previous declaration" } */
28 typedef int A2[2];
29 typedef TI A2[2]; /* { dg-message "previous declaration" } */
30 typedef IA A2; /* { dg-error "with different type" } */
31 typedef int A3[3];
32 typedef A3 IA; /* { dg-error "with different type" } */
33
34 typedef void F(int);
35 typedef void F(TI); /* { dg-message "previous declaration" } */
36 typedef void F(enum e); /* { dg-error "with different type" } */
37
38 typedef int G(void);
39 typedef TI G(void); /* { dg-message "previous declaration" } */
40 typedef enum e G(void); /* { dg-error "with different type" } */
41
42 typedef int *P;
43 typedef TI *P; /* { dg-message "previous declaration" } */
44 typedef enum e *P; /* { dg-error "with different type" } */
45
46 typedef void F2();
47 typedef void F2(); /* { dg-message "previous declaration" } */
48 typedef void F2(int); /* { dg-error "with different type" } */
49
50 void
51 f (void)
52 {
53 int a = 1;
54 int b = 2;
55 typedef void FN(int (*p)[a]);
56 typedef void FN(int (*p)[b]);
57 typedef void FN(int (*p)[*]); /* { dg-message "previous declaration" } */
58 typedef void FN(int (*p)[1]); /* { dg-error "with different type" } */
59 typedef void FN2(int (*p)[a]);
60 typedef void FN2(int (*p)[b]);
61 typedef void FN2(int (*p)[*]); /* { dg-message "previous declaration" } */
62 typedef void FN2(int (*p)[]); /* { dg-error "with different type" } */
63 typedef int AV[a]; /* { dg-message "previous declaration" } */
64 typedef int AV[b-1]; /* { dg-error "redefinition" } */
65 typedef int AAa[a]; /* { dg-message "previous declaration" } */
66 typedef int AAb[b-1];
67 typedef AAa *VF(void); /* { dg-message "previous declaration" } */
68 typedef AAb *VF(void); /* { dg-error "redefinition" } */
69 typedef AAa AAa; /* { dg-error "redefinition" } */
70 }