1  // { dg-do compile }
       2  // { dg-options "-O1 -fno-signed-zeros" }
       3  
       4  void
       5  foo (double x, double y)
       6  {
       7    if (!x == !y * -1.0)
       8      __builtin_trap ();
       9  }