test/Sema/function-redecl.c

   1 // RUN: clang-cc -fsyntax-only -verify %s
   2
   3 // PR3588
   4 void g0(int, int);
   5 void g0(); // expected-note{{previous declaration is here}}
   6
   7 void f0() {
   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() {
  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() {
  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);
  66 int outer5; // expected-note{{previous definition is here}}
  67 int *outer7(int);
  68
  69 void outer_test() {
  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); // expected-note{{previous declaration is here}}
  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() {
  92   int *(*fp)(int) = outer8; // expected-error{{use of undeclared identifier 'outer8'}}
  93 }
  94
  95 static float outer8(float); // okay
  96
  97 enum e { e1, e2 };
  98
  99 // GNU extension: prototypes and K&R function definitions
 100 int isroot(short x, // expected-note{{previous declaration is here}}
 101            enum e);
 102
 103 int isroot(x, y)
 104      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}}
 105      unsigned int y;
 106 {
 107   return x == 1;
 108 }
 109
 110 // PR3817
 111 void *h0(unsigned a0,     ...);
 112 extern __typeof (h0) h1 __attribute__((__sentinel__));
 113 extern __typeof (h1) h1 __attribute__((__sentinel__));
 114
 115 // PR3840
 116 void i0 (unsigned short a0);
 117 extern __typeof (i0) i1;
 118 extern __typeof (i1) i1;
 119
 120 typedef int a();
 121 typedef int a2(int*);
 122 a x;
 123 a2 x2;
 124 void test_x() {
 125   x(5);
 126   x2(5); // expected-warning{{incompatible integer to pointer conversion passing 'int', expected 'int *'}}
 127 }