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

   1 /* { dg-do compile } */
   2 /* { dg-options "-fsanitize=integer-divide-by-zero" } */
   3
   4 void
   5 foo (int i)
   6 {
   7   switch (i)
   8   case 0 * (1 / 0): /* { dg-warning "division by zero" } */
   9     ;  /* { dg-error "is not a constant.expression" "" { target *-*-* } .-1 } */
  10 }