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: EngineAssignee: Alexandre David <adavid>
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Linux   

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.