test179.c 194 Bytes
Newer Older
1 2 3 4 5 6 7 8
typedef __crust_t__ unsigned char *crust_t;

#define NULL ((void *)0)

crust_t __crust_not_null__ main(crust_t param) {

	return param; // ERROR: param can be NULL, but the return value can't
}