extern int gfun(int);
static int sfun(int a) { return a; }

void usei(int *);
void usef(int (*)(int));
void usev(void *);

void foo(int *p, int a[5], int (*pfun)(int));
void foo(int *p, int a[5], int (*pfun)(int))
{
	extern int valg[5], valh[5], vali[5];
	static int vals[5], valt[5], valr[5];
	       int vala[5], valb[5], valc[5];

	usei(p);
	usei(valg);
	usei(&valh[0]);
	usei(&vali[1]);
	usei(vals);
	usei(&valt[0]);
	usei(&valr[1]);
	usei(vala);
	usei(&valb[0]);
	usei(&valc[1]);

	usef(pfun);
	usef(gfun);
	usef(&gfun);
	usef(sfun);
	usef(&sfun);

	usev(pfun);
	usev(gfun);
	usev(&gfun);
	usev(sfun);
	usev(&sfun);
}

/*
 * check-name: pointer-param
 * check-command: sparsec -c $file -o tmp.o
 */