https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95351
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- It might not be the issue, but merge_truthop_with_opposite_arm has a suspicious HONOR_NANS (type) where type is bool: the result of the comparison instead of one of the arguments.