| Summary: | Global function names overlapping with local variable names | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Saulius Pusinskas <saulius> |
| Component: | libutap | Assignee: | Gerd Behrmann <behrmann> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | P1 | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
Talked to Gerd. This is a regression in 3.6.alpha5.pre2 since pre1. Re-assigning to proper owner. Correction: This is a current since alpha 4. Alpha 5 pre1 has the same problem. Fixed as of rev. 1593. |
Having a function in global declarations, say void f(int number) { ... } and the local variable in some template under same name, say int f; the Update statement on any of template's transitions, like f(f) has no effect since function's name is masked with local variable's name. It is also possible to define a (local) variable like int v; and include expression on the update of some of the template's transitions: v(v) Uppaal will not complain in such case either, while it should since no function with name "v" is declared.