https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119033
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Sam James from comment #1) > r13-469-g9a53101caadae1 but latent before I guess No I think that kinda of introdued it, it simplified `((size_t)a == (size_t)b) ? b : a` into just `a`: phiopt match-simplify trying: a.0_1 == b.1_2 ? &test.b[0] : a_7 Matching expression match.pd:161, gimple-match-10.cc:33 Matching expression match.pd:161, gimple-match-10.cc:33 Applying pattern match.pd:5297, gimple-match-2.cc:7854 Applying pattern match.pd:5436, gimple-match-2.cc:7977 Applying pattern match.pd:6377, gimple-match-10.cc:6173 phiopt match-simplify back: result: a_7