c++: checking ICE with diagnosed constraint recursion [PR100288]
commitc630157fd01140dbce120c1409c413a97dc17104
authorPatrick Palka <ppalka@redhat.com>
Thu, 16 Mar 2023 18:22:54 +0000 (16 14:22 -0400)
committerPatrick Palka <ppalka@redhat.com>
Thu, 16 Mar 2023 18:22:54 +0000 (16 14:22 -0400)
treeb8ef90a8836d0a675f0799cf3f33314dafe9c018
parent8da8c7d337123b28fdeb539a283d00732118712e
c++: checking ICE with diagnosed constraint recursion [PR100288]

When satisfaction_cache::get detects constraint recursion, it asserts
that entry->result is empty.  This makes sense when we're initially
detecting/diagnosing recursion from the inner recursive call, but
afterwards from the outer recursive call the recursion error is treated
like any other unrelated constraint failure encountered during
satisfaction, and we set entry->result to whatever the satisfaction
value ended up being.

Perhaps we should keep entry->result cleared in this case, but that'd
require the inner recursive call to communicate to the outer recursive
call that constraint recursion occurred, likely via setting entry->result
to some sentinel value, which doesn't seem to be worth the complexity.
So this patch just relaxes the problematic assert to accept non-empty
entry->result as long as we've already issued an error.

PR c++/100288

gcc/cp/ChangeLog:

* constraint.cc (satisfaction_cache::get): Relax overly strict
checking assert in the constraint recursion case.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/concepts-recursive-sat5.C: New test.
gcc/cp/constraint.cc
gcc/testsuite/g++.dg/cpp2a/concepts-recursive-sat5.C [new file with mode: 0644]