clang/test/CXX/special/class.ctor/p1.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 struct X0 {
   4   struct type { };
   5
   6   X0();
   7   X0(int);
   8   (X0)(float);
   9   X0 (f0)(int);
  10   X0 (f0)(type);
  11
  12   X0 f1();
  13   X0 f1(double);
  14 };
  15
  16 X0::X0() { }
  17 (X0::X0)(int) { }
  18
  19 X0 (X0::f0)(int) { return X0(); }
  20
  21 template<typename T>
  22 struct X1 {
  23   struct type { };
  24
  25   X1<T>();
  26   X1<T>(int);
  27   (X1<T>)(float);
  28   X1(float, float);
  29   (X1)(double);
  30   X1<T> (f0)(int);
  31   X1<T> (f0)(type);
  32   X1 (f1)(int);
  33   X1 (f1)(type);
  34
  35   template<typename U> X1(U);
  36   X1 f2();
  37   X1 f2(int);
  38 };
  39
  40 template<typename T> X1<T>::X1() { }
  41 template<typename T> (X1<T>::X1)(double) { }
  42 template<typename T> X1<T> X1<T>::f1(int) { return 0; }
  43 template<typename T> X1<T> (X1<T>::f1)(type) { return 0; }
  44
  45 class X2 {
  46   X2::X2(); // expected-error {{extra qualification on member 'X2'}}
  47 };
  48
  49 // We used to parse 'X3::X3' as a member function declaration.
  50 // DR 1435 and DR 1310 made this invalid.
  51 typedef int T1;
  52 struct X3 {
  53   X3::X3(T1()); // expected-error {{extra qualification on member 'X3'}}
  54 };
  55