1  /* Check that the conditional_trap pattern handles floating-point
       2     comparisons correctly.  */
       3  void f1 (float x, float y) { if (x == y) __builtin_trap (); }
       4  void f2 (double x, double y) { if (x == y) __builtin_trap (); }