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

Bug 302 - Memory corruption from function calls in variable declarations
Summary: Memory corruption from function calls in variable declarations
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.6 Beta 1
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-03-23 13:49 CET by Gerd Behrmann
Modified: 2006-03-23 13:49 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Gerd Behrmann 2006-03-23 13:49:39 CET 
If user defined functions are called from an expression used to define the bounds of an integer or the size of an array, then the memory layout of the virtual machine will be corrupted. This is a regression from alpha 5 to beta 1.