Summary: | [3.3/3.4 Regression] [DR115] Pointers to functions and template functions behave different in deduction | ||
---|---|---|---|
Product: | gcc | Reporter: | wolfgang.bangerth |
Component: | c++ | Assignee: | Not yet assigned to anyone <unassigned> |
Status: | RESOLVED FIXED | ||
Severity: | critical | CC: | gcc-bugs, nathan, nyap |
Priority: | P1 | Keywords: | rejects-valid, wrong-code |
Version: | 2.95.2 | ||
Target Milestone: | 3.3.2 | ||
Host: | Target: | ||
Build: | Known to work: | ||
Known to fail: | Last reconfirmed: | 2003-08-03 15:19:03 |
Description
wolfgang.bangerth
2002-01-07 02:16:01 UTC
State-Changed-From-To: open->analyzed State-Changed-Why: confirmed From: Noel Yap <nyap@OLF.COM> To: "'wolfgang.bangerth@iwr.uni-heidelberg.de'" <wolfgang.bangerth@iwr.uni-heidelberg.de>, "'gcc-gnats@gcc.gnu.org'" <gcc-gnats@gcc.gnu.org>, "'gcc-prs@gcc.gnu.org'" <gcc-prs@gcc.gnu.org>, "'gcc-bugs@gcc.gnu.org'" <gcc-bugs@gcc.gnu.org>, "'nobody@gcc.gnu.org'" <nobody@gcc.gnu.org> Cc: Subject: Re: c++/5296: Pointers to functions and template functions behave differentl Date: Mon, 29 Apr 2002 17:14:30 -0400 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> <HTML> <HEAD> <META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; = charset=3Diso-8859-1"> <META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version = 5.5.2653.12"> <TITLE>Re: c++/5296: Pointers to functions and template functions = behave differentl</TITLE> </HEAD> <BODY> <P><FONT SIZE=3D2 FACE=3D"Arial"><A = HREF=3D"http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=3Dview%20audit-trail&= database=3Dgcc&pr=3D5296" = TARGET=3D"_blank">http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=3Dview%20au= dit-trail&database=3Dgcc&pr=3D5296</A></FONT> </P> <P><FONT SIZE=3D2 FACE=3D"Arial">I've found one or two (depending on if = you count them to be the same or not) workarounds for this:</FONT> <BR><FONT SIZE=3D2 FACE=3D"Arial">1. original snippet:</FONT> <BR><FONT FACE=3D"Courier New">int main () {<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type (&pp1);<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type (&pp2<int>);<BR> =A0 =A0 =A0 =A0 =A0 =A0 = =A0};</FONT><FONT FACE=3D"Arial"> </FONT> </P> <P><FONT SIZE=3D2 FACE=3D"Arial">workaround (note that reinterpret_cast = will NOT work here):</FONT> <BR><FONT FACE=3D"Courier New">int main () {<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type (&pp1);<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type ((void (*)(int)) &pp2<int>);<BR> =A0 =A0 =A0 =A0 =A0 =A0 = =A0};</FONT><FONT FACE=3D"Arial"> </FONT> </P> <P><FONT SIZE=3D2 FACE=3D"Arial">2. original snippet:</FONT> <BR><FONT FACE=3D"Courier New">int main () {<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type (&pp1);<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type (&pp2<int>);<BR> =A0 =A0 =A0 =A0 =A0 =A0 = =A0};</FONT><FONT FACE=3D"Arial"> </FONT> </P> <P><FONT SIZE=3D2 FACE=3D"Arial">workaround:</FONT> <BR><FONT FACE=3D"Courier New">int main () {</FONT> <BR> = = <FONT FACE=3D"Courier = New">void (*pp2p)(int) =3D &pp2<int>;</FONT> <BR> <BR><FONT FACE=3D"Courier New">=A0 =A0 =A0 =A0 = =A0 =A0 =A0 =A0 print_type (&pp1);<BR> =A0 =A0 =A0 =A0 =A0 =A0 =A0 = =A0 print_type (pp2p);<BR> =A0 =A0 =A0 =A0 =A0 =A0 = =A0};</FONT><FONT FACE=3D"Arial"> </FONT> </P> <P><FONT SIZE=3D2 FACE=3D"Arial">I think the fact that reinterpret_cast = has problems points to the fact that the compiler really doesn't know = what the type is (and hence, the {unknown_type} in the error = message).</FONT></P> <P><FONT SIZE=3D2 FACE=3D"Arial">Noel Yap</FONT> </P> <BR> <P><B><FONT SIZE=3D2 FACE=3D"Arial">=A9 2002 OpenLink Financial = </FONT></B> </P> <P><B><FONT SIZE=3D2 FACE=3D"Arial">Copyright in this message and any = attachments remains with us. It is</FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">confidential and may be legally = privileged. If this message is not </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">intended for you it must not be = read, copied or used by you or </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">disclosed to anyone = else. Please advise the sender immediately if </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">you have received this message in = error.</FONT></B> </P> <P><B><FONT SIZE=3D2 FACE=3D"Arial">Although this message and any = attachments are believed to be free of </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">any virus or other defect that = might affect any computer system into </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">which it is received and opened, = it is the responsibility of the </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">recipient to ensure that it is = virus free and no responsibility </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">is accepted by Open Link = Financial, Inc. for any loss or damage in any </FONT></B> <BR><B><FONT SIZE=3D2 FACE=3D"Arial">way arising from its = use.</FONT></B> </P> <BR> </BODY> </HTML> This is 3.3/3.4 regression as 2.95.2 accepted this code (but it produced wrong code). This code is invalid. A template argument cannot be deduced from a set of overloaded functions if the set includes a template. I take it back; obviously, that's why DR 115 was in the headline. Subject: Bug 5296 CVSROOT: /cvs/gcc Module name: gcc Changes by: mmitchel@gcc.gnu.org 2003-09-08 16:53:05 Modified files: gcc/cp : ChangeLog pt.c gcc/testsuite : ChangeLog Added files: gcc/testsuite/g++.dg/rtti: typeid2.C Log message: PR c++/5296 * pt.c (try_one_overload): Add addr_p parameter. (resolve_overloaded_unification): Pass it. PR c++/5296 * g++.dg/rtti/typeid2.C: New test. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3659&r2=1.3660 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.776&r2=1.777 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3040&r2=1.3041 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/rtti/typeid2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1 Subject: Bug 5296 CVSROOT: /cvs/gcc Module name: gcc Branch: gcc-3_3-branch Changes by: mmitchel@gcc.gnu.org 2003-09-08 16:59:00 Modified files: gcc/cp : pt.c Added files: gcc/testsuite/g++.dg/rtti: typeid2.C Log message: PR c++/5296 * pt.c (try_one_overload): Add addr_p parameter. (resolve_overloaded_unification): Pass it. PR c++/5296 * g++.dg/rtti/typeid2.C: New test. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.635.2.36&r2=1.635.2.37 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/rtti/typeid2.C.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=NONE&r2=1.1.2.1 Subject: Bug 5296 CVSROOT: /cvs/gcc Module name: gcc Branch: gcc-3_3-branch Changes by: mmitchel@gcc.gnu.org 2003-09-08 16:59:43 Modified files: gcc/cp : ChangeLog gcc/testsuite : ChangeLog Log message: PR c++/5296 * pt.c (try_one_overload): Add addr_p parameter. (resolve_overloaded_unification): Pass it. PR c++/5296 * g++.dg/rtti/typeid2.C: New test. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.3076.2.202&r2=1.3076.2.203 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.2261.2.274&r2=1.2261.2.275 Fixed in GCC 3.3.2, GCC 3.4. |