gcc/testsuite/g++.dg/ubsan/div-by-zero-1.C

   1 /* { dg-do compile } */
   2 /* { dg-options "-fsanitize=integer-divide-by-zero" } */
   3
   4 /* TODO: We expect an error on the invalid case here, because that
   5    must be a constant-expression.  This will be fixed when we have
   6    proper delayed folding.  */
   7
   8 void
   9 foo (int i)
  10 {
  11   switch (i)
  12   case 0 * (1 / 0): /* { dg-warning "division by zero" } */
  13     ;  /* { dg-error "division by zero" "" { xfail *-*-* } 10 } */
  14 }