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