PR c++/86728 - C variadic generic lambda.
[official-gcc.git] / gcc / testsuite / g++.dg / template / dependent-expr5.C
blob85d91cfcb6fa8d4d71269cc0cf884aa6c95aa3f9
1 // { dg-do compile }
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.
7 template<class F> void bind(F f) {} // { dg-message "note" }
9 template<class F> void bindm(F f) {} // { dg-message "note" }
10 template<class F, class T> void bindm(F (T::*f)(void)) {} // { dg-message "note" }
12 template<class F> void bindn(F f) {}
13 template<class F, class T> void bindn(F (*f)(T)) {}
15 template<class F> void bindb(F f) {}
16 template<class F, class T> void bindb(F (*f)(T)) {} // { dg-message "note" }
17 template<class F, class T> void bindb(F (T::*f)(void)) {} // { dg-message "note" }
19 struct foo {
20   static int baist;
21   int bait;                     // { dg-message "" }
22   void barf ();
23   static void barf (int);
25   struct bar {
26     static int baikst;
27     int baikt;
28     void bark ();
29     static void bark (int);
31     bar() {
32       bind (&baist);
33       bind (&foo::baist);
34       bind (&bait); // { dg-error "non-static data member" }
35       bind (&foo::bait);
37       bind (&baikst);
38       bind (&bar::baikst);
39       bind (&baikt); // ok, this->baikt
40       bind (&bar::baikt);
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 }
47       bindm (&barf); // { dg-error "no matching function" }
48       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
49       bindm (&foo::barf);
51       bindn (&barf);
52       bindn (&foo::barf);
54       bindb (&barf);
55       bindb (&foo::barf); // { dg-error "ambiguous" }
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 }
63       bindm (&bark); // { dg-error "no matching function" }
64       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
65       bindm (&bar::bark);
67       bindn (&bark);
68       bindn (&bar::bark);
70       bindb (&bark);
71       bindb (&bar::bark); // { dg-error "ambiguous" }
73     }
74   };
76   template <typename T>
77   struct barT {
78     static int baikst;
79     int baikt;
80     void bark ();
81     static void bark (int);
83     barT() {
84       bind (&baist);
85       bind (&foo::baist);
86       bind (&bait); // { dg-error "non-static data member" }
87       bind (&foo::bait);
89       bind (&baikst);
90       bind (&barT::baikst);
91       bind (&baikt); // ok, this->baikt
92       bind (&barT::baikt);
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 }
99       bindm (&barf); // { dg-error "no matching function" }
100       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
101       bindm (&foo::barf);
103       bindn (&barf);
104       bindn (&foo::barf);
106       bindb (&barf);
107       bindb (&foo::barf); // { dg-error "ambiguous" }
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 }
115       bindm (&bark); // { dg-error "no matching function" }
116       // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
117       bindm (&barT::bark);
119       bindn (&bark);
120       bindn (&barT::bark);
122       bindb (&bark);
123       bindb (&barT::bark); // { dg-error "ambiguous" }
125     }
126   };
128   bar bard;
129   barT<void> bart;
130 } bad;