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