test139.c 550 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
typedef __crust_t__ unsigned char *crust_t;

#define NULL ((void *)0)

void function(crust_t param);

void main(crust_t param1, crust_t param2, crust_t param3) {

	for __crust_no_0__ (int b=0; b < 4; b++) {

		for __crust_no_0__ (int c = 0; c < 4; b++) {
			break;
			for __crust_no_0__ (int d = 0; d < 4; d++) {
				function(param1); // this never should be called
			}
			function(param2); // this also never should be called
		}
		function(param3); // this must be called
		break;
	}
	// here, param3 must be freed, but neither param1 or param2
}