Update configure and makefile to aclocal/automake 1.10.1 and autoconf 2.61.

[splint.git] / test / t1.c

void f ()
{
  int *z;
  z = (int *) malloc (4);
}