reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52

// RUN: %clang_cc1 -fsyntax-only -verify %s

// Make sure that copy constructors and assignment operators are properly 
// generated when there is a matching 

// PR5072
template<typename T>
struct X {
  template<typename U> 
  X(const X<U>& other) 
    : value(other.value + 1) { } // expected-error{{binary expression}}

  template<typename U> 
  X& operator=(const X<U>& other)  {
    value = other.value + 1; // expected-error{{binary expression}}
    return *this;
  }
  
  T value;
};

struct Y {};

X<int Y::*> test0(X<int Y::*> x) { return x; }
X<int> test1(X<long> x) { return x; }


X<int> test2(X<int Y::*> x) { 
  return x; // expected-note{{instantiation}}
}

void test3(X<int> &x, X<int> xi, X<long> xl, X<int Y::*> xmptr) {
  x = xi;
  x = xl;
  x = xmptr; // expected-note{{instantiation}}
}

struct X1 {
  X1 &operator=(const X1&);
};

template<typename T>
struct X2 : X1 {
  template<typename U> X2 &operator=(const U&);
};

struct X3 : X2<int> {
};

void test_X2(X3 &to, X3 from) {
  to = from;
}