[Bug c++/88395] ICE: Segmentation fault signal terminated program cc1plus, with -std=c++2a -fconcepts

[asutton at gcc dot gnu.org]

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

--- Comment #12 from asutton at gcc dot gnu.org ---
Author: asutton
Date: Wed Nov 27 15:09:22 2019
New Revision: 278773

URL: https://gcc.gnu.org/viewcvs?rev=278773&root=gcc&view=rev
Log:
2019-11-27  Andrew Sutton  <asut...@lock3software.com>

        PR c++/88395
        Prevent recursive satisfaction by adding requests to the instantiation
        stack.

gcc/cp/
        * constraint.cc (satisfy_declaration_constraints): Push tinst levels
        around satisfaction.

gcc/testsuite/
        * g++.dg/cpp2a/concepts-pr88395.C: New.
        * g++.dg/cpp2a/concepts-recursive-sat1.C: New.
        * g++.dg/cpp2a/concepts-recursive-sat2.C: New.
        * g++.dg/cpp2a/concepts-recursive-sat3.C: New.


Added:
    trunk/gcc/testsuite/g++.dg/cpp2a/concepts-pr88395.C
    trunk/gcc/testsuite/g++.dg/cpp2a/concepts-recursive-sat1.C
    trunk/gcc/testsuite/g++.dg/cpp2a/concepts-recursive-sat2.C
    trunk/gcc/testsuite/g++.dg/cpp2a/concepts-recursive-sat3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/constraint.cc
    trunk/gcc/testsuite/ChangeLog