This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 301

Summary:	Stack corruption in return from function call
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.6 Beta 1
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-03-23 13:44:29 CET

The virtual machine caches the top of the stack in a register. The implementation of the return instructions does not correctly flush and charge the cache. This causes problems upon returning from user defined functions. Symptoms are wrong results, sporadic crashes or strange error messages.

Comment 1 Gerd Behrmann 2006-03-23 13:47:50 CET

Fixed on the trunk from rev. 1686.