[Bug c/115642] New: [gcc][trunk] internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in c_expr_sizeof_expr

[Bug c/115642] New: [gcc][trunk] internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in c_expr_sizeof_expr

[141242068 at smail dot nju.edu.cn]

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

            Bug ID: 115642
           Summary: [gcc][trunk] internal compiler error: tree check:
                    expected class 'type', have 'exceptional' (error_mark)
                    in c_expr_sizeof_expr
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 141242068 at smail dot nju.edu.cn
  Target Milestone: ---

Compiler explorer: https://gcc.godbolt.org/z/EWcfsT9hW

This crash involve gcc-trunk, no additional options are required.

The crash triggering program:
```
void f (int N) {
  int a[2][N]; 
  sizeof ((int [2][N])a);
}
```

The stack dump:
```
<source>:3:3: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in c_expr_sizeof_expr, at c/c-typeck.cc:3390
    3 |   sizeof ((int [2][N])a);
      |   ^~~~~~
0x23be10c internal_error(char const*, ...)
        ???:0
0x8948df tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
        ???:0
0xa3bf1b c_parse_file()
        ???:0
0xab5959 c_common_parse_file()
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
```

[Bug c/115642] [11/12/13/14/15 Regression] internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in c_expr_sizeof_expr

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |ASSIGNED
   Target Milestone|---                         |11.5
   Last reconfirmed|                            |2024-06-25
            Summary|[gcc][trunk] internal       |[11/12/13/14/15 Regression]
                   |compiler error: tree check: |internal compiler error:
                   |expected class 'type', have |tree check: expected class
                   |'exceptional' (error_mark)  |'type', have 'exceptional'
                   |in c_expr_sizeof_expr       |(error_mark) in
                   |                            |c_expr_sizeof_expr
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This is a very old regression.  r145256 crashes but r145245 doesn't.

I have a patch.