[Bug c++/28093] New: Wrong overload resolution with templates and namespaces

[Bug c++/28093] New: Wrong overload resolution with templates and namespaces

[joerg dot richter at pdv-fs dot de]

$ cat t.cc
#include <cstdio>
using namespace std;

namespace ident {
template<class T> void
foo( T*, void* )
{
  printf( "generic\n" );
}
}
using namespace ident;

template<class T> void func( T& val )
{
  foo( &val, (T*)0 );
}

struct Base
{};

struct Deriv : public Base
{};

namespace ident {

template<class T> void
foo( T* val, Base* )
{
  printf( "special\n" );
}

}

int main()
{
  Deriv d;
  func( d );
}


$ g++ -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /tools/inst/jrichter/tmp.evo1.18630/gcc-4.1.1/configure
--prefix=/tools/pkg/gcc/4.1.1 --enable-languages=c,c++ --disable-threads
Thread model: single
gcc version 4.1.1

$ g++ -o t t.cc
$ t
generic

While GCC 3.4.3 outputs "special"


-- 
           Summary: Wrong overload resolution with templates and namespaces
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: joerg dot richter at pdv-fs dot de


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

[Bug c++/28093] Wrong overload resolution with templates and namespaces

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-06-20 15:57 -------
No, this is invalid, as both Base and Deriv are in the global namespace so the
ident namespace is not looked at again after the parsing of the template.  If
either of them were in the ident namespace, GCC will look back  into the ident
namespace for argument dependent lookup.
So what is happening here is that an overloaded set for foo is being generated
when func is parsed and then it is instainated, a secondary overloaded set is
generated for argument dependent lookup which is only within the namespace
where the type is defined.

3.4 was incorrect in calling generic and did not conform to the standard at
all.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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

[Bug c++/28093] Wrong overload resolution with templates and namespaces

[bdavis at gcc dot gnu dot org]

------- Comment #2 from bdavis at gcc dot gnu dot org  2009-08-23 02:20 -------
Subject: Bug 28093

Author: bdavis
Date: Sun Aug 23 02:19:59 2009
New Revision: 151021

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=151021
Log:
2009-08-22      Bud Davis <bdavis9659@sbcglobal.net>

        PR fortran/28093
        * io.c : added variable to store original len of fmt
        * io.c (check_format): Consume H items using next_char
        in both modes to handle consecutive single quotes.
        Test for extra characters in fmt, issue warning.

2009-08-22  Bud Davis  <bdavis9659@sbcglobal.net>

        PR fortran/28039
        * gfortran.dg/fmt_with_extra.f: new file.



Added:
    trunk/gcc/testsuite/gfortran.dg/fmt_with_extra.f
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/io.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/28093] Wrong overload resolution with templates and namespaces

[bdavis at gcc dot gnu dot org]

------- Comment #3 from bdavis at gcc dot gnu dot org  2009-08-26 02:18 -------
Subject: Bug 28093

Author: bdavis
Date: Wed Aug 26 02:18:14 2009
New Revision: 151112

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=151112
Log:
2009-08-22      Bud Davis <bdavis9659@sbcglobal.net>

         PR fortran/28093
         * io.c: reverted previous patch



Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/io.c


-- 


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

[Bug c++/28093] Wrong overload resolution with templates and namespaces

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2009-08-27 12:05 -------
For completeness, the committal was for PR fortran/28039


-- 


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