1/* { dg-do run } */
2/* { dg-options "-fsanitize=integer-divide-by-zero -Wno-div-by-zero" } */
3
4int
5main (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