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  }