Unused global variable names not striked out in gui when assigns clause for external function is used
ID0001105: This issue was created automatically from Mantis Issue 1105. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001105 | Frama-C | Graphical User Interface | public | 2012-02-24 | 2012-02-24 |
| Reporter | Jochen | Assigned To | monate | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
I ran "frama-c-gui -val computeBug.c" on the attached program. Although the variable "a" is never used, its name is not striked out in the translation-unit overview window of the gui.
On the other hand, both variable names "a" and "b" are striked out when either (1) the "@" is removed in line 4, or (2) the ";" is replaced by a trivial procedure body "{}" in line 5, or (3) the call to "write()" is commented out in line 9.