https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88916
--- Comment #2 from Wojciech Mula <wojciech_mula at poczta dot onet.pl> --- (In reply to Richard Biener from comment #1) > Confirmed. The first case is OK, but the second (for `both_nonzero`) is obviously wrong. Sorry for that.