Home | History | Annotate | Download | only in SemaCXX
      1 // RUN: %clang_cc1 -Wno-int-to-pointer-cast -fsyntax-only -verify -pedantic-errors %s
      2 // RUN: %clang_cc1 -Wno-int-to-pointer-cast -fsyntax-only -verify -pedantic-errors -x objective-c++ %s
      3 
      4 void f() {
      5   int a;
      6   struct S { int m; };
      7   typedef S *T;
      8 
      9   // Expressions.
     10   T(a)->m = 7;
     11   int(a)++; // expected-error {{assignment to cast is illegal}}
     12   __extension__ int(a)++; // expected-error {{assignment to cast is illegal}}
     13   __typeof(int)(a,5)<<a; // expected-error {{excess elements in scalar initializer}}
     14   void(a), ++a;
     15   if (int(a)+1) {}
     16   for (int(a)+1;;) {} // expected-warning {{expression result unused}}
     17   a = sizeof(int()+1);
     18   a = sizeof(int(1));
     19   typeof(int()+1) a2; // expected-error {{extension used}}
     20   (int(1)); // expected-warning {{expression result unused}}
     21 
     22   // type-id
     23   (int())1; // expected-error {{C-style cast from 'int' to 'int ()' is not allowed}}
     24 
     25   // Declarations.
     26   int fd(T(a)); // expected-warning {{disambiguated as a function declaration}} expected-note{{add a pair of parentheses}}
     27   T(*d)(int(p)); // expected-note {{previous}}
     28   typedef T td(int(p));
     29   extern T tp(int(p));
     30   T d3(); // expected-warning {{empty parentheses interpreted as a function declaration}} expected-note {{replace parentheses with an initializer}}
     31   T d3v(void);
     32   typedef T d3t();
     33   extern T f3();
     34   __typeof(*T()) f4(); // expected-warning {{empty parentheses interpreted as a function declaration}} expected-note {{replace parentheses with an initializer}}
     35   typedef void *V;
     36   __typeof(*V()) f5(); // expected-error {{ISO C++ does not allow indirection on operand of type 'V' (aka 'void *')}}
     37   T multi1,
     38     multi2(); // expected-warning {{empty parentheses interpreted as a function declaration}} expected-note {{replace parentheses with an initializer}}
     39   T(d)[5]; // expected-error {{redefinition of 'd'}}
     40   typeof(int[])(f) = { 1, 2 }; // expected-error {{extension used}}
     41   void(b)(int);
     42   int(d2) __attribute__(());
     43   if (int(a)=1) {}
     44   int(d3(int()));
     45 }
     46 
     47 struct RAII {
     48   RAII();
     49   ~RAII();
     50 };
     51 
     52 void func();
     53 void func2(short);
     54 namespace N {
     55   struct S;
     56 
     57   void emptyParens() {
     58     RAII raii(); // expected-warning {{function declaration}} expected-note {{remove parentheses to declare a variable}}
     59     int a, b, c, d, e, // expected-note {{change this ',' to a ';' to call 'func'}}
     60     func(); // expected-warning {{function declaration}} expected-note {{replace parentheses with an initializer}}
     61 
     62     S s(); // expected-warning {{function declaration}}
     63   }
     64   void nonEmptyParens() {
     65     int f = 0, // g = 0; expected-note {{change this ',' to a ';' to call 'func2'}}
     66     func2(short(f)); // expected-warning {{function declaration}} expected-note {{add a pair of parentheses}}
     67   }
     68 }
     69 
     70 class C { };
     71 void fn(int(C)) { } // void fn(int(*fp)(C c)) { } expected-note{{candidate function}}
     72                     // not: void fn(int C);
     73 int g(C);
     74 
     75 void foo() {
     76   fn(1); // expected-error {{no matching function}}
     77   fn(g); // OK
     78 }
     79 
     80 namespace PR11874 {
     81 void foo(); // expected-note 3 {{class 'foo' is hidden by a non-type declaration of 'foo' here}}
     82 class foo {};
     83 class bar {
     84   bar() {
     85     const foo* f1 = 0; // expected-error {{must use 'class' tag to refer to type 'foo' in this scope}}
     86     foo* f2 = 0; // expected-error {{must use 'class' tag to refer to type 'foo' in this scope}}
     87     foo f3; // expected-error {{must use 'class' tag to refer to type 'foo' in this scope}}
     88   }
     89 };
     90 
     91 int baz; // expected-note 2 {{class 'baz' is hidden by a non-type declaration of 'baz' here}}
     92 class baz {};
     93 void fizbin() {
     94   const baz* b1 = 0; // expected-error {{must use 'class' tag to refer to type 'baz' in this scope}}
     95   baz* b2; // expected-error {{use of undeclared identifier 'b2'}}
     96   baz b3; // expected-error {{must use 'class' tag to refer to type 'baz' in this scope}}
     97 }
     98 }
     99