gcc/testsuite/gcc.c-torture/execute/20000313-1.c

   1 unsigned int buggy (unsigned int *param)
   2 {
   3   unsigned int accu, zero = 0, borrow;
   4   accu    = - *param;
   5   borrow  = - (accu > zero);
   6   *param += accu;
   7   return borrow;
   8 }
   9
  10 int main (void)
  11 {
  12   unsigned int param  = 1;
  13   unsigned int borrow = buggy (&param);
  14
  15   if (param != 0)
  16     abort ();
  17   if (borrow + 1 != 0)
  18     abort ();
  19   return 0;
  20 }