id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
224	Free fails when used on a struct pointer.	dfix		"This works in C, but it's being seen here as an invalid pointer.  It seems that free has only been implemented for arrays.

{{{

typedef struct Node{

	struct Node* next;
	int value;

} Node;

void main () {
	
	Node u1;
	Node *a;
	
	a = &u1;

 	free(a); 
}
}}}

edu.udel.cis.vsl.tass.util.ExecutionException: Execution error encountered at linkedListDeletion.mmp 16.7--16.8: ""a""
Invalid pointer:
&u1

"	defect	closed	major	Release 1.0	examples	1.0	invalid	pointer, free, dealocate, dealocation, record