This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Giant concepts patch
- From: Jason Merrill <jason at redhat dot com>
- To: Andrew Sutton <andrew dot n dot sutton at gmail dot com>
- Cc: gcc-patches <gcc-patches at gcc dot gnu dot org>, Ville Voutilainen <ville dot voutilainen at gmail dot com>, Casey Carter <Casey at carter dot net>
- Date: Mon, 18 Jul 2016 17:17:10 -0400
- Subject: Re: [PATCH] Giant concepts patch
- Authentication-results: sourceware.org; auth=none
- References: <CANq5SytDHDqaKDVnvq_MAyH70G4tR_KmnqayGegiksX6GoDZgg@mail.gmail.com> <CADzB+2msj4RVC=LiG9sNPGB28bAor++it7dZmz8RUqxZMAXPXw@mail.gmail.com> <CADzB+2mBjNCpBZH334GkBOxMGQ_+1FX7V88ZugecRhTsp4vKPQ@mail.gmail.com> <CANq5Sys-GDL+5NJVRzc80e00zMOg6WtW4P1eYQdzb2PnO7RtmQ@mail.gmail.com> <CADzB+2=K8_9U1Kts_E8vgN4iykhkfrEFJvaGi-uknecs0sF+JA@mail.gmail.com> <CANq5SyvFbXjA-w9fk2-whLn11A88ZKp98xcau66bTJg+qoJCpg@mail.gmail.com> <CANq5SysU8YYci9-P62LiLTXFCpg1ViXwYfE4xXOn3FB9BiiQAw@mail.gmail.com>
On Sun, Jul 10, 2016 at 11:20 AM, Andrew Sutton
<andrew.n.sutton@gmail.com> wrote:
> I just tried building a fresh pull of cmcstl2, and I'm not seeing any
> errors as a result of not handling those missing codes in
> tsubst_constraint. At one point, I think it was not possible to get
> those other constraints in this context because they were nested in a
> parm_constr. But that seems obviously untrue now. But still... that
> gcc_unreachable isn't being triggered by any code in cmcstl.
The only one that was triggered by cmcstl was EXPR_CONSTR, and then
only for a member; if you comment out the EXPR_CONSTR case that I
added to tsubst_constraint, this test will ICE.
struct B
{
template <class T> void f(T t)
requires requires (T tt) { tt; }
{ }
};
int main()
{
B().f(42);
}
Jason