1  /* { dg-do run } */
       2  /* { dg-shouldfail "ubsan" } */
       3  /* { dg-options "-fsanitize=float-divide-by-zero -fno-sanitize-recover=float-divide-by-zero -fsanitize-recover=integer-divide-by-zero" } */
       4  
       5  int
       6  main (void)
       7  {
       8    volatile float a = 1.3f;
       9    volatile double b = 0.0;
      10    volatile int c = 4;
      11    volatile float res;
      12  
      13    res = a / b;
      14  
      15    return 0;
      16  }
      17  
      18  /* { dg-output "division by zero" } */