public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/111855] New: GCC: 14: internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265
@ 2023-10-18  3:18 141242068 at smail dot nju.edu.cn
  2023-10-18  3:23 ` [Bug c/111855] " pinskia at gcc dot gnu.org
  2023-10-18  3:25 ` pinskia at gcc dot gnu.org
  0 siblings, 2 replies; 3+ messages in thread
From: 141242068 at smail dot nju.edu.cn @ 2023-10-18  3:18 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 111855
           Summary: GCC: 14: internal compiler error: tree check: expected
                    class 'type', have 'exceptional' (error_mark) in
                    useless_type_conversion_p, at gimple-expr.cc:265
           Product: gcc
           Version: 14.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: ---

When compile this program with GCC-14, gcc throws internal compiler error:
```
extern void *memmove(void [3], const void *, __SIZE_TYPE__);

void f(void)
{
 char s[] = "12345";
 memmove(s + 1, s, 4);
}
```

Compiler Explorer: https://gcc.godbolt.org/z/5zcnehhzo

The full stack:
```
<source>:1:27: error: declaration of type name as array of voids
    1 | extern void *memmove(void [3], const void *, __SIZE_TYPE__);
      |                           ^
<source>: In function 'f':
<source>:6:12: error: type of formal parameter 1 is incomplete
    6 |  memmove(s + 1, s, 4);
      |          ~~^~~
<source>:6:2: internal compiler error: tree check: expected class 'type', have
'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265
    6 |  memmove(s + 1, s, 4);
      |  ^~~~~~~
0x230ff8e internal_error(char const*, ...)
        ???:0
0x8a8944 tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
        ???:0
0xdb9a31 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdb9247 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdbc21a gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdba1c3 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdbc21a gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdb926f gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ???:0
0xdbc21a gimplify_stmt(tree_node**, gimple**)
        ???:0
0xdbe233 gimplify_body(tree_node*, bool)
        ???:0
0xdbe68f gimplify_function_tree(tree_node*)
        ???:0
0xbe7db7 cgraph_node::analyze()
        ???:0
0xbeb901 symbol_table::finalize_compilation_unit()
        ???: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.
```

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug c/111855] GCC: 14: internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265
  2023-10-18  3:18 [Bug c/111855] New: GCC: 14: internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265 141242068 at smail dot nju.edu.cn
@ 2023-10-18  3:23 ` pinskia at gcc dot gnu.org
  2023-10-18  3:25 ` pinskia at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-10-18  3:23 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I am 90% sure this is no a recent regression.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug c/111855] GCC: 14: internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265
  2023-10-18  3:18 [Bug c/111855] New: GCC: 14: internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265 141242068 at smail dot nju.edu.cn
  2023-10-18  3:23 ` [Bug c/111855] " pinskia at gcc dot gnu.org
@ 2023-10-18  3:25 ` pinskia at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-10-18  3:25 UTC (permalink / raw)
  To: gcc-bugs

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

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

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 100532.

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2023-10-18  3:25 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-10-18  3:18 [Bug c/111855] New: GCC: 14: internal compiler error: tree check: expected class 'type', have 'exceptional' (error_mark) in useless_type_conversion_p, at gimple-expr.cc:265 141242068 at smail dot nju.edu.cn
2023-10-18  3:23 ` [Bug c/111855] " pinskia at gcc dot gnu.org
2023-10-18  3:25 ` pinskia at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).