[Bug c++/57253] New: GCC ignores ref-qualifiers of pseudo-function types in explicit specializations

[Bug c++/57253] New: GCC ignores ref-qualifiers of pseudo-function types in explicit specializations

[lucdanton at free dot fr]

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

            Bug ID: 57253
           Summary: GCC ignores ref-qualifiers of pseudo-function types in
                    explicit specializations
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: lucdanton at free dot fr

$ g++-snapshot --version
g++-snapshot (Debian 20130509-1) 4.9.0 20130509 (experimental) [trunk revision
198734]

$ cat main.cpp 
template<typename T> struct foo;

template<> struct foo<void()&> {};
template<> struct foo<void()> {};

int main()
{}

$ g++-snapshot -std=c++11 main.cpp 
main.cpp:4:19: error: redefinition of 'struct foo<void()>'
 template<> struct foo<void()> {};
                   ^
main.cpp:3:19: error: previous definition of 'struct foo<void()>'
 template<> struct foo<void()&> {};
                   ^

Aren't the specializations different, much like specializing on void() and
void() const?

[Bug c++/57253] GCC ignores ref-qualifiers of pseudo-function types in explicit specializations

[daniel.kruegler at googlemail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 4073 bytes --]

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

Daniel Krügler <daniel.kruegler at googlemail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler@googlemail.
                   |                            |com

--- Comment #1 from Daniel Krügler <daniel.kruegler at googlemail dot com> ---
They should be different specializations, yes.
>From gcc-bugs-return-422103-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun May 12 14:08:16 2013
Return-Path: <gcc-bugs-return-422103-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12379 invoked by alias); 12 May 2013 14:08:16 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 12355 invoked by uid 48); 12 May 2013 14:08:12 -0000
From: "bruck.michael at googlemail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libgcc/57256] New: Building for arm-elf with CFLAGS_FOR_TARGET=-mabiªpcs-linux fails in libgcc/crtstuff.c
Date: Sun, 12 May 2013 14:08:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libgcc
X-Bugzilla-Version: 4.7.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: bruck.michael at googlemail dot com
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 attachments.created
Message-ID: <bug-57256-4@http.gcc.gnu.org/bugzilla/>
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: 2013-05/txt/msg00776.txt.bz2
Content-length: 1698

http://gcc.gnu.org/bugzilla/show_bug.cgi?idW256

            Bug ID: 57256
           Summary: Building for arm-elf with
                    CFLAGS_FOR_TARGET=-mabiªpcs-linux fails in
                    libgcc/crtstuff.c
           Product: gcc
           Version: 4.7.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libgcc
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bruck.michael at googlemail dot com

Created attachment 30100
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id0100&actioníit
Diff of preprocessed crtstuff.c with and without -mabiªpcs-linux

This is not a new issue but I never needed crtstuff before and just used make
-k


CFLAGS_FOR_TARGET=-mcpu=arm1176jzf-s -marm -mabiªpcs-linux -mfpu=vfp
-mfloat-abi=softfp -mno-thumb-interwork -mno-long-calls -mtune=arm1176jzf-s
-mlittle-endian

../../src/gcc-4.7.3/configure --target=arm-elf --enable-obsolete --with-newlib
--enable-languages=c,c++ --disable-multilib --disable-nls --disable-shared
--with-mode=arm --with-cpu=arm1176jzf-s --with-tune=arm1176jzf-s --with-fpu=vfp
--with-float=softfp --with-endian=little

make

...

../../../../src/gcc-4.7.3/libgcc/crtstuff.c: In function
'__do_global_dtors_aux':
../../../../src/gcc-4.7.3/libgcc/crtstuff.c:380:26: error: '__DTOR_LIST__'
undeclared (first use in this function)
../../../../src/gcc-4.7.3/libgcc/crtstuff.c:380:26: note: each undeclared
identifier is reported only once for each function it appears in

The diff between the pre-processed files (1st file: with -mabiªpcs-linux,
doesn't comile; 2nd file: without -mabiªpcs-linux, compiles) is attached as
crtstuff.I.diff.

[Bug c++/57253] GCC ignores ref-qualifiers of pseudo-function types in explicit specializations

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-05-12
     Ever confirmed|0                           |1

[Bug c++/57253] GCC ignores ref-qualifiers of pseudo-function types in explicit specializations

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
   Target Milestone|---                         |4.8.1

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.8.1.