Warning depens on type of volatile variable
ID0002281: This issue was created automatically from Mantis Issue 2281. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002281 | Frama-C | Plug-in > Eva | public | 2017-02-15 | 2017-03-06 |
| Reporter | Max P. | Assigned To | yakobowski | Resolution | no change required |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | Cygwin | OS | Windows 7 | OS Version | x64 |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | - |
Description :
Frama-C generates warnings in depend on signed or unsigned volatile variable.
Steps To Reproduce :
Run EVA analysis for attached file.