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

Bug 203

Summary: Crash when calling undeclared functions from functions
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.5.9   
Hardware: All   
OS: All   
Attachments: Minimal test case
A larger test case

Description Gerd Behrmann 2005-10-02 13:59:08 CEST
It is possible to crash the parser when calling a function f from inside a
function g, where f has been declared as a non-function, e.g. an integer variable.

See the attached test cases.
Comment 1 Gerd Behrmann 2005-10-02 14:00:31 CEST
Created attachment 59 [details]
Minimal test case
Comment 2 Gerd Behrmann 2005-10-02 14:00:52 CEST
Created attachment 60 [details]
A larger test case
Comment 3 Gerd Behrmann 2005-10-03 15:08:15 CEST
A fix has been checked into CVS.