public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/94426] New: [10 Regression] ICE in mangle_decl with -flto
@ 2020-03-31 15:25 jakub at gcc dot gnu.org
  2020-03-31 15:25 ` [Bug c++/94426] " jakub at gcc dot gnu.org
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: jakub at gcc dot gnu.org @ 2020-03-31 15:25 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 94426
           Summary: [10 Regression] ICE in mangle_decl with -flto
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

The following testcase ICEs in mangle_decl with -O2 -flto starting with
r10-7403-g517f5356bb0ca717f51e937be880e38a828edbf7, before that it has been
rejected.
template <int a> struct b { static constexpr int c = a; };
template <bool a> using d = 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 = int;
class C { void q(); int bq; };
template <typename by, typename... bj> using bz = typename by::bz<bj...>;
namespace ca {
struct r { template <typename cc> using bz = cc; };
template <typename cc, typename> using cd = 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 = n::ab ::c;
template <typename cc> constexpr bool cp = destructible<cc>;
template <typename cc> constexpr bool cq = cp<cc>;
template <typename cc> constexpr bool copyable = cq<cc>;
template <typename cc> constexpr bool cr = copyable<cc>;
}
namespace cs {
using namespace ca;
namespace ce {
template <typename cy = decltype(0)> using da = cy;
}
template <typename> using da = ce::da<>;
template <typename>
bool db = ca::ce::ci(nullptr, [](auto g) -> decltype(cl<f<da<decltype(g)>>>)
{}).c;
template <typename cx> constexpr bool dd = cr<cx>;
template <typename cx> constexpr bool de = dd<cx>;
template <typename cx> constexpr bool h = de<cx>;
template <typename cx> constexpr bool df = h<cx>;
template <typename, typename di, typename> bool dj = db<di>;
namespace ce {
template <typename> struct H;
}
template <typename, typename dl> using dn = ce::H<dl>;
template <typename cx> constexpr bool i = 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, [] {}); }

^ permalink raw reply	[flat|nested] 11+ messages in thread
end of thread, other threads:[~2020-04-16 20:15 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-31 15:25 [Bug c++/94426] New: [10 Regression] ICE in mangle_decl with -flto jakub at gcc dot gnu.org
2020-03-31 15:25 ` [Bug c++/94426] " jakub at gcc dot gnu.org
2020-04-01  7:00 ` rguenth at gcc dot gnu.org
2020-04-01  8:33 ` jakub at gcc dot gnu.org
2020-04-01 11:00 ` jakub at gcc dot gnu.org
2020-04-01 12:34 ` nathan at gcc dot gnu.org
2020-04-01 12:44 ` jakub at gcc dot gnu.org
2020-04-01 13:14 ` nathan at gcc dot gnu.org
2020-04-01 17:41 ` nathan at gcc dot gnu.org
2020-04-13 13:39 ` nathan at gcc dot gnu.org
2020-04-16 20:15 ` cvs-commit at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).