| /* { dg-do run } */ |
| /* { dg-options "-fsanitize=integer-divide-by-zero -Wno-div-by-zero" } */ |
| |
| int |
| main (void) |
| { |
| volatile const unsigned long int o = 1UL; |
| int zero = 0; |
| |
| o / 0; |
| 1UL / 0; |
| 1UL / zero; |
| o / zero; |
| o / (++zero - 1); |
| |
| 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]*" } */ |