https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77822
Dominik Vogt <vogt at linux dot vnet.ibm.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |vogt at linux dot vnet.ibm.com --- Comment #22 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- Does that mean that every pattern that uses zero_extract or sign_extract needs to check itself that 0 <= size+pos < GET_MODE_BITS (mode)?