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 941F4398E405; Tue, 19 Jan 2021 15:35:56 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 941F4398E405
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/94751] [9/10/11 Regression] ICE on invalid code in
 maybe_instantiate_noexcept
Date: Tue, 19 Jan 2021 15:35:56 +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-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dcb314 at hotmail dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 9.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-94751-4-soYN4cQuAT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-94751-4@http.gcc.gnu.org/bugzilla/>
References: <bug-94751-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: <https://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: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 19 Jan 2021 15:35:56 -0000

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

David Binderman <dcb314 at hotmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

--- Comment #3 from David Binderman <dcb314 at hotmail dot com> ---

Reduced code is:

template <int a> struct c { static constexpr int d =3D a; };
template <bool, typename> struct e;
template <typename f> struct e<true, f> { typedef f g; };
template <typename f> f aa();
class h {
public:
  template <typename i, typename... j> void ab(i *, j...) { i(j()...); }
};
template <typename> using k =3D h;
template <typename> class l : public k<int> {};
template <typename> struct m;
template <typename f> struct m<l<f>> {
  using n =3D l<f>;
  using o =3D f *;
  template <typename i> using p =3D l<i>;
  template <typename i, typename... j> static void ab(n ac, i q, j...) {
    ac.ab(q, j()...);
  }
};
template <typename...> struct r;
struct s : m<l<r<float>>> {
  struct ad {
    typedef p<r<float>> ae;
  };
};
template <typename> struct af;
template <long, typename f> using ag =3D typename af<f>::g;
template <typename> class ah {};
template <typename ai, typename... u> struct af<ah<ai, u...>> { typedef ai =
g;
};
template <long aj, typename... v> ag<aj, ah<v...>> ak(ah<v...>);
class al {
public:
  template <typename w> void operator=3D(w);
};
struct am {
  struct an {
    s::o ao;
  };
  struct : s::ad::ae, an {
  } ap;
};
template <typename, typename =3D int> class x : am {
public:
  template <typename... j> s aq(j &&...);
};
template <typename f, typename ar>
template <typename... j>
s x<f, ar>::aq(j &&...) {
  s::ab(ap, ap.ao, aa<j>()...);
}
template <typename...> class as;
template <typename... at> struct r {
  int au;
  r(at...);
  template <typename av> void aw(av);
};
class y {
public:
  static constexpr struct {
    template <typename ax> typename e<c<false>::d, ax>::g ay();
    template <typename ax> static typename e<!c<false>::d, ax>::g ay();
  } az{};
};
template <int ba> struct z {
  static void bb() {
    ah<al> b;
    ak<ba>(b) =3D y::az.ay<int>;
  }
};
template <typename bc, typename bd> void be(bc, bd) { z<0>::bb; }
template <typename... at> r<at...>::r(at...) { aw(y::az); }
template <typename... at> template <typename av> void r<at...>::aw(av ac) {
  be(au, ac);
}
template <typename ax> class as<ax> {
public:
  as &bf();
  x<int> bg;
};
template <typename ax> as<ax> &as<ax>::bf() {
  ax t;
  bg.aq(t);
}
template <typename... at> as<at...> bh(at...);
auto bi =3D bh(1.0f).bf();=