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

            Bug ID: 101790
           Summary: ICE on invalid regression in trunk: tree check:
                    expected class 'type', have 'exceptional' (error_mark)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: llvm at rifkin dot dev
  Target Milestone: ---

https://godbolt.org/z/9ozxbY5nh


template<class...>
concept a=;
int b=a<>;


<source>:2:11: error: expected primary-expression before ';' token
    2 | concept a=;
      |           ^
<source>: In function 'void __static_initialization_and_destruction_0(int,
int)':
<source>:3:7: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.c:87
    3 | int b=a<>;
      |       ^~~
0x1db4d89 internal_error(char const*, ...)
        ???:0
0x6a23c3 tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
        ???:0
0xd76e33 useless_type_conversion_p(tree_node*, tree_node*)
        ???:0
0x136bdf6 tree_ssa_strip_useless_type_conversions(tree_node*)
        ???:0
0xdbe63f gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdc14ca gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdc43a8 gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdc0d3e gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdc43a8 gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdbfe83 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdc43a8 gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdc12b0 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdc43a8 gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdc12b0 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdc43a8 gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdc600e gimplify_body(tree_node*, bool)
        ???:0
0xdc6627 gimplify_function_tree(tree_node*)
        ???:0
0xbe2ad7 cgraph_node::analyze()
        ???:0
0xbe6f0d symbol_table::finalize_compilation_unit()
        ???:0
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

Reply via email to