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 */