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

Bug 486

Summary:	Server crash due to fooling the typechecker
Product:	UPPAAL	Reporter:	Alexandre David <adavid>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	Linux
Architecture:

Description Alexandre David 2010-04-06 18:46:24 CEST

An if-statement without an else clause ending a function that is supposed to return something will fool the typechecker and cause a stack overflow at run time if the condition evaluates to false.

Comment 1 Alexandre David 2010-04-06 18:48:32 CEST

Fixed in rev. 4510.