[Bug c++/105481] [9/10/11/12/13 Regression] ICE: unexpected expression of kind template_parm_index

2022-05-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105481 --- Comment #5 from Patrick Palka --- Here's a closely related rejects-valid (rather than ICE-on-valid) testcase, where the default argument is now T instead of uint (which shouldn't affect the outcome of partial ordering): template struct

[Bug c++/105481] [9/10/11/12/13 Regression] ICE: unexpected expression of kind template_parm_index

2022-05-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105481 --- Comment #4 from Patrick Palka --- During type_unification_real as part of partial ordering, when considering default template arguments we assume all previously deduced arguments are non-dependent and therefore default argument

[Bug c++/105481] [9/10/11/12/13 Regression] ICE: unexpected expression of kind template_parm_index

2022-05-05 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105481 Patrick Palka changed: What|Removed |Added CC||ppalka at gcc dot gnu.org --- Comment

[Bug c++/105481] [9/10/11/12/13 Regression] ICE: unexpected expression of kind template_parm_index

2022-05-04 Thread mpolacek at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105481 Marek Polacek changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug c++/105481] [9/10/11/12/13 Regression] ICE: unexpected expression of kind template_parm_index

2022-05-04 Thread mpolacek at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105481 Marek Polacek changed: What|Removed |Added Status|UNCONFIRMED |NEW Priority|P3