https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93044
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #3) > Indeed that seems to disallow this case. The condition is complicated > enough to warrant extra care fiddling with it though ;) The main reason why I filed this bug when I saw instead of fixing it is because the condition was complicated and I did not understand why all of the conditions were there.