[Bug c++/101790] New: ICE on invalid regression in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[Bug c++/101790] New: ICE on invalid regression in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[llvm at rifkin dot dev]

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.

[Bug c++/101790] [12 Regression] ICE on invalid regression in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE on invalid regression   |[12 Regression] ICE on
                   |in trunk: tree check:       |invalid regression in
                   |expected class 'type', have |trunk: tree check: expected
                   |'exceptional' (error_mark)  |class 'type', have
                   |                            |'exceptional' (error_mark)
             Status|UNCONFIRMED                 |NEW
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2021-08-05
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, started with r11-7106-g4e7c24d97dd65083.

[Bug c++/101790] [12 Regression] ICE on invalid regression in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
   Target Milestone|---                         |12.0
           Keywords|                            |error-recovery

[Bug c++/101790] [12/13 Regression] ICE on invalid in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|12.0                        |12.2

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 12.1 is being released, retargeting bugs to GCC 12.2.

[Bug c++/101790] [12/13/14 Regression] ICE on invalid in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|12.3                        |12.4

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 12.3 is being released, retargeting bugs to GCC 12.4.

[Bug c++/101790] [12/13/14 Regression] ICE on invalid in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I can't reproduce it on the trunk any more ...

[Bug c++/101790] [12/13/14 Regression] ICE on invalid in trunk: tree check: expected class 'type', have 'exceptional' (error_mark)

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=106560
   Target Milestone|12.4                        |13.0

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed most likely by  r13-4181 (PR 106560) so closing as such.