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

void foo (void)
{
  double a = 0.0;
  double b = a;
  if (&b != &a);
}