Home | History | Annotate | Download | only in Sema 
      1 // RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -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() {
      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); // expected-note{{previous declaration is here}}
     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);
     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 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() {
    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'}}
    134