[Bug tree-optimization/112831] New: ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[Bug tree-optimization/112831] New: ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[shaohua.li at inf dot ethz.ch]

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

            Bug ID: 112831
           Summary: ICE: tree check: expected class 'type', have
                    'exceptional' (error_mark) in
                    type_has_mode_precision_p, at tree.h:6767
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shaohua.li at inf dot ethz.ch
                CC: fweimer at redhat dot com
  Target Milestone: ---

gcc at -Os crashes on the test case.

Bisected to r14-6034-g4ee2aca7ca0

Compiler explorer: https://godbolt.org/z/6We5qxMbr

% cat a.c
int a, b;
char c;
int d() {}
void e() {
  for (; c; c++) {
    b = 0;
    for (; b <= 7; b++)
      ;
    for (; (short)(d() + b) + a; a++)
      ;
  }
}
int main() {}
%
% gcc -Os a.c
during GIMPLE pass: sccp
a.c: In function ‘e’:
a.c:4:6: internal compiler error: tree check: expected class ‘type’, have
‘exceptional’ (error_mark) in type_has_mode_precision_p, at tree.h:6767
    4 | void e() {
      |      ^
0x7f47566c3082 __libc_start_main
        ../csu/libc-start.c:308
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 tree-optimization/112831] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[fw at gcc dot gnu.org]

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

Florian Weimer <fw at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|fweimer at redhat dot com          |fw at gcc dot gnu.org

--- Comment #1 from Florian Weimer <fw at gcc dot gnu.org> ---
For me, it ICEs on the previous commit as well.

Could it be a latent bug? I'm going to attach some valgrind output.

[Bug tree-optimization/112831] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[fw at gcc dot gnu.org]

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

--- Comment #2 from Florian Weimer <fw at gcc dot gnu.org> ---
Created attachment 56776
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56776&action=edit
valgrind output

[Bug tree-optimization/112831] [14 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Target|                            |x86_64-linux-gnu
            Summary|ICE: tree check: expected   |[14 Regression] ICE: tree
                   |class 'type', have          |check: expected class
                   |'exceptional' (error_mark)  |'type', have 'exceptional'
                   |in                          |(error_mark) in
                   |type_has_mode_precision_p,  |type_has_mode_precision_p,
                   |at tree.h:6767              |at tree.h:6767
   Target Milestone|---                         |14.0

[Bug tree-optimization/112831] [14 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-12-03

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed, reduced slightly more:
```
int a, b;
char c;
void e() {
  for (; c; c++) {
        int t;
    b = 0;
    for (; b <= 7; b++)
      ;
    for (; (short)(t + b) + a; a++)
      ;
  }
}
```


0x1ace576 generic_simplify_CONVERT_EXPR(unsigned int, tree_code, tree_node*,
tree_node*)
        ???:0
0x1042d3f fold_unary_loc(unsigned int, tree_code, tree_node*, tree_node*)
        ???:0
0x10443cc fold_build1_loc(unsigned int, tree_code, tree_node*, tree_node*)
        ???:0
0x1529c9d analyze_scalar_evolution(loop*, tree_node*)
        ???:0
0x15e5575 estimate_numbers_of_iterations(loop*)
        ???:0
0x15e83b9 scev_probably_wraps_p(tree_node*, tree_node*, tree_node*, gimple*,
loop*, bool)
        ???:0

[Bug tree-optimization/112831] [14 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Dup of that other bug I guess.

[Bug tree-optimization/112831] [14 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in type_has_mode_precision_p, at tree.h:6767

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
dup

*** This bug has been marked as a duplicate of bug 112827 ***