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

/* { dg-do compile } */
/* { dg-options "-fsanitize=integer-divide-by-zero -w" } */

void
foo (int i)
{
  switch (i)
  case 0 * (1 / 0): /* { dg-error "is not a constant expression" } */
    ;
}