1 // { dg-do compile }
2 
3 // Copyright 2005 Free Software Foundation
4 // contributed by Alexandre Oliva <aoliva@redhat.com>
5 // inspired in the failure reported in Red Hat bugzilla #168260.
6 
bind(F f)7 template<class F> void bind(F f) {} // { dg-message "note" }
8 
bindm(F f)9 template<class F> void bindm(F f) {} // { dg-message "note" }
bindm(F (T::* f)(void))10 template<class F, class T> void bindm(F (T::*f)(void)) {} // { dg-message "note" }
11 
bindn(F f)12 template<class F> void bindn(F f) {}
bindn(F (* f)(T))13 template<class F, class T> void bindn(F (*f)(T)) {}
14 
bindb(F f)15 template<class F> void bindb(F f) {}
bindb(F (* f)(T))16 template<class F, class T> void bindb(F (*f)(T)) {} // { dg-message "note" }
bindb(F (T::* f)(void))17 template<class F, class T> void bindb(F (T::*f)(void)) {} // { dg-message "note" }
18 
19 struct foo {
20   static int baist;
21   int bait;			// { dg-message "" }
22   void barf ();
23   static void barf (int);
24 
25   struct bar {
26     static int baikst;
27     int baikt;
28     void bark ();
29     static void bark (int);
30 
barfoo::bar31     bar() {
32       bind (&baist);
33       bind (&foo::baist);
34       bind (&bait); // { dg-error "non-static data member" }
35       bind (&foo::bait);
36 
37       bind (&baikst);
38       bind (&bar::baikst);
39       bind (&baikt); // ok, this->baikt
40       bind (&bar::baikt);
41 
42       bind (&barf); // { dg-error "no matching function" }
43       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
44       bind (&foo::barf); // { dg-error "no matching function" }
45       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
46 
47       bindm (&barf); // { dg-error "no matching function" }
48       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
49       bindm (&foo::barf);
50 
51       bindn (&barf);
52       bindn (&foo::barf);
53 
54       bindb (&barf);
55       bindb (&foo::barf); // { dg-error "ambiguous" }
56 
57 
58       bind (&bark); // { dg-error "no matching function" }
59       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
60       bind (&bar::bark); // { dg-error "no matching function" }
61       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
62 
63       bindm (&bark); // { dg-error "no matching function" }
64       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
65       bindm (&bar::bark);
66 
67       bindn (&bark);
68       bindn (&bar::bark);
69 
70       bindb (&bark);
71       bindb (&bar::bark); // { dg-error "ambiguous" }
72 
73     }
74   };
75 
76   template <typename T>
77   struct barT {
78     static int baikst;
79     int baikt;
80     void bark ();
81     static void bark (int);
82 
barTfoo::barT83     barT() {
84       bind (&baist);
85       bind (&foo::baist);
86       bind (&bait); // { dg-error "non-static data member" }
87       bind (&foo::bait);
88 
89       bind (&baikst);
90       bind (&barT::baikst);
91       bind (&baikt); // ok, this->baikt
92       bind (&barT::baikt);
93 
94       bind (&barf); // { dg-error "no matching function" }
95       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
96       bind (&foo::barf); // { dg-error "no matching function" }
97       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
98 
99       bindm (&barf); // { dg-error "no matching function" }
100       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
101       bindm (&foo::barf);
102 
103       bindn (&barf);
104       bindn (&foo::barf);
105 
106       bindb (&barf);
107       bindb (&foo::barf); // { dg-error "ambiguous" }
108 
109 
110       bind (&bark); // { dg-error "no matching function" }
111       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
112       bind (&barT::bark); // { dg-error "no matching function" }
113       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
114 
115       bindm (&bark); // { dg-error "no matching function" }
116       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
117       bindm (&barT::bark);
118 
119       bindn (&bark);
120       bindn (&barT::bark);
121 
122       bindb (&bark);
123       bindb (&barT::bark); // { dg-error "ambiguous" }
124 
125     }
126   };
127 
128   bar bard;
129   barT<void> bart;
130 } bad;
131