https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111683
--- Comment #21 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 57768 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57768&action=edit gcc14-pr111683.patch Updated patch which uses wi::multiple_of_p but doesn't regress pr71083.c. To be precise, it actually wasn't about foo with the bitfield, that used to be optimized before/after, but bar which uses packed struct with char and short members, step was 3 but the short access had size 2. But given that the 2 sized access is a COMPONENT_REF of the 3 byte sized struct, if step is a multiple of 3, that is fine as well.