https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124250
--- Comment #8 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- (In reply to Richard Biener from comment #7) > How do you know zero_extend is correct? This code path only handles shift and I guess a negative shift amount is always undefined?
