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:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.5.9
Hardware:	All
OS:	All
Architecture:
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.