1 /* RUN: %clang_cc1 -std=c89 -fsyntax-only -pedantic -verify %s
2 RUN: %clang_cc1 -std=c99 -fsyntax-only -pedantic -verify %s
3 RUN: %clang_cc1 -std=c11 -fsyntax-only -pedantic -verify %s
4 RUN: %clang_cc1 -std=c17 -fsyntax-only -pedantic -verify %s
5 RUN: %clang_cc1 -std=c2x -fsyntax-only -pedantic -verify %s
6 */
7
8 /* WG14 DR157: yes
9 * Legitimacy of type synonyms
10 *
11 * Part 1 is about whether you can use a typedef to void in place of void in
12 * a function parameter list and still get a function with a prototype that
13 * accepts no arguments. You can.
14 *
15 * Part 2 is about whether you can use a typedef to int in place of int in
16 * the declaration of main(). You can.
17 *
18 * Part 3 is about whether there are situations where a typedef cannot be used
19 * in place of a type name.
20 */
21 typedef void dr157_1_t;
22 extern int dr157(dr157_1_t); /* ok */
dr157(dr157_1_t)23 int dr157(dr157_1_t) { /* ok */
24 /* You cannot combine a typedef with another type specifier. */
25 typedef int Int; /* expected-note {{previous definition is here}} */
26 long Int val; /* expected-error {{redefinition of 'Int' as different kind of symbol}}
27 expected-error {{expected ';' at end of declaration}}
28 */
29
30 return 0;
31 }
32
33 typedef int dr157_2_t;
main(void)34 dr157_2_t main(void) { /* Still a valid declaration of main() */
35 }
36
37 /* A function definition cannot use a typedef for the type. */
38 typedef void dr157_3_t(void);
39 extern dr157_3_t dr157_2 { /* expected-error {{expected ';' after top level declarator}} */
40 }
41
42 /* FIXME: all diagnostics that happen after the previous one about expecting a
43 * a ';' are silenced, so this test needs to be in its own file to prevent
44 * accidentally incorrect testing.
45 */
46