ptrcast(unsigned long * x)1*1f5207b7SJohn Levonstatic 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