[Bug c++/58170] New: Crash when aliasing a template class that is a member of its template base class.

[Bug c++/58170] New: Crash when aliasing a template class that is a member of its template base class.

[cassio.neri at gmail dot com]

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

            Bug ID: 58170
           Summary: Crash when aliasing a template class that is a member
                    of its template base class.
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cassio.neri at gmail dot com

The code below crashes gcc 4.8.1 (coincidentaly, it also crashes clang 3.3).

---------------------------------------------------------------------

template <typename T, typename U>
struct base {

  template <typename V>
  struct derived;

};

template <typename T, typename U>
template <typename V>
struct base<T, U>::derived : public base<T, V> {
};

// This (wrong?) alias declaration provoques the crash.
template <typename T, typename U, typename V>
using derived = base<T, U>::derived<V>;

// This one works:
// template <typename T, typename U, typename V>
// using derived = typename base<T, U>::template derived<V>;

template <typename T>
void f() {
  derived<T, bool, char> m{};
  (void) m;
}

int main() {
  f<int>();
}

---------------------------------------------------------------------

$ g++ -v -save-temps -std=c++11 -Wall -pedantic main.cpp 
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /build/gcc/src/gcc-4.8-20130725/configure --prefix=/usr
--libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared
--enable-threads=posix --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch
--enable-gnu-unique-object --enable-linker-build-id --enable-cloog-backend=isl
--disable-cloog-version-check --enable-lto --enable-gold --enable-ld=default
--enable-plugin --with-plugin-ld=ld.gold --with-linker-hash-style=gnu
--disable-install-libiberty --disable-multilib --disable-libssp
--disable-werror --enable-checking=release
Thread model: posix
gcc version 4.8.1 20130725 (prerelease) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-std=c++11' '-Wall' '-Wpedantic'
'-shared-libgcc' '-mtune=generic' '-march=x86-64'
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/cc1plus -E -quiet -v -D_GNU_SOURCE
main.cpp -mtune=generic -march=x86-64 -std=c++11 -Wall -Wpedantic
-fpch-preprocess -o main.ii
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../include/c++/4.8.1

/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../include/c++/4.8.1/x86_64-unknown-linux-gnu

/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../include/c++/4.8.1/backward
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/include
 /usr/local/include
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-std=c++11' '-Wall' '-Wpedantic'
'-shared-libgcc' '-mtune=generic' '-march=x86-64'
 /usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/cc1plus -fpreprocessed main.ii
-quiet -dumpbase main.cpp -mtune=generic -march=x86-64 -auxbase main -Wall
-Wpedantic -std=c++11 -version -o main.s
GNU C++ (GCC) version 4.8.1 20130725 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.8.1 20130725 (prerelease), GMP version
5.1.2, MPFR version 3.1.2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C++ (GCC) version 4.8.1 20130725 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.8.1 20130725 (prerelease), GMP version
5.1.2, MPFR version 3.1.2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: fcec9480bd3d120c7e8d40d79394317d
main.cpp: In substitution of ‘template<class T, class U, class V> using derived
= base<T, U>::derived<V> [with T = T; U = bool; V = char]’:
main.cpp:24:24:   required from here
main.cpp:16:39: internal compiler error: Segmentation fault
 using derived = base<T, U>::derived<V>;
                                       ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://bugs.archlinux.org/> for instructions.
>From gcc-bugs-return-427900-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Aug 15 23:31:52 2013
Return-Path: <gcc-bugs-return-427900-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5783 invoked by alias); 15 Aug 2013 23:31:52 -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 5736 invoked by uid 48); 15 Aug 2013 23:31:50 -0000
From: "kargl at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/58113] [4.9 Regression] gfortran.dg/round_4.f90 FAILs
Date: Thu, 15 Aug 2013 23:31:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kargl 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: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-58113-4-KEMRHCk0j2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58113-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58113-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-08/txt/msg00824.txt.bz2
Content-length: 959

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

kargl at gcc dot gnu.org changed:

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

--- Comment #2 from kargl at gcc dot gnu.org ---
round_4.f90 fails on x86_64-unknown-freebsd10.0.

Reduce testcase

program main

  use iso_fortran_env

  implicit none

  real(4) :: r4p, r4m, ref4u, ref4d
  character(len ) :: str, round

  ref4u = 0.100000001_4
  ref4d = nearest (ref4u, -1.0_4)

  round = 'up'
  call t()
  print '(4Z10)', r4p, ref4u, r4m, -ref4d

contains
  subroutine t()
    str = "0.1 0.1 0.1 0.1"
    read(str, *,round=round) r4p, r8p, r10p, r16p
    str = "-0.1 -0.1 -0.1 -0.1"
    read(str, *,round=round) r4m, r8m, r10m, r16m
  end subroutine t
end program main

% gfc4x -o z round_4.f90 && ./z
  3DCCCCCD  3DCCCCCD  BDCCCCCD  BDCCCCCC

[Bug c++/58170] [4.7/4.8/4.9 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[reichelt at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.7.0, 4.7.1, 4.7.2
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|                            |2014-02-15
                 CC|                            |reichelt at gcc dot gnu.org
     Ever confirmed|0                           |1
            Summary|Crash when aliasing a       |[4.7/4.8/4.9 Regression]
                   |template class that is a    |[c++11] Crash when aliasing
                   |member of its template base |a template class that is a
                   |class.                      |member of its template base
                   |                            |class.
   Target Milestone|---                         |4.7.4
      Known to fail|                            |4.7.3, 4.8.0, 4.9.0

--- Comment #1 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Confirmed. ICE started in GCC 4.7.3.

[Bug c++/58170] [4.7/4.8/4.9 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[reichelt at gcc dot gnu.org]

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

--- Comment #2 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Stack trace on trunk:

bug.cc: In substitution of 'template<class T, class U, class V> using B = A<
<template-parameter-1-1>, <template-parameter-1-2> >::B<V> [with T = T; U =
char; V = bool]':
bug.cc:10:18:   required from here
bug.cc:6:70: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have template_decl in lookup_template_class_1,
at cp/pt.c:7674
 template <typename T, typename U, typename V> using B = A<T, U>::B<V>;
                                                                      ^
0xdbfc54 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        ../../gcc/gcc/tree.c:9192
0x5bc4c9 tree_check3(tree_node*, char const*, int, char const*, tree_code,
tree_code, tree_code)
        ../../gcc/gcc/tree.h:2749
0x62520c lookup_template_class_1
        ../../gcc/gcc/cp/pt.c:7674
0x62520c lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
        ../../gcc/gcc/cp/pt.c:7725
0x6296d3 tsubst_aggr_type
        ../../gcc/gcc/cp/pt.c:10031
0x61ba51 tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11436
0x62dbee tsubst_decl
        ../../gcc/gcc/cp/pt.c:10908
0x61beff tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11357
0x632e4d instantiate_template_1
        ../../gcc/gcc/cp/pt.c:15325
0x632e4d instantiate_template(tree_node*, tree_node*, int)
        ../../gcc/gcc/cp/pt.c:15375
0x61c02d instantiate_alias_template
        ../../gcc/gcc/cp/pt.c:15405
0x61c02d tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11384
0x62435f lookup_template_class_1
        ../../gcc/gcc/cp/pt.c:7499
0x62435f lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
        ../../gcc/gcc/cp/pt.c:7725
0x72dcc2 finish_template_type(tree_node*, tree_node*, int)
        ../../gcc/gcc/cp/semantics.c:2953
0x6c2078 cp_parser_template_id
        ../../gcc/gcc/cp/parser.c:13440
0x6c2398 cp_parser_class_name
        ../../gcc/gcc/cp/parser.c:19074
0x6b3bc9 cp_parser_qualifying_entity
        ../../gcc/gcc/cp/parser.c:5524
0x6b3bc9 cp_parser_nested_name_specifier_opt
        ../../gcc/gcc/cp/parser.c:5249
0x6cba77 cp_parser_simple_type_specifier
        ../../gcc/gcc/cp/parser.c:14638
Please submit a full bug report, [etc.]

[Bug c++/58170] [4.7/4.8/4.9 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[jason at gcc dot gnu.org]

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

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++/58170] [4.7/4.8/4.9 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Sat Feb 22 05:50:12 2014
New Revision: 208040

URL: http://gcc.gnu.org/viewcvs?rev=208040&root=gcc&view=rev
Log:
    PR c++/58170
    * parser.c (cp_parser_type_name): Always check dependency.
    (cp_parser_type_specifier_seq): Call
    cp_parser_parse_and_diagnose_invalid_type_name.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/alias-decl-40.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/g++.dg/cpp0x/error8.C
    trunk/gcc/testsuite/g++.dg/cpp0x/override4.C
    trunk/gcc/testsuite/g++.dg/ext/underlying_type1.C
    trunk/gcc/testsuite/g++.dg/parse/crash48.C
    trunk/gcc/testsuite/g++.dg/parse/error49.C

[Bug c++/58170] [4.7/4.8 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |NEW
      Known to work|                            |4.9.0
           Assignee|jason at gcc dot gnu.org           |unassigned at gcc dot gnu.org
            Summary|[4.7/4.8/4.9 Regression]    |[4.7/4.8 Regression]
                   |[c++11] Crash when aliasing |[c++11] Crash when aliasing
                   |a template class that is a  |a template class that is a
                   |member of its template base |member of its template base
                   |class.                      |class.
      Known to fail|4.9.0                       |

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.9.  Fix doesn't work in 4.8 for some reason, presumably due to
another bug.

[Bug c++/58170] [4.7/4.8 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58170

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.4                       |4.8.4

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
The 4.7 branch is being closed, moving target milestone to 4.8.4.

[Bug c++/58170] [4.8 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58170

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/58170] [4.8 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58170

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.4                       |4.8.5

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.4 has been released.

[Bug c++/58170] [4.8 Regression] [c++11] Crash when aliasing a template class that is a member of its template base class.

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58170

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|4.8.5                       |4.9.0

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Let's close this.