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