main(int argc,char ** argv)1 int main(int argc, char** argv) {
2   int nx = 2;
3   void theerror(double a[][nx+1]); // { dg-message "" }
4   double** a;
5   theerror(a);
6   return 0;
7 }
8