clang/test/C/drs/dr157.c

   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 */
  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;
  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  */