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

Bug 352

Summary:	Missing check for side effects in function local initialisers
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	4.0.2
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case

Description Gerd Behrmann 2006-10-09 19:41:15 CEST

There is code in typechecker.cpp for checking that all initialisers are side-effect free; even those in functions. However as the attached model demonstrates, the logic is flawed (side-effect is not detected).

Comment 1 Gerd Behrmann 2006-10-09 19:41:48 CEST

Created attachment 115 [details]
Test case

Comment 2 Gerd Behrmann 2006-11-05 21:47:33 CET

Fixed on the 4.0 branch from rev. 2792 and on the trunk from rev. 2793.