On Wed, Jan 7, 2026 at 2:23 PM Robin Dapp <[email protected]> wrote: > > > + if (!types_compatible_p (orig_op->type, TREE_TYPE (else_value))) > > + return false; > > Actually, I think we don't even want to accept nop-conversions here. > Just type equality should be acceptable. I'll test that.
But that's what types_compatible_p checks. What I'd change is to only verify this if else_value, not when that was determined by the preferred else value hook. Richard. > -- > Regards > Robin >
