https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118267
--- Comment #3 from Alexandre Oliva ---
The blocks are ineligible for ifcombine because the dereferences could trap.
Some flow-dependent information could enable us to conclude that only the first
dereference could trap, and it would remain in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118267
--- Comment #2 from Richard Biener ---
struct SomeClass {
unsigned cfg1 : 1;
unsigned cfg2 : 1;
unsigned cfg3 : 1;
bool check() const noexcept { return cfg1 || cfg2 || cfg3; }
};
bool check(const SomeClass& rt) {
return rt.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118267
Richard Biener changed:
What|Removed |Added
Ever confirmed|0 |1
CC|
