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