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

Bug 352 - Missing check for side effects in function local initialisers
Summary: Missing check for side effects in function local initialisers
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 4.0.2
Hardware: All All
: P1 major
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-10-09 19:41 CEST by Gerd Behrmann
Modified: 2006-11-05 21:47 CET (History)
0 users

See Also:

Test case (605 bytes, text/xml)
2006-10-09 19:41 CEST, Gerd Behrmann

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