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

[splint.git] / test / modifies.h

extern int f1 (int p[]) /*@modifies nothing @*/ ;
extern int f2 (int p[]) /*@modifies internalState @*/ ;
extern int g2 (int p[]) /*@modifies internalState @*/ ;