https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84123
--- Comment #2 from Segher Boessenkool <segher at gcc dot gnu.org> --- That looks good, please send the patch! What about the third case? The first in the "if" tree. Does that need this as well? (The third and last case already has a similar check).