https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113071
XChy <xxs_chy at outlook dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |xxs_chy at outlook dot com --- Comment #1 from XChy <xxs_chy at outlook dot com> --- May the fold below is a more general one? (a == b | other_cond) ? a : b can be other_cond ? a : b Actually a == c in this example is irrelevant and can be replaced by any other condition.