https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112372
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Created attachment 60871 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60871&action=edit Patch which I will be submitting for GCC 16 This implements what I mentioned in comment #3. After that is done, the more complex testcase: ``` int x(signed char c) { (void) c; return c+1; } int y(char c) { (void) c; return c+1; } int z(unsigned char c) { (void) c; return c+1; } ``` Is needed to produce the issue but then that is a dup of bug 63572 at that point too.