gcc/testsuite/c-c++-common/ubsan/div-by-zero-2.c

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