modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.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 (); }