gcc/testsuite/gcc.dg/pr80788.c

   1 /* PR tree-optimization/80788 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -fwrapv" } */
   4
   5 void
   6 foo (signed char x)
   7 {
   8   signed char a = (x + 1) ^ 128;
   9   x &= !!a;
  10   if (x != 0)
  11     for (;;)
  12       ;
  13 }