[Bug c++/14242] New: [3.4 regression] symbol lookup in templates

[Bug c++/14242] New: [3.4 regression] symbol lookup in templates

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/233934]

code compiles ok with 3.3.3, not with 3.4 CVS 20040221

g++-3.4 bug-233934.cc 
bug-233934.cc: In function `void foo() [with T = double]':
bug-233934.cc:14:   instantiated from here
bug-233934.cc:7: error: no matches converting function `bla' to type `void
(*)(const double&)'
bug-233934.cc:1: error: candidates are: void bla(const char&)
bug-233934.cc:2: error:                 void bla(const int&)

-- 
           Summary: [3.4 regression] symbol lookup in templates
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/14242] [3.4 regression] symbol lookup in templates

[debian-gcc at lists dot debian dot org]

------- Additional Comments From debian-gcc at lists dot debian dot org  2004-02-22 14:50 -------
Created an attachment (id=5782)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5782&action=view)
testcase


-- 


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

[Bug c++/14242] [3.4 regression] symbol lookup in templates

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-23 01:06 -------
This is a dup of bug 13549, note the testcases are different but the problem is the same, also note the 
standard does not say which is right behaviour.

*** This bug has been marked as a duplicate of 13549 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug c++/14242] [3.4 regression] symbol lookup in templates

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-03-06 19:12 -------
I don't think this is a duplicate of 13549. For once, Bug 13549 is about the 
lookup of template-ids, while here we have an unqualified id.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|DUPLICATE                   |


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

[Bug c++/14242] [3.4 regression] symbol lookup in templates

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-03-06 19:17 -------
Nathan, can you please comment on this testcase? I can't see how this can be 
valid since 'bla' is an unqualified non-dependent id which has to be looked up 
at template definition time. The lookup will found an overload set, and the 
disambiguation will have to be deferred till instantiation time as the 
assignment expression is type-dependent. 

But latest EDG and MSVC71 accepts the code.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |giovannibajo at libero dot
                   |                            |it, nathan at gcc dot gnu
                   |                            |dot org


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

[Bug c++/14242] [3.4/3.5 regression] symbol lookup in templates

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.4 regression] symbol     |[3.4/3.5 regression] symbol
                   |lookup in templates         |lookup in templates
   Target Milestone|---                         |3.4.0


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

[Bug c++/14242] [3.4/3.5 regression] symbol lookup in templates

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-03-09 07:02 -------
This is not a bug.  

The name is non-dependent, and so name lookup finds only the first two declarations.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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