text: /* { 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]*" } */
  