Bug 625

Summary: cannot access array A in template instantiation
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: minor CC: adavid
Priority: P5    
Version: 4.0.14   
Hardware: All   
OS: All   
Attachments: model triggering the problem

Description Marius Mikučionis 2016-10-27 11:57:12 CEST
Created attachment 304 [details]
model triggering the problem

Suppose we have a template:

Template(int i){...};

Then in the system declaration:

const int A[2] = {1,1};
Process = Template(A[0]);
system Process;

Uppaal complains at the A[0] expression:

[error] syntax error, unexpected ']'.

If the array variable is renamed to anything but A, then the symptoms are gone.
I tried with variable name E, but Uppaal is fine with that.

4.1.19 does not have this issue.