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