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

Bug 235

Summary: Error in side-effect detection
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 2   
Hardware: All   
OS: All   
Architecture:
Attachments: Testcase (XML)

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 1 Gerd Behrmann 2005-12-05 13:43:41 CET
Created attachment 78 [details]
Testcase (XML)
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.