1  void foo (void)
       2  {
       3    double a = 0.0;
       4    double b = a;
       5    if (&b != &a);
       6  }