c++/7606: GCC interprets wrong.

c++/7606: GCC interprets wrong.

[comer]

>Number:         7606
>Category:       c++
>Synopsis:       GCC interprets wrong.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          accepts-illegal
>Submitter-Id:   net
>Arrival-Date:   Thu Aug 15 14:16:10 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Sergey Shandar
>Release:        GCC 3.1.1 20020718 (prerelease)
>Organization:
>Environment:
CygWin, Windows 2000
>Description:

>How-To-Repeat:
g++ tmp_ns.cpp
>Fix:
template<class T> struct R {};

namespace A
{
	struct S {};
	void F(const R<S>&) {}
}

int main(void)
{
	A::F(R<A::S>());
	return 0;
}
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="tmp_ns.cpp"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="tmp_ns.cpp"

dGVtcGxhdGU8Y2xhc3MgVD4gc3RydWN0IFIge307DQoNCm5hbWVzcGFjZSBBDQp7DQoJc3RydWN0
IFMge307DQoJdm9pZCBGKGNvbnN0IFI8Uz4mKSB7fQ0KfQ0KDQppbnQgbWFpbih2b2lkKQ0Kew0K
CUYoUjxBOjpTPigpKTsNCglyZXR1cm4gMDsNCn0NCg0KLyoNCmdjYyB2ZXJzaW9uIDIuOTUuMy01
IChjeWd3aW4gc3BlY2lhbCkgLi4uDQpnY2MgdmVyc2lvbiAzLjEuMSAyMDAyMDcxOCAocHJlcmVs
ZWFzZSkuDQoNCmcrKyBuc190bXAuY3BwDQoqLw==

Re: c++/7606: GCC interprets wrong.

[Gabriel Dos Reis]

The following reply was made to PR c++/7606; it has been noted by GNATS.

From: Gabriel Dos Reis <gdr@integrable-solutions.net>
To: comer@pisem.net
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c++/7606: GCC interprets wrong.
Date: 16 Aug 2002 14:21:48 +0200

 comer@pisem.net writes:
 
 [...]
 
 | >Class:          accepts-illegal
 
 Your code was perfectly well-formed and GCC was right in accepting it.
 Koenig lookup considers, among others things, the classes and
 namespaces associated with type template-arguments.  See 3.4.2/2:
 
     [...]
     If T is a template-id, its associated namespaces and classes are the
     namespace in which the template is defined; for member templates, the
     member template s class; the namespaces and classes associated with
     the types of the template arguments provided for template type
     parameters (excluding template template parameters); the namespaces in
     which any template template arguments are defined; and the classes in
     which any member templates used as template template arguments are
     defined. 
 
 -- Gaby

Re: c++/7606: GCC interprets wrong.

[gdr]

Synopsis: GCC interprets wrong.

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Fri Aug 16 05:25:44 2002
Responsible-Changed-Why:
    Analyzed
State-Changed-From-To: open->closed
State-Changed-By: gdr
State-Changed-When: Fri Aug 16 05:25:44 2002
State-Changed-Why:
    Not a bug.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7606