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