int a[] = { };  // { dg-error "5:zero-size array" }