modernc.org/cc@v1.0.1/testdata/gcc-6.3.0/gcc/testsuite/gcc.c-torture/compile/iftrap-3.c (about)

     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 (); }