1/* { dg-do run } */
2/* { dg-options "-fsanitize=float-divide-by-zero" } */
3
4int
5main (void)
6{
7  volatile float a = 1.3f;
8  volatile double b = 0.0;
9  volatile int c = 4;
10  volatile float res;
11
12  res = a / b;
13  res = a / 0.0;
14  res = 2.7f / b;
15  res = 3.6 / (b = 0.0, b);
16  res = c / b;
17  res = b / c;
18
19  return 0;
20}
21
22/* { dg-output "division by zero\[^\n\r]*(\n|\r\n|\r)" } */
23/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
24/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
25/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
26/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*" } */
27