[Bug c++/109692] [12/13/14 Regression] ICE on concept as default template parameter to iife lambda in fold expression in static member template function since r12-8110-ge2c7070ac77405

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

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

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P4
   Keywords||error-recovery,
   ||ice-on-valid-code,
   ||rejects-valid

--- Comment #2 from Richard Biener  ---
So indeed GCC 11.2 doesn't ICE but errors like

t.C: In instantiation of 'static void variadic::bug() [with params =
{int}]':
t.C:13:29:   required from here
t.C:9:47: error: no match for call to '(variadic::bug()::) ()'
7 | ([]>() {
  |  
8 |  if constexpr (x) callee();
  |  ~~
9 |  }(), ...);
  |  ~^~
t.C:7:26: note: candidate: 'template variadic::bug()::'
7 | ([]>() {
  |  ^
t.C:7:26: note:   template argument deduction/substitution failed:

but I regard we should accept this.  Given the ICE is error-recovery the
regression should be P4 and that we reject the code isn't a regression.

Separating these bugs might be nice.  Since it's marked as regression it's P4.

[Bug c++/109692] [12/13/14 Regression] ICE on concept as default template parameter to iife lambda in fold expression in static member template function since r12-8110-ge2c7070ac77405

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

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

Andrew Pinski  changed:

   What|Removed |Added

   Target Milestone|--- |12.4

[Bug c++/109692] [12/13/14 Regression] ICE on concept as default template parameter to iife lambda in fold expression in static member template function since r12-8110-ge2c7070ac77405

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

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

Martin Liška  changed:

   What|Removed |Added

Summary|ICE on concept as default   |[12/13/14 Regression] ICE
   |template parameter to iife  |on concept as default
   |lambda in fold expression   |template parameter to iife
   |in static member template   |lambda in fold expression
   |function|in static member template
   ||function since
   ||r12-8110-ge2c7070ac77405
   Last reconfirmed||2023-05-02
 Status|UNCONFIRMED |NEW
 Ever confirmed|0   |1
 CC||marxin at gcc dot gnu.org,
   ||ppalka at gcc dot gnu.org

--- Comment #1 from Martin Liška  ---
Started with r12-8110-ge2c7070ac77405.