https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80131
--- Comment #4 from Segher Boessenkool <segher at gcc dot gnu.org> --- Yeah, good point. Of course c is unsigned in the example, but we should handle signed as well (and that info is lost in RTL anyway).