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

/* { dg-do compile } */
/* { dg-options "-fsanitize=signed-integer-overflow" } */

void
foo (void)
{
  int A[-2 / -1] = {};
}