Bug 235 - Error in side-effect detection
Summary: Error in side-effect detection
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 3.6 Alpha 2
Hardware: All All
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-12-05 13:42 CET by Gerd Behrmann
Modified: 2005-12-05 22:25 CET (History)
0 users

See Also:
Architecture:


Attachments
Testcase (XML) (806 bytes, text/xml)
2005-12-05 13:43 CET, Gerd Behrmann
Details

Note You need to log in before you can comment on or make changes to this bug.
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.