clang/test/Sema/function-redecl.c

   1 // RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -Wno-strict-prototypes -verify %s
   2
   3 // PR3588
   4 void g0(int, int);
   5 void g0(); // expected-note{{previous declaration is here}} expected-note{{'g0' declared here}}
   6
   7 void f0(void) {
   8   g0(1, 2, 3); // expected-error{{too many arguments to function call}}
   9 }
  10
  11 void g0(int); // expected-error{{conflicting types for 'g0'}}
  12
  13 int g1(int, int);
  14
  15 typedef int INT;
  16
  17 INT g1(x, y)
  18      int x;
  19      int y;
  20 {
  21   return x + y;
  22 }
  23
  24 int g2(int, int); // expected-note{{previous declaration is here}}
  25
  26 INT g2(x) // expected-error{{conflicting types for 'g2'}}
  27      int x;
  28 {
  29   return x;
  30 }
  31
  32 void test(void) {
  33   int f1;
  34   {
  35     void f1(double);
  36     {
  37       void f1(double); // expected-note{{previous declaration is here}}
  38       {
  39         int f1(int); // expected-error{{conflicting types for 'f1'}}
  40       }
  41     }
  42   }
  43 }
  44
  45 extern void g3(int); // expected-note{{previous declaration is here}}
  46 static void g3(int x) { } // expected-error{{static declaration of 'g3' follows non-static declaration}}
  47
  48 void test2(void) {
  49   extern int f2; // expected-note 2 {{previous definition is here}}
  50   {
  51     void f2(int); // expected-error{{redefinition of 'f2' as different kind of symbol}}
  52   }
  53
  54   {
  55     int f2;
  56     {
  57       void f2(int); // expected-error{{redefinition of 'f2' as different kind of symbol}}
  58     }
  59   }
  60 }
  61
  62 // <rdar://problem/6127293>
  63 int outer1(int); // expected-note{{previous declaration is here}}
  64 struct outer3 { };
  65 int outer4(int); // expected-note{{previous declaration is here}}
  66 int outer5; // expected-note{{previous definition is here}}
  67 int *outer7(int);
  68
  69 void outer_test(void) {
  70   int outer1(float); // expected-error{{conflicting types for 'outer1'}}
  71   int outer2(int); // expected-note{{previous declaration is here}}
  72   int outer3(int); // expected-note{{previous declaration is here}}
  73   int outer4(int);
  74   int outer5(int); // expected-error{{redefinition of 'outer5' as different kind of symbol}}
  75   int* outer6(int); // expected-note{{previous declaration is here}}
  76   int *outer7(int);
  77   int outer8(int);
  78
  79   int *ip7 = outer7(6);
  80 }
  81
  82 int outer2(float); // expected-error{{conflicting types for 'outer2'}}
  83 int outer3(float); // expected-error{{conflicting types for 'outer3'}}
  84 int outer4(float); // expected-error{{conflicting types for 'outer4'}}
  85
  86 void outer_test2(int x) {
  87   int* ip = outer6(x); // expected-warning{{use of out-of-scope declaration of 'outer6'}}
  88   int *ip2 = outer7(x);
  89 }
  90
  91 void outer_test3(void) {
  92   int *(*fp)(int) = outer8; // expected-error{{use of undeclared identifier 'outer8'}}
  93 }
  94
  95 enum e { e1, e2 };
  96
  97 // GNU extension: prototypes and K&R function definitions
  98 int isroot(short x, // expected-note{{previous declaration is here}}
  99            enum e);
 100
 101 int isroot(x, y)
 102      short x; // expected-warning{{promoted type 'int' of K&R function parameter is not compatible with the parameter type 'short' declared in a previous prototype}}
 103      unsigned int y;
 104 {
 105   return x == 1;
 106 }
 107
 108 // PR3817
 109 void *h0(unsigned a0,     ...);
 110 extern __typeof (h0) h1 __attribute__((__sentinel__));
 111 extern __typeof (h1) h1 __attribute__((__sentinel__));
 112
 113 // PR3840
 114 void i0 (unsigned short a0);
 115 extern __typeof (i0) i1;
 116 extern __typeof (i1) i1;
 117
 118 typedef int a();
 119 typedef int a2(int*);
 120 a x;
 121 a2 x2; // expected-note{{passing argument to parameter here}}
 122 void test_x(void) {
 123   x(5);
 124   x2(5); // expected-warning{{incompatible integer to pointer conversion passing 'int' to parameter of type 'int *'}}
 125 }
 126
 127 enum e0 {one};
 128 void f3();
 129 void f3(enum e0 x) {}
 130
 131 enum incomplete_enum;
 132 void f4(); // expected-note {{previous declaration is here}}
 133 void f4(enum incomplete_enum); // expected-error {{conflicting types for 'f4'}}