1  /* { dg-do run } */
       2  /* { dg-additional-options "-fwrapv" } */
       3  
       4  static void __attribute__((noinline,noclone))
       5  func(void)
       6  {
       7    signed char c = 0;
       8  
       9    for(; c >= 0; c++);
      10  
      11    if(c != -128)
      12      __builtin_abort();
      13  }
      14  
      15  int main(int argc, char* argv[])
      16  {
      17    func();
      18    return 0;
      19  }