https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117646
Bug ID: 117646
Summary: [15 Regression] ICE: verify_gimple failed invalid
types for ‘bit_ior_expr’
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: kostadinshishmanov at protonmail dot com
Target Milestone: ---
`gcc -O2 test.cc.ii`
```
char *a, *b;
char *m() {
if (a < b)
return b;
return a;
}
struct S {
void operator&&(int);
};
void GetSerialArenaFallback() {
char *p = m();
__builtin_expect(p != nullptr, false) ? (void)0 : S() && 0;
}
```
test.cc.ii: In function 'void GetSerialArenaFallback()':
test.cc.ii:13:1: error: invalid types for 'bit_ior_expr'
13 | }
| ^
char *
char *
char *
_13 = a.0_6 | b.1_11;
during GIMPLE pass: forwprop
test.cc.ii:13:1: internal compiler error: verify_gimple failed
0x28c575e internal_error(char const*, ...)
../../gcc/gcc/diagnostic-global-context.cc:518
0x13f430d verify_gimple_in_cfg(function*, bool, bool)
../../gcc/gcc/tree-cfg.cc:5682
0x12700da execute_function_todo
../../gcc/gcc/passes.cc:2102
0x1270687 execute_todo
../../gcc/gcc/passes.cc:2156
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.
