void f() {
  new int[0]; // { dg-warning "zero" }
}