p2.cpp revision 5862f0e1ac29c5af8089b4bf119fd4493f6ab58c
1ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdoch// RUN: %clang_cc1 -fsyntax-only -verify %s 25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace N { 45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) struct X { }; 55d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles) 65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) X operator+(X, X); 75821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 85821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void f(X); 95821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void g(X); // expected-note{{candidate function}} 105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void test_multiadd(X x) { 125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) (void)(x + x); 135d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles) } 145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 15ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdoch 165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace M { 17ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdoch struct Y : N::X { }; 185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 20ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdochvoid f(); // expected-note 2 {{'f' declared here}} 215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 22ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdochvoid test_operator_adl(N::X x, M::Y y) { 235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) (void)(x + x); 245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) (void)(y + y); 255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void test_func_adl(N::X x, M::Y y) { 285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) f(x); 29ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdoch f(y); 30ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdoch (f)(x); // expected-error{{too many arguments to function call}} 315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ::f(x); // expected-error{{too many arguments to function call}} 325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 34ba5b9a6411cb1792fd21f0a078d7a25cd1ceec16Ben Murdochnamespace N { 355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void test_multiadd2(X x) { 365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) (void)(x + x); 375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 402a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles) 415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void test_func_adl_only(N::X x) { 425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) g(x); 435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace M { 465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) int g(N::X); // expected-note{{candidate function}} 475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void test(N::X x) { 495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) g(x); // expected-error{{call to 'g' is ambiguous; candidates are:}} 505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) int i = (g)(x); 515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) int g(N::X); 535d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles) g(x); // okay; calls locally-declared function, no ADL 54 } 55} 56 57 58void test_operator_name_adl(N::X x) { 59 (void)operator+(x, x); 60} 61 62struct Z { }; 63int& f(Z); 64 65namespace O { 66 char &f(); 67 void test_global_scope_adl(Z z) { 68 { 69 int& ir = f(z); 70 } 71 } 72} 73 74extern "C" { 75 struct L { }; 76} 77 78void h(L); // expected-note{{candidate function}} 79 80namespace P { 81 void h(L); // expected-note{{candidate function}} 82 void test_transparent_context_adl(L l) { 83 { 84 h(l); // expected-error {{call to 'h' is ambiguous}} 85 } 86 } 87} 88 89namespace test5 { 90 namespace NS { 91 struct A; 92 void foo(void (*)(A&)); 93 } 94 void bar(NS::A& a); 95 96 void test() { 97 foo(&bar); 98 } 99} 100 101// PR6762: __builtin_va_list should be invisible to ADL on all platforms. 102void test6_function(__builtin_va_list &argv); 103namespace test6 { 104 void test6_function(__builtin_va_list &argv); 105 106 void test() { 107 __builtin_va_list args; 108 test6_function(args); 109 } 110} 111