Home | History | Annotate | Download | only in SemaCXX
      1 // RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s
      2 
      3 // [dcl.ambig.res]p1:
      4 struct S {
      5   S(int);
      6   void bar();
      7 };
      8 
      9 int returns_an_int();
     10 
     11 void foo(double a)
     12 {
     13   S w(int(a)); // expected-warning{{disambiguated}}
     14   w(17);
     15   S x1(int()); // expected-warning{{disambiguated}}
     16   x1(&returns_an_int);
     17   S y((int)a);
     18   y.bar();
     19   S z = int(a);
     20   z.bar();
     21 }
     22 
     23 // [dcl.ambig.res]p3:
     24 char *p;
     25 void *operator new(__SIZE_TYPE__, int);
     26 void foo3() {
     27   const int x = 63;
     28   new (int(*p)) int; //new-placement expression
     29   new (int(*[x])); //new type-id
     30 }
     31 
     32 // [dcl.ambig.res]p4:
     33 template <class T>  // expected-note{{here}}
     34 struct S4 {
     35   T *p;
     36 };
     37 S4<int()> x; //type-id
     38 S4<int(1)> y; // expected-error{{must be a type}}
     39 
     40 // [dcl.ambig.res]p5:
     41 void foo5()
     42 {
     43   (void)sizeof(int(1)); //expression
     44   // FIXME: should we make this an error rather than a warning?
     45   // (It affects SFINAE)
     46   (void)sizeof(int()); // expected-warning{{function type}}
     47 }
     48 
     49 // [dcl.ambig.res]p6:
     50 void foo6()
     51 {
     52   (void)(int(1)); //expression
     53   (void)(int())1; // expected-error{{to 'int ()'}}
     54 }
     55 
     56 // [dcl.ambig.res]p7:
     57 class C7 { };
     58 void f7(int(C7)) { } // expected-note{{candidate}}
     59 int g7(C7);
     60 void foo7() {
     61   f7(1); // expected-error{{no matching function}}
     62   f7(g7); //OK
     63 }
     64 
     65 void h7(int *(C7[10])) { } // expected-note{{previous}}
     66 void h7(int *(*_fp)(C7 _parm[10])) { } // expected-error{{redefinition}}
     67 
     68 struct S5 {
     69   static bool const value = false;
     70 };
     71 int foo8() {
     72   int v(int(S5::value)); // expected-warning{{disambiguated}} expected-error{{parameter declarator cannot be qualified}}
     73 }
     74 
     75 template<typename T>
     76 void rdar8739801( void (T::*)( void ) __attribute__((unused)) );
     77