From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20499 invoked by alias); 14 Sep 2014 21:15:45 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 20470 invoked by uid 48); 14 Sep 2014 21:15:41 -0000 From: "carlo at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/63263] New: friend declaration of template specialization of function gets confused when specialization was forward declared Date: Sun, 14 Sep 2014 21:15:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 4.7.2 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: carlo at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-09/txt/msg01633.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D63263 Bug ID: 63263 Summary: friend declaration of template specialization of function gets confused when specialization was forward declared Product: gcc Version: 4.7.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: carlo at gcc dot gnu.org The following code snippet should compile, but it doesn't. template void f(T&, float&) { T(1); } struct B; template<> void f(B&, float&) { } struct B { friend void f(B&, float&); }; void g() { B b; float n; f(b, n); } The result is: troep.cc: In instantiation of =E2=80=98void f(T&, float&) [with T =3D B]=E2= =80=99: troep.cc:22:9: required from here troep.cc:4:3: error: no matching function for call to =E2=80=98B::B(int)=E2= =80=99 troep.cc:4:3: note: candidates are: troep.cc:14:8: note: B::B() troep.cc:14:8: note: candidate expects 0 arguments, 1 provided troep.cc:14:8: note: B::B(const B&) troep.cc:14:8: note: no known conversion for argument 1 from =E2=80=98int= =E2=80=99 to =E2=80=98const B&=E2=80=99 troep.cc:4: confused by earlier errors, bailing out Preprocessed source stored into /tmp/ccjzbrcd.out file, please attach this = to your bugreport. If I either comment out the friend declaration, or move the specialization to after the struct B declaration (so that the friend declaration caused the specialization), then it compiles and works. clang compiles this fine. >>From gcc-bugs-return-461800-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Sep 14 21:22:26 2014 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 22751 invoked by alias); 14 Sep 2014 21:22:26 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 22730 invoked by uid 48); 14 Sep 2014 21:22:23 -0000 From: "carlo at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/63263] friend declaration of function template specialization gets confused when specialization was forward declared. Date: Sun, 14 Sep 2014 21:22:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 4.7.2 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: carlo at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-09/txt/msg01634.txt.bz2 Content-length: 284 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63263 --- Comment #1 from Carlo Wood --- Guess the float isn't needed: template void f(T&) { T(1); } struct B; template<> void f(B&) { } struct B { friend void f(B&); }; void g() { B b; f(b); }