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:	libutap	Assignee:	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.