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.
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information