From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 53C8D3840C2D; Thu, 21 May 2020 21:13:47 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 53C8D3840C2D
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1590095627;
 bh=aOSbwYDJj3ARFBZ7AD4LNyiTAH6yMa/auJanaWGEszo=;
 h=From:To:Subject:Date:From;
 b=gq/+xKMgNe07RayS+LLX/yrU5QZ5IAyj6rMzeDsN6MHeQJl2vybZ8wvny6h0t0CYx
 JcPVXb2bIF06dWJP9bfnEaQi4l1IsuI0SH+r+4c8kEeyWJEX8jEbauNAMHToPTfhw7
 fpu+oEhkXVkRiXPTuEX/uO+RbwD5kxacqCdLjHTE=
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/95263] New: ice in lookup_template_class_1
Date: Thu, 21 May 2020 21:13:47 +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: unknown
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dcb314 at hotmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
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 target_milestone
Message-ID: <bug-95263-4@http.gcc.gnu.org/bugzilla/>
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-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 21 May 2020 21:13:47 -0000

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

            Bug ID: 95263
           Summary: ice in lookup_template_class_1
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

For this C++ code

enum a { b };
template <class, a, class =3D int, class =3D int> class c;
template <class ac, a ad =3D b> using d =3D c<ac, ad>;
template <class> class f { template <class, a> using aj =3D int; };
template <class g> class h {
public:
  using an =3D f<g>;
  template <class ai, a ad> using aj =3D typename an::aj<ai, ad>;
  template <a> void aw();
  template <a ad, class ai> aj<ai, ad> aw();
};
template <class, a ad, class, class> class c : h<c<int, ad>> {
public:
  c();
};
template <class az, a ad, class ba, class bb> c<az, ad, ba, bb>::c() {
  this->template aw<b>();
}
void i() { d<int> e; }

on recent gcc trunk, does this:

bug610.cc: In substitution of =E2=80=98template<class g> template<class ai,=
 a ad> using=20
aj =3D typename h<g>::an::aj<ai, ad> [with ai =3D ai; a ad =3D b; g =3D c<i=
nt, b, int,
i
nt>]=E2=80=99:
bug610.cc:10:40:   required by substitution of =E2=80=98template<a ad, clas=
s ai>
h<c<int
, b, int, int> >::aj<ai, ad> h<c<int, b, int, int> >::aw<ad, ai>() [with a =
ad =3D=20
b; ai =3D <missing>]=E2=80=99
bug610.cc:17:23:   required from =E2=80=98c< <template-parameter-1-1>, <ano=
nymous>,
<tem
plate-parameter-1-3>, <template-parameter-1-4> >::c() [with
<template-parameter-
1-1> =3D int; a ad =3D b; <template-parameter-1-3> =3D int; <template-param=
eter-1-4>
=3D
 int]=E2=80=99
bug610.cc:19:19:   required from here
bug610.cc:8:35: internal compiler error: in lookup_template_class_1, at
cp/pt.c:
10076
    8 |   template <class ai, a ad> using aj =3D typename an::aj<ai, ad>;
      |                                   ^~
0x82a5b3 lookup_template_class_1(tree_node*, tree_node*, tree_node*,
tree_node*,
 int, int)
        ../../trunk.git/gcc/cp/pt.c:10075
0x828739 lookup_template_class(tree_node*, tree_node*, tree_node*, tree_nod=
e*,
i
nt, int)
        ../../trunk.git/gcc/cp/pt.c:10128
0x815633 tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../trunk.git/gcc/cp/pt.c:15831

The bug first seems to occur sometime between 20200519 and 20200520.=