136 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s2int foo(int);3 4namespace N {5 void f1() {6 void foo(int); // okay7 void bar(int); // expected-note 2{{previous declaration is here}}8 }9 10 void foo(int); // expected-note 3{{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 void f3() {30 int foo(float);31 {32 float foo(int); // expected-error {{functions that differ only in their return type cannot be overloaded}}33 }34 }35}36 37class A {38 void typocorrection(); // expected-note {{'typocorrection' declared here}}39};40 41void A::Notypocorrection() { // expected-error {{out-of-line definition of 'Notypocorrection' does not match any declaration in 'A'; did you mean 'typocorrection'}}42}43 44 45namespace test0 {46 void dummy() {47 void Bar(); // expected-note {{'Bar' declared here}}48 class A {49 friend void bar(); // expected-error {{cannot define friend function 'bar' in a local class definition; did you mean 'Bar'}}50 };51 }52}53 54 55class B {56 void typocorrection(const int); // expected-note {{'typocorrection' declared here}}57 void typocorrection(double);58};59 60void B::Notypocorrection(int) { // expected-error {{out-of-line definition of 'Notypocorrection' does not match any declaration in 'B'; did you mean 'typocorrection'}}61}62 63struct X { int f(); };64struct Y : public X {}; // expected-note {{defined here}}65int Y::f() { return 3; } // expected-error {{out-of-line definition of 'f' does not match any declaration in 'Y'}}66 67namespace test1 {68struct Foo {69 class Inner { };70};71}72 73class Bar { // expected-note {{defined here}}74 void f(test1::Foo::Inner foo) const; // expected-note {{member declaration does not match because it is const qualified}}75};76 77using test1::Foo;78 79void Bar::f(Foo::Inner foo) { // expected-error {{out-of-line definition of 'f' does not match any declaration in 'Bar'}}80 (void)foo;81}82 83class Crash { // expected-note {{defined here}}84 // expected-note@-1 {{defined here}}85 public:86 void GetCart(int count) const;87};88// This out-of-line definition was fine...89void Crash::cart(int count) const {} // expected-error {{out-of-line definition of 'cart' does not match any declaration in 'Crash'}}90// ...while this one crashed clang91void Crash::chart(int count) const {} // expected-error {{out-of-line definition of 'chart' does not match any declaration in 'Crash'}}92 93class TestConst { // expected-note {{defined here}}94 // expected-note@-1 {{defined here}}95 public:96 int getit() const; // expected-note {{member declaration does not match because it is const qualified}}97 void setit(int); // expected-note {{member declaration does not match because it is not const qualified}}98};99 100int TestConst::getit() { // expected-error {{out-of-line definition of 'getit' does not match any declaration in 'TestConst'}}101 return 1;102}103 104void TestConst::setit(int) const { // expected-error {{out-of-line definition of 'setit' does not match any declaration in 'TestConst'}}105}106 107struct J { int typo() const; }; // expected-note {{defined here}}108int J::typo_() { return 3; } // expected-error {{out-of-line definition of 'typo_' does not match any declaration in 'J'}}109 110// Ensure we correct the redecl of Foo::isGood to Bar::Foo::isGood and not111// Foo::IsGood even though Foo::IsGood is technically a closer match since it112// already has a body. Also make sure Foo::beEvil is corrected to Foo::BeEvil113// since it is a closer match than Bar::Foo::beEvil and neither have a body.114namespace redecl_typo {115namespace Foo {116 bool IsGood() { return false; }117 void BeEvil(); // expected-note {{'BeEvil' declared here}}118}119namespace Bar {120 namespace Foo {121 bool isGood(); // expected-note {{'Bar::Foo::isGood' declared here}}122 void beEvil();123 }124}125bool 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'?}}126 return true;127}128void Foo::beEvil() {} // expected-error {{out-of-line definition of 'beEvil' does not match any declaration in namespace 'redecl_typo::Foo'; did you mean 'BeEvil'?}}129}130 131struct CVQualFun { // expected-note {{defined here}}132 void func(int a, int &b); // expected-note {{type of 2nd parameter of member declaration does not match definition ('int &' vs 'int')}}133};134 135void CVQualFun::func(const int a, int b) {} // expected-error {{out-of-line definition of 'func' does not match any declaration in 'CVQualFun'}}136