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

typedef unsigned long long ull;
ull bar (void);
void foo (ull *x)
{
  ull y = bar ();
  *x += y >> 32;
}