[Bug c++/24986] New: g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[Bug c++/24986] New: g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[relf at os2 dot ru]

g++ (GCC) 4.0.3 20051111 (prerelease) (Debian 4.0.2-4)

g++ fails to compile the attached program with the following error

$ g++ bug.cpp
bug.cpp: In member function 'void B::foo(N::C)':
bug.cpp:12: error: cannot convert 'N::C' to 'long int' for argument '1' to
'void foo(long int)'

Note that removing namespace enclosure make the program compile fine.


-- 
           Summary: g++ is confused when function is defined inside and
                    outside some namespace and called with '::' prefix
           Product: gcc
           Version: 4.0.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: relf at os2 dot ru


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24986

[Bug c++/24986] g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[relf at os2 dot ru]

------- Comment #1 from relf at os2 dot ru  2005-11-22 04:33 -------
Created an attachment (id=10318)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10318&action=view)
Testcase (bug.cpp)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24986

[Bug c++/24986] g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2005-11-22 05:13 -------
I don't think this is a bug as what is happening is that :: is a qualified name
and qualified namelookup (IIRC) does not find decls which are injected via
using.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24986

[Bug c++/24986] g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[relf at os2 dot ru]

------- Comment #3 from relf at os2 dot ru  2005-11-22 12:10 -------
(In reply to comment #2)
> I don't think this is a bug as what is happening is that :: is a qualified name
> and qualified namelookup (IIRC) does not find decls which are injected via
> using.
> 

It does find. The following program (where `foo(long)` is commented out) is
compiled fine.

===
namespace N {
  class C {};
  void foo(C) {};
}
using namespace N;

/* void foo(long) {}; */

class B {
public:
/*  void foo(long l) { ::foo(l); }; */
  void foo(C c) { ::foo(c); };
};

int main() {
  B b;
  return 0;
}
===


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24986

[Bug c++/24986] g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[bangerth at dealii dot org]

------- Comment #4 from bangerth at dealii dot org  2005-11-23 05:31 -------
I don't have chapter and verse to justify this, but icc and gcc agree
that they should reject this code
--------------
namespace N {
  class C {};
  void foo(C) {};
}
using namespace N;

void foo(long) {};

void bar() { C c; ::foo(c); };
---------------------
while they both accept the code with ::foo(long) removed:
---------------------
namespace N {
  class C {};
  void foo(C) {};
}
using namespace N;

void bar() { C c; ::foo(c); };
---------------------

One may certainly be tempted to find this confusing.

W.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24986

[Bug c++/24986] g++ is confused when function is defined inside and outside some namespace and called with '::' prefix

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24986

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|gcc-bugs at gcc dot gnu.org |
         Resolution|                            |INVALID

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-12-22 18:15:19 UTC ---
Closing.