|Summary:||Error in side-effect detection|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||libutap||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 2|
Description Gerd Behrmann 2005-12-05 13:42:36 CET
From Martin Instenberg: in the attached model I use a function to update a component of a struct variable. This seems to work correctly, but when doing a syntax check the warning: "Expression does not have any effect" occurs. Moving the update from inside the function directly to the edge does not have this effect. This might be a (realy) minor bug.
Comment 2 Gerd Behrmann 2005-12-05 13:45:36 CET
The problem also affects type checking of guards: As UPPAAL does not detect the side-effect, it accepts a call of this function from a guard (which is bad, as the engine assumes that guards have no side-effect).
Comment 3 Gerd Behrmann 2005-12-05 22:25:25 CET
As of now fixed on the trunk.