test68.c 185 Bytes
Newer Older
1 2 3 4 5 6
typedef __crust_t__ unsigned char *crust_t;

#define NULL ((void *)0)

void main(crust_t __crust_borrow__ param) {

7
	param = NULL; // ERROR: a borrowed parameter can't be overwritten
8
}