int x[]={[0.3 ... 4.6]9}; /* { dg-error "not of integer type|near init" } */