test22.c 224 Bytes
Newer Older
1
typedef __crust__ int * crust_t;
2

3
void function(crust_t param1) {
4
	crust_t param4 = param1;
5
	crust_t param5 = param1; // ERROR: assigning a previously freed variable (due to assign in line 4)
6
	// ERROR: param4 isn't freed
7
}