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

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