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

[splint.git] / test / nullassign.c

int *a = 0;
 
/*@null@*/ int* b = 0;
 
/*@notnull@*/ int *c = 0;