1// RUN: %clang_cc1 -fsyntax-only -verify %s
2int foo(int);
3
4namespace N {
5  void f1() {
6    void foo(int); // okay
7    void bar(int); // expected-note 2{{previous declaration is here}}
8  }
9
10  void foo(int); // expected-note 2{{previous declaration is here}}
11
12  void f2() {
13    int foo(int); // expected-error {{functions that differ only in their return type cannot be overloaded}}
14    int bar(int); // expected-error {{functions that differ only in their return type cannot be overloaded}}
15    int baz(int); // expected-note {{previous declaration is here}}
16
17    {
18      int foo;
19      int bar;
20      int baz;
21      {
22        float foo(int); // expected-error {{functions that differ only in their return type cannot be overloaded}}
23        float bar(int); // expected-error {{functions that differ only in their return type cannot be overloaded}}
24        float baz(int); // expected-error {{functions that differ only in their return type cannot be overloaded}}
25      }
26    }
27  }
28}
29
30class A {
31 void typocorrection(); // expected-note {{'typocorrection' declared here}}
32};
33
34void A::Notypocorrection() { // expected-error {{out-of-line definition of 'Notypocorrection' does not match any declaration in 'A'; did you mean 'typocorrection'}}
35}
36
37
38namespace test0 {
39  void dummy() {
40    void Bar(); // expected-note {{'Bar' declared here}}
41    class A {
42      friend void bar(); // expected-error {{no matching function 'bar' found in local scope; did you mean 'Bar'}}
43    };
44  }
45}
46
47
48class B {
49 void typocorrection(const int); // expected-note {{'typocorrection' declared here}}
50 void typocorrection(double);
51};
52
53void B::Notypocorrection(int) { // expected-error {{out-of-line definition of 'Notypocorrection' does not match any declaration in 'B'; did you mean 'typocorrection'}}
54}
55
56struct X { int f(); };
57struct Y : public X {};
58int Y::f() { return 3; } // expected-error {{out-of-line definition of 'f' does not match any declaration in 'Y'}}
59
60namespace test1 {
61struct Foo {
62  class Inner { };
63};
64}
65
66class Bar {
67  void f(test1::Foo::Inner foo) const; // expected-note {{member declaration does not match because it is const qualified}}
68};
69
70using test1::Foo;
71
72void Bar::f(Foo::Inner foo) { // expected-error {{out-of-line definition of 'f' does not match any declaration in 'Bar'}}
73  (void)foo;
74}
75
76class Crash {
77 public:
78  void GetCart(int count) const;
79};
80// This out-of-line definition was fine...
81void Crash::cart(int count) const {} // expected-error {{out-of-line definition of 'cart' does not match any declaration in 'Crash'}}
82// ...while this one crashed clang
83void Crash::chart(int count) const {} // expected-error {{out-of-line definition of 'chart' does not match any declaration in 'Crash'}}
84
85class TestConst {
86 public:
87  int getit() const; // expected-note {{member declaration does not match because it is const qualified}}
88  void setit(int); // expected-note {{member declaration does not match because it is not const qualified}}
89};
90
91int TestConst::getit() { // expected-error {{out-of-line definition of 'getit' does not match any declaration in 'TestConst'}}
92  return 1;
93}
94
95void TestConst::setit(int) const { // expected-error {{out-of-line definition of 'setit' does not match any declaration in 'TestConst'}}
96}
97
98struct J { int typo() const; };
99int J::typo_() { return 3; } // expected-error {{out-of-line definition of 'typo_' does not match any declaration in 'J'}}
100
101// Ensure we correct the redecl of Foo::isGood to Bar::Foo::isGood and not
102// Foo::IsGood even though Foo::IsGood is technically a closer match since it
103// already has a body. Also make sure Foo::beEvil is corrected to Foo::BeEvil
104// since it is a closer match than Bar::Foo::beEvil and neither have a body.
105namespace redecl_typo {
106namespace Foo {
107  bool IsGood() { return false; }
108  void BeEvil(); // expected-note {{'BeEvil' declared here}}
109}
110namespace Bar {
111  namespace Foo {
112    bool isGood(); // expected-note {{'Bar::Foo::isGood' declared here}}
113    void beEvil();
114  }
115}
116bool Foo::isGood() { // expected-error {{out-of-line definition of 'isGood' does not match any declaration in namespace 'redecl_typo::Foo'; did you mean 'Bar::Foo::isGood'?}}
117  return true;
118}
119void Foo::beEvil() {} // expected-error {{out-of-line definition of 'beEvil' does not match any declaration in namespace 'redecl_typo::Foo'; did you mean 'BeEvil'?}}
120}
121