https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109722
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note I accidently found this while creating a patch for PR 101541 and I had messed up creating ABSU when I didn't need to and it was causing the testsuite patterns in tree-ssa/vrp20.c not to match (though it was optimized correctly still).