[Bug c++/82531] ICE: Segmentation fault (-std=c++1z -fconcepts)

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

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

Jonathan Wakely  changed:

   What|Removed |Added

 Resolution|--- |FIXED
   Target Milestone|--- |10.0
 Status|UNCONFIRMED |RESOLVED
   Keywords||ice-on-valid-code

--- Comment #5 from Jonathan Wakely  ---
The ice-on-invalid for the comment 0 testcase was fixed by r276764, "Update the
concepts implementation to conform to C++20."

The ice-on-valid for all three cases in the comment 3 archive was fixed by the
same revision.

So fixed for GCC 10.

[Bug c++/82531] ICE: Segmentation fault (-std=c++1z -fconcepts)

[asolokha at gmx dot com]

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

Arseny Solokha  changed:

   What|Removed |Added

 CC||asolokha at gmx dot com

--- Comment #4 from Arseny Solokha  ---
The "ice" testcase in comment 3 ICEs on 9 branch, while gcc 10 and master
accept it.

[Bug c++/82531] ICE: Segmentation fault (-std=c++1z -fconcepts)

[gcc-bugs at deta dot lv]

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

Arturs Zoldners  changed:

   What|Removed |Added

  Attachment #42363|0   |1
is obsolete||

--- Comment #3 from Arturs Zoldners  ---
Created attachment 42368
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42368=edit
testcase archive

Correction: it was still an invalid code in my previous post. Substitution
"auto" -> [some concept] creates invalid code in variadic context.

While trying to create a test case with a valid code, I encountered another
ICE, I believe on a valid code (at least to my understanding of N3580 section
4.5.1). The substitution typename -> [some concept] triggers an ICE, but with a
back-trace similar to bug #68372:



testcase.cpp: In instantiation of ‘struct _map_impl’:
testcase.cpp:29:56:   required from here
testcase.cpp:17:34: internal compiler error: in tsubst_constraint, at
cp/constraint.cc:1956
  static constexpr decltype(auto) function(auto const& fun, TUPLES const&...
tuples)
  ^~~~
0x71ba6d tsubst_constraint(tree_node*, tree_node*, int, tree_node*)
../../gcc/cp/constraint.cc:1956
0x71bb19 tsubst_constraint_info(tree_node*, tree_node*, int, tree_node*)
../../gcc/cp/constraint.cc:1918
0x628070 tsubst_decl
../../gcc/cp/pt.c:12440
0x6145df tsubst(tree_node*, tree_node*, int, tree_node*)
../../gcc/cp/pt.c:13404
0x627ad0 tsubst_decl
../../gcc/cp/pt.c:12214
0x6145df tsubst(tree_node*, tree_node*, int, tree_node*)
../../gcc/cp/pt.c:13404
0x62f2e0 instantiate_class_template_1
../../gcc/cp/pt.c:10546
0x62f2e0 instantiate_class_template(tree_node*)
../../gcc/cp/pt.c:10880
0x6926e5 complete_type(tree_node*)
../../gcc/cp/typeck.c:133
0x67a092 cp_parser_nested_name_specifier_opt
../../gcc/cp/parser.c:6158
0x67ce55 cp_parser_simple_type_specifier
../../gcc/cp/parser.c:16849
0x673dc8 cp_parser_postfix_expression
../../gcc/cp/parser.c:6704
0x67499d cp_parser_unary_expression
../../gcc/cp/parser.c:8108
0x675743 cp_parser_cast_expression
../../gcc/cp/parser.c:8786
0x675eb7 cp_parser_binary_expression
../../gcc/cp/parser.c:8887
0x676584 cp_parser_assignment_expression
../../gcc/cp/parser.c:9174
0x67977a cp_parser_expression
../../gcc/cp/parser.c:9343
0x66b864 cp_parser_jump_statement
../../gcc/cp/parser.c:12160
0x66b864 cp_parser_statement
../../gcc/cp/parser.c:10594
0x66be4d cp_parser_statement_seq_opt
../../gcc/cp/parser.c:11040
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.



If this is related and relevant to bug #68372, please forward.

[Bug c++/82531] ICE: Segmentation fault (-std=c++1z -fconcepts)

[gcc-bugs at deta dot lv]

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

--- Comment #2 from Arturs Zoldners  ---
Created attachment 42363
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42363=edit
archive of 3 test cases of ICE vs base what compiles

Here are the test cases. The base compiles. 3 other are derived by substituting
"auto" with a concept. Can't tell if code is valid, although. All 3 back-traces
differ (a bit).

[Bug c++/82531] ICE: Segmentation fault (-std=c++1z -fconcepts)

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-on-invalid-code

--- Comment #1 from Richard Biener  ---
A valid testcase would help.