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 1F4E2385DC02; Wed,  1 Apr 2020 11:00:08 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1F4E2385DC02
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1585738808;
 bh=8Z8SfF+GNRaGf9v5mCxkKzGWoXH7KcXSB4jL44oj+Fs=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=jW18d8KswuUuJsPUUTqazaRnD76haLQAfGNoEtmrNe/pRvh8p5rIUAAPM/RfzZvhm
 xh/3w8IdQRYhgcvCeMTeSgkm8lNNIuBrNY5ogphatqNUyg/KaBn2F37NYVvWp/c+cv
 9s9JbCydoHb8wK3PPj8OiUSKpkXuCPNwTtb80S2k=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/94426] [10 Regression] ICE in mangle_decl with -flto
Date: Wed, 01 Apr 2020 11:00:07 +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: 10.0
X-Bugzilla-Keywords: ice-on-valid-code, lto
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-94426-4-DOqkoKzCyY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-94426-4@http.gcc.gnu.org/bugzilla/>
References: <bug-94426-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: <http://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: Wed, 01 Apr 2020 11:00:08 -0000

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Adjusted testcase that ICEs already starting with the r10-7243 commit, again
-O2 -flto:
template <int a> struct b { static constexpr int c =3D a; };
template <bool a> using d =3D b<a>;
template <typename> auto ad() -> decltype(0);
struct m { d<noexcept(ad<int>())> e; };
struct n : m { typedef decltype(e) ab; };
template <bool> using aj =3D int;
class C { void q(); int bq; };
template <typename by, typename... bj> using bz =3D typename by::template
bz<bj...>;
namespace ca {
struct r { template <typename cc> using bz =3D cc; };
template <typename cc, typename> using cd =3D bz<r, cc>;
namespace ce {
struct s { template <class bj> s(bj); };
struct t { bool c; };
t ci(void *, s);
}
template <bool ck> aj<ck> cl;
template <typename> bool f;
template <typename> constexpr bool destructible =3D n::ab ::c;
template <typename cc> constexpr bool cp =3D destructible<cc>;
template <typename cc> constexpr bool cq =3D cp<cc>;
template <typename cc> constexpr bool copyable =3D cq<cc>;
template <typename cc> constexpr bool cr =3D copyable<cc>;
}
namespace cs {
using namespace ca;
namespace ce {
template <typename cy =3D decltype(0)> using da =3D cy;
}
template <typename> using da =3D ce::da<>;
template <typename>
bool db =3D ca::ce::ci(nullptr, [](auto g) -> decltype(cl<f<da<decltype(g)>=
>>)
{}).c;
template <typename cx> constexpr bool dd =3D cr<cx>;
template <typename cx> constexpr bool de =3D dd<cx>;
template <typename cx> constexpr bool h =3D de<cx>;
template <typename cx> constexpr bool df =3D h<cx>;
template <typename, typename di, typename> bool dj =3D db<di>;
namespace ce {
template <typename> struct H;
}
template <typename, typename dl> using dn =3D ce::H<dl>;
template <typename cx> constexpr bool i =3D df<cx>;
struct {
  template <typename cx, typename j, typename cc, typename k>
  auto operator()(cx, j, cc, k) -> cd<cx, aj<i<cx> && dj<int, dn<cx, k>, cc=
>>>
{ while (1); }
  template <typename l, typename cc, typename k>
  void operator()(l, cc p2, k u) { (*this)(0, 0, p2, u); }
} o;
}
int p;
void C::q() { cs::o(bq, p, [] {}); }

The difference from the #c0 testcase is:
-template <typename by, typename... bj> using bz =3D typename by::bz<bj...>;
+template <typename by, typename... bj> using bz =3D typename by::template
bz<bj...>;=