https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94717
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Even the && info->ins_stmt != NULL in coalesce_immediate_stores is redundant, because try_coalesce_bswap is called with first = i - 1 and starts with i = first + 1 and thus caller's i and info in the caller is m_store_info[i]. But I certainly don't object to having the redundant check in the caller, so patch to add the check to try_coalesce_bswap is preapproved, with or without adding the check to the caller too, your decision.