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

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
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 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.