https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101541
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Another one missed: ``` unsigned abssat2 (unsigned x) { int y = x; if (y < 0) x = -x; return x; } ``` I have a patch for the this case, I think. Working on the other case now.