[Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class

[Bug c++/59044] New: Internal compiler error triggers when accessing a typedef in a specialized member class

[decaluwe.t at gmail dot com]

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

            Bug ID: 59044
           Summary: Internal compiler error triggers when accessing a
                    typedef in a specialized member class
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: decaluwe.t at gmail dot com

Created attachment 31180
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31180&action=edit
Preprocessor output

The following code triggers an internal compiler error when compiled with 'g++
bug.cpp' (the complete preprocessed file can be found in the attachment):

/* ---- bug.cpp --------------------------------------- */
template <class T>
class C {
private:
    template <T a, T b>
    struct Implementation;
    template <T b>
    struct Implementation<0, b> { typedef void Typedef; };
public:
    typedef typename Implementation<0, 0>::Typedef Type;
};

template class C<unsigned>;
/* ---------------------------------------------------- */

The error message produced by g++ 4.8.1 (as found in the g++-4.8 package in the
Ubuntu 13.10 repo, see below for build information):

bug.cpp: In instantiation of ‘class C<unsigned int>’:
bug.cpp:12:16:   required from here
bug.cpp:9:52: internal compiler error: in tsubst, at cp/pt.c:11313
     typedef typename Implementation<0, 0>::Typedef Type;
                                                    ^

This bug is still present in the gcc-snapshot package. However the code
compiles fine in g++ 4.7.3 (as found in the g++-4.7 package).

Additional information:

GCC version: gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu8) 
System type: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro
4.8.1-10ubuntu8' --with-bugurl=file:///usr/share/doc/gcc-4.8/README.Bugs
--enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.8 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.8 --libdir=/usr/lib --enable-nls
--with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin
--with-system-zlib --disable-browser-plugin --enable-java-awt=gtk
--enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64/jre
--enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.8-amd64
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686
--with-abi=m64 --with-multilib-list=m32,m64,mx32 --with-tune=generic
--enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
>From gcc-bugs-return-433896-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 08 02:08:12 2013
Return-Path: <gcc-bugs-return-433896-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12932 invoked by alias); 8 Nov 2013 02:08:12 -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 12897 invoked by uid 55); 8 Nov 2013 02:08:08 -0000
From: "congh at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/56764] vect_prune_runtime_alias_test_list not smart enough
Date: Fri, 08 Nov 2013 02:08:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.8.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: congh at gcc dot gnu.org
X-Bugzilla-Status: NEW
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: <bug-56764-4-Ykx0RSdBBg@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56764-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56764-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-11/txt/msg00673.txt.bz2
Content-length: 1260

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

--- Comment #4 from congh at gcc dot gnu.org ---
Author: congh
Date: Fri Nov  8 02:08:05 2013
New Revision: 204557

URL: http://gcc.gnu.org/viewcvs?rev 4557&root=gcc&view=rev
Log:
2013-11-07  Cong Hou  <congh@google.com>

    Backport from mainline
    2013-11-07  Cong Hou  <congh@google.com>

    PR tree-optimization/56764
    * tree-vect-loop-manip.c (vect_create_cond_for_alias_checks):
      Combine alias checks if it is possible to amortize the runtime
      overhead.  Return the number of alias checks after merging.
      * tree-vect-data-refs.c (vect_prune_runtime_alias_test_list):
        Use the function vect_create_cond_for_alias_checks () to check
        the number of alias checks.

2013-11-07  Cong Hou  <congh@google.com>

    Backport from mainline
    2013-11-07  Cong Hou  <congh@google.com>

    * gcc.dg/vect/vect-alias-check.c: New.


Added:
    branches/google/gcc-4_8/gcc/testsuite/gcc.dg/vect/vect-alias-check.c
Modified:
    branches/google/gcc-4_8/gcc/ChangeLog
    branches/google/gcc-4_8/gcc/testsuite/ChangeLog
    branches/google/gcc-4_8/gcc/tree-vect-data-refs.c
    branches/google/gcc-4_8/gcc/tree-vect-loop-manip.c
    branches/google/gcc-4_8/gcc/tree-vectorizer.h

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-08
                 CC|decaluwe.t at gmail dot com        |
            Summary|Internal compiler error     |[4.8/4.9 Regression]
                   |triggers when accessing a   |Internal compiler error
                   |typedef in a specialized    |triggers when accessing a
                   |member class                |typedef in a specialized
                   |                            |member class
     Ever confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
The code may be invalid however.

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[decaluwe.t at gmail dot com]

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

--- Comment #2 from Tom De Caluwé <decaluwe.t at gmail dot com> ---
As far as I can verify partial specializations are only allowed at namespace
scope so you're right. However gcc never used to complain about such
constructs.

In any case, an internal compiler error is never desired behaviour, hence the
bug report.
>From gcc-bugs-return-433948-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 08 15:13:17 2013
Return-Path: <gcc-bugs-return-433948-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20921 invoked by alias); 8 Nov 2013 15:13:17 -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 20891 invoked by uid 48); 8 Nov 2013 15:13:14 -0000
From: "amylaar at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/59049] Two VOIDmode constant in comparison passed to cstoresi4
Date: Fri, 08 Nov 2013 15:13:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: amylaar 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: <bug-59049-4-taukgyDDWF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59049-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59049-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-11/txt/msg00725.txt.bz2
Content-length: 1613

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

--- Comment #1 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> ---
Frame 12 shows that at the tree level, one of the comparison operands is an
initialized variable.

(gdb) frame 12
#12 0x083bd9fa in expand_expr_real_1 (exp=<ne_expr 0xb7b55b28>, target=0x0,
    tmode=VOIDmode, modifier=EXPAND_NORMAL, alt_rtl=0x0)
    at ../../gcc/gcc/expr.c:10444
10444         return expand_expr_real_2 (&ops, target, tmode, modifier);
(gdb) call debug_tree(exp)
 <ne_expr 0xb7b55b28
    type <boolean_type 0xb7abd5a0 _Bool public unsigned QI
        size <integer_cst 0xb7aaa258 constant 8>
        unit size <integer_cst 0xb7aaa26c constant 1>
        align 8 symtab 0 alias set -1 canonical type 0xb7abd5a0 precision 1 min
<integer_cst 0xb7aaa438 0> max <integer_cst 0xb7aaa460 1>>

    arg 0 <ssa_name 0xb7b0ac58
        type <integer_type 0xb7abd480 long unsigned int public unsigned SI
            size <integer_cst 0xb7aaa140 constant 32>
            unit size <integer_cst 0xb7aaa154 constant 4>
            align 32 symtab 0 alias set -1 canonical type 0xb7abd480 precision
32 min <integer_cst 0xb7aaa3c0 0> max <integer_cst 0xb7aaa3ac 4294967295>
context <translation_unit_decl 0xb7ac3dec D.1415>
            pointer_to_this <pointer_type 0xb7ac44e0>>
        visited var <var_decl 0xb7b4db24 D.1483>def_stmt _10 = 3;

        version 10>
    arg 1 <integer_cst 0xb7b3ce4c type <integer_type 0xb7abd480 long unsigned
int> constant 3>

/home/amylaar/synopsys/synopsys-gcc-mainline/unisrc-4.8/gcc/testsuite/gcc.c-torture/execute/builtins/strlen-2.c:29:6>

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Yes. It's all about prioritizing, an ICE on invalid isn't the same as an ICE on
valid, even if it's a regression.

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[decaluwe.t at gmail dot com]

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

--- Comment #4 from Tom De Caluwé <decaluwe.t at gmail dot com> ---
However the following code seems to be valid but results in the same ICE:

/* ---- bug.cpp --------------------------------------- */
namespace N {

template <class T>
class C {
private:
    template <T a, T b>
    struct Implementation {};
public:
    typedef typename Implementation<0, 0>::Typedef Type;
};

template <class T>
template <T b>
struct C<T>::Implementation<0, b> { typedef void Typedef; };

}

template class N::C<unsigned>;
/* ---------------------------------------------------- */
>From gcc-bugs-return-433951-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 08 15:38:37 2013
Return-Path: <gcc-bugs-return-433951-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 6623 invoked by alias); 8 Nov 2013 15:38:37 -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 6606 invoked by uid 48); 8 Nov 2013 15:38:34 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class
Date: Fri, 08 Nov 2013 15:38: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.8.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59044-4-iFtMFofBxV@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59044-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59044-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-11/txt/msg00728.txt.bz2
Content-length: 336

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

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Frankly, I'm not sure either, current clang rejects it the same way, for
example. In any case, in Bugzilla we have got at least 2/3 on valid Bugs
triggering that gcc_assert, hopefully will be fixed all together.

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.3

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[jason at gcc dot gnu.org]

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> ---
*** Bug 59052 has been marked as a duplicate of this bug. ***

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jason at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[jason at gcc dot gnu.org]

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Dec  5 22:46:36 2013
New Revision: 205720

URL: http://gcc.gnu.org/viewcvs?rev=205720&root=gcc&view=rev
Log:
    PR c++/59044
    PR c++/59052
    * pt.c (most_specialized_class): Use the partially instantiated
    template for deduction.  Drop the TMPL parameter.

Added:
    trunk/gcc/testsuite/g++.dg/template/partial14.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[jason at gcc dot gnu.org]

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

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Dec  5 23:28:25 2013
New Revision: 205723

URL: http://gcc.gnu.org/viewcvs?rev=205723&root=gcc&view=rev
Log:
    PR c++/59044
    PR c++/59052
    * pt.c (most_specialized_class): Use the partially instantiated
    template for deduction.  Drop the TMPL parameter.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/template/partial14.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/pt.c

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[reichelt at gcc dot gnu.org]

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu.org

--- Comment #10 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
*** Bug 58518 has been marked as a duplicate of this bug. ***

[Bug c++/59044] [4.8/4.9 Regression] Internal compiler error triggers when accessing a typedef in a specialized member class

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

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