1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=integer-divide-by-zero -Wno-div-by-zero" } */
3
4 int
main(void)5 main (void)
6 {
7 volatile const unsigned long int o = 1UL;
8 int zero = 0;
9
10 o / 0;
11 1UL / 0;
12 1UL / zero;
13 o / zero;
14 o / (++zero - 1);
15
16 return 0;
17 }
18
19 /* { dg-output "division by zero\[^\n\r]*(\n|\r\n|\r)" } */
20 /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
21 /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
22 /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*(\n|\r\n|\r)" } */
23 /* { dg-output "\[^\n\r]*division by zero\[^\n\r]*" } */
24