blob: 2271ea9b7761043b3252b022a3e43a1af0ac9ff4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
/* { dg-do run } */
/* { dg-options "-fsanitize=float-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;
res = a / 0.0;
res = 2.7f / b;
res = 3.6 / (b = 0.0, b);
res = c / b;
res = b / c;
return 0;
}
/* { dg-output "division by zero\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*division by zero\[^\n\r]*" } */
|