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