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

Bug 370

Summary: Crash with invalid arguments to constant reference template parameters
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 4.0.3   
Hardware: All   
OS: All   
Architecture:
Attachments: Test case

Description Gerd Behrmann 2006-11-13 19:52:27 CET 
For a template with a constant reference parameter like 'const int &', the parameter 'j[k]', for k being a non-constant integer variable, causes libutap to segfault.
Comment 1 Gerd Behrmann 2006-11-13 19:52:47 CET 
Created attachment 125 [details]
Test case
Comment 2 Gerd Behrmann 2006-11-13 19:57:08 CET 
Fixed on the trunk from rev. 2803.
Comment 3 Gerd Behrmann 2006-11-14 23:11:15 CET 
Fixed on the 4.0 branch from rev. 2808.