Home | History | Annotate | Download | only in SemaCXX 
      1 // RUN: %clang_cc1 -fsyntax-only -verify %s
      2 int foo(int);
      3 
      4 namespace N {
      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 
     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 
     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 {
     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 
     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 {};
     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 
     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...
     79 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
     81 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 
     89 int TestConst::getit() { // expected-error {{out-of-line definition of 'getit' does not match any declaration in 'TestConst'}}
     90   return 1;
     91 }
     92 
     93 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; };
     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 {
    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 }
    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 }
    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