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: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.6 Beta 1   
Hardware: All   
OS: All   

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.