id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
222	Infinite loop with pointer usage in .mmp file	dfix		"The line Node *p0 = &a0; causes an infinite loop.

{{{
typedef struct Node{

	struct Node* next;
	int value;

} Node;

void main () {

	//infinite loop
	Node a0;
	Node *p0 = &a0;
	a0.value = 4;
	assert a0.value == 4;
	assert p0->value == 4;
  
}
}}}

java.lang.StackOverflowError
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.StructType.equals(StructType.java:84)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.PointerType.equals(PointerType.java:26)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.StructType.equals(StructType.java:87)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.PointerType.equals(PointerType.java:26)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.StructType.equals(StructType.java:87)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.PointerType.equals(PointerType.java:26)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.StructType.equals(StructType.java:87)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.PointerType.equals(PointerType.java:26)
	at edu.udel.cis.vsl.tass.front.minimp.ast.type.StructType.equals(StructType.java:87)
	at...


"	defect	closed	major	Release 1.0	examples	1.0	fixed	.mmp, Node, pointer