summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/template/unify10.C
blob: 8dc434b7577205a2058277687968a6cdd9a6a0c7 (plain)
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
53
54
55
56
57
58
59
60
// { dg-do compile }
// Origin: Wolfgang Bangerth <bangerth at ticam dot utexas dot edu>
//     and Rene Fonseca <fonseca at mip dot sdu dot dk>
// PR c++/8271: Check cv-qualifiers while unifying pointer to member
//  functions.

struct MyClass {
  void mMethod() throw() {}
  void cMethod() const throw() {}
  void vMethod() volatile throw() {}
  void cvMethod() const volatile throw() {}
};

template<class CLASS>
void mFunction(void (CLASS::* method)()) {} // { dg-message "note" }

template<class CLASS>
void cFunction(void (CLASS::* method)() const) {} // { dg-message "note" }

template<class CLASS>
void vFunction(void (CLASS::* method)() volatile) {} // { dg-message "note" }

template<class CLASS>
void cvFunction(void (CLASS::* method)() const volatile) {} // { dg-message "note" }

int main() {
  mFunction(&MyClass::mMethod);
  mFunction(&MyClass::cMethod);    // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 28 }
  mFunction(&MyClass::vMethod);    // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 30 }
  mFunction(&MyClass::cvMethod);   // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 32 }

  cFunction(&MyClass::mMethod);    // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 35 }
  cFunction(&MyClass::cMethod);
  cFunction(&MyClass::vMethod);    // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 38 }
  cFunction(&MyClass::cvMethod);   // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 40 }

  vFunction(&MyClass::mMethod);    // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 43 }
  vFunction(&MyClass::cMethod);    // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 45 }
  vFunction(&MyClass::vMethod);
  vFunction(&MyClass::cvMethod);   // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 48 }

  cvFunction(&MyClass::mMethod);   // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 51 }
  cvFunction(&MyClass::cMethod);   // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 53 }
  cvFunction(&MyClass::vMethod);   // { dg-error "no matching function" }
  // { dg-message "candidate" "candidate note" { target *-*-* } 55 }
  cvFunction(&MyClass::cvMethod);

  return 0;
}