https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108316
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rsandifo at gcc dot gnu.org CC| |rsandifo at gcc dot gnu.org --- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- Mine. We rely on pattern recognition to make the types match, but in this case an earlier pattern takes priority. Fixing that properly is stage 1 material, so I think we'll have to prevent the optimisation for GCC 13.