https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121104
Bug ID: 121104
Summary: ICE at O2: verify_gimple_in_cfg(function*, bool, bool)
Product: gcc
Version: 15.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: bic60176 at gmail dot com
Target Milestone: ---
Created attachment 61875
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61875&action=edit
testcase
Compiler Explorer: https://godbolt.org/z/9xEq5bdjf
console:
<source>: In function 'bar':
<source>:12:15: error: type mismatch in 'imagpart_expr' reference
12 | unsigned long bar(unsigned long *p, unsigned long *q) {
| ^~~
long unsigned int
int
_44 = IMAGPART_EXPR <_74>;
<source>:12:15: error: type mismatch in 'imagpart_expr' reference
long unsigned int
int
_34 = IMAGPART_EXPR <_73>;
<source>:12:15: error: type mismatch in 'imagpart_expr' reference
long unsigned int
int
_24 = IMAGPART_EXPR <_72>;
during GIMPLE pass: widening_mul
<source>:12:15: internal compiler error: verify_gimple failed
0x253d385 diagnostic_context::diagnostic_impl(rich_location*,
diagnostic_metadata const*, diagnostic_option_id, char const*, __va_list_tag
(*) [1], diagnostic_t)
???:0
0x255f066 internal_error(char const*, ...)
???:0
0x11ee76e verify_gimple_in_cfg(function*, bool, bool)
???: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.
Compiler returned: 1
