https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117532
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Modified testcase for testsuite: int a, c = -1; __attribute__((noipa)) void foo (int x) { if (x) __builtin_abort (); } int main () { a = ~c; foo ((unsigned char) a); }