https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78257
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- Created attachment 40008 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40008&action=edit Very lightly tested patch. The attached (only superficially tested) patch changes fold_bultin_memcmp to fold the comparison over the length of the arrays rather than just the first pair of bytes. Does it look reasonable?