[Bug c++/94508] ICE in tsubst_copy, at cp/pt.c:16186

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka  changed:

   What|Removed |Added

 CC||ppalka at gcc dot gnu.org
   Target Milestone|--- |11.0
 Resolution|--- |FIXED
 Status|NEW |RESOLVED

--- Comment #4 from Patrick Palka  ---
Already fixed for GCC 11.

[Bug c++/94508] ICE in tsubst_copy, at cp/pt.c:16186

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from CVS Commits  ---
The master branch has been updated by Patrick Palka :

https://gcc.gnu.org/g:4e1aaf32ddf13cc79fcf146d6b62a6e0feb82be0

commit r12-73-g4e1aaf32ddf13cc79fcf146d6b62a6e0feb82be0
Author: Patrick Palka 
Date:   Thu Apr 22 17:47:02 2021 -0400

c++: Add testcase for already fixed PR [PR94508]

We correctly accept this testcase since r11-8144.

gcc/testsuite/ChangeLog:

PR c++/94508
* g++.dg/cpp2a/concepts-uneval3.C: New test.

[Bug c++/94508] ICE in tsubst_copy, at cp/pt.c:16186

[asolokha at gmx dot com via Gcc-bugs]

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

--- Comment #2 from Arseny Solokha  ---
(In reply to Martin Liška from comment #1)
> Confirmed, -fconcepts started with GCC 6. Is it a valid or invalid code?

clang rejects it, but accepts the following one, on which g++ also ICEs:

template
struct S4 {
  void foo() requires (this, true) { }
};

void
bar ()
{
  S4{}.foo ();
}

[Bug c++/94508] ICE in tsubst_copy, at cp/pt.c:16186

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2020-04-07
 Ever confirmed|0   |1
 CC||marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška  ---
Confirmed, -fconcepts started with GCC 6. Is it a valid or invalid code?