rt_gccstream/gcc/testsuite/gcc.c-torture/compile/20010711-1.c

typedef unsigned long long value;

void foo (value *v) {}

void test ()
{
  value v;
  foo (&v);
  if (v-- > 0)
    foo (&v);
}