blob: ad06be33aa2beccfdab17c903e1ae9591c3f7ab0 [file] [log] [blame]
Daniel Dunbara5728872009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Douglas Gregor4a2487a2009-05-19 00:38:01 +00002
3namespace N1 {
4 struct X0 { };
5
6 int& f0(X0);
7}
8
9namespace N2 {
10 char& f0(char);
11
12 template<typename T, typename Result>
13 struct call_f0 {
14 void test_f0(T t) {
15 Result result = f0(t);
16 }
17 };
18}
19
20template struct N2::call_f0<int, char&>;
21template struct N2::call_f0<N1::X0, int&>;
22
23namespace N3 {
24 template<typename T, typename Result>
25 struct call_f0 {
26 void test_f0(T t) {
John McCall578b69b2009-12-16 08:11:27 +000027 Result &result = f0(t); // expected-error 2{{undeclared identifier}}
Douglas Gregor4a2487a2009-05-19 00:38:01 +000028 }
29 };
30}
31
32template struct N3::call_f0<int, char&>; // expected-note{{instantiation}}
33template struct N3::call_f0<N1::X0, int&>;
34
35short& f0(char);
36namespace N4 {
37 template<typename T, typename Result>
38 struct call_f0 {
39 void test_f0(T t) {
40 Result &result = f0(t);
41 }
42 };
43}
44
45template struct N4::call_f0<int, short&>;
46template struct N4::call_f0<N1::X0, int&>;
47template struct N3::call_f0<int, short&>; // expected-note{{instantiation}}
48
49// FIXME: test overloaded function call operators, calls to member
50// functions, etc.