test176.c 224 Bytes
Newer Older
1
typedef __crust__ unsigned char *crust_t;
2 3 4 5 6

#define NULL ((void *)0)

void function1(crust_t __crust_not_null__ param);

7
void main(void) {
8 9 10 11

	crust_t param = NULL;
	function1(param); // ERROR: the parameter must be not_null
}