test156.c 463 Bytes
Newer Older
Sergio Costas's avatar
Sergio Costas committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
typedef __crust_t__ unsigned char *crust_t;

#define NULL ((void *)0)

void function(crust_t param);

void main(int b) {

	crust_t param;

	for __crust_no_0__(b=0; b<5; b++) {
		param = (crust_t) 1; // ERROR: the second time the loop is run, this will overwrite the old value
		continue;
		function(param); // this will never be called
	}
	function(param); // This will always work because we disabled the option of never execute the statements inside the loop
}