ptrcast(unsigned long * x)1*1f5207b7SJohn Levon static char *ptrcast(unsigned long *x)
2*1f5207b7SJohn Levon {
3*1f5207b7SJohn Levon 	return (unsigned char *) x;
4*1f5207b7SJohn Levon }
5*1f5207b7SJohn Levon 
6*1f5207b7SJohn Levon /*
7*1f5207b7SJohn Levon  * check-name: Pointer cast code generation
8*1f5207b7SJohn Levon  * check-command: sparsec -c $file -o tmp.o
9*1f5207b7SJohn Levon  */
10