blob: 14a21329988d122761e5979e4369128ca9cca7af (
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
|
// Testcase for printing typename/typedef bindings as well as template args
// in diagnostics (PR c++/25185)
template <class T>
struct A {
typename T::type f(); // { dg-message "typename T::type = void*" }
void f(int i = 0); // { dg-message "" }
typedef typename T::type mytype;
mytype g(); // { dg-message "mytype = void*" }
void g(int i = 0); // { dg-message "" }
};
struct B
{
typedef void* type;
};
// Also make sure that deduced template arguments get canonicalized.
template <class T>
void f (T &t); // { dg-message "T = int" }
template <class T>
void f (T &t, int = 0); // { dg-message "" }
typedef int myint;
myint i;
myint *p;
int main()
{
A<B> a;
a.f(); // { dg-error "" }
// { dg-message "candidate" "candidate note" { target *-*-* } 34 }
a.g(); // { dg-error "" }
// { dg-message "candidate" "candidate note" { target *-*-* } 36 }
f(i); // { dg-error "" }
// { dg-message "candidate" "candidate note" { target *-*-* } 39 }
f(p); // { dg-error "" }
// { dg-message "candidate" "candidate note" { target *-*-* } 41 }
}
|
