-warn-unspecified-order false positive
ID0000223: This issue was created automatically from Mantis Issue 223. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000223 | Frama-C | Kernel | public | 2009-08-31 | 2014-02-12 |
| Reporter | ddelmas | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Lithium-20081201 | Target Version | Frama-C Boron-20100401 | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
Option -warn-unspecified-order yields a wrong warning on the below example:
extern int F(int, int);
void main() { int i, j, k, l; l = (F(i,j) == k); }
Additional Information :
This issue was present in release Lithium. It seemed to have disappeared from release Beryllium-20090601-beta1, but it has re-appeared in later SVN revisions (e.g 5973, 6053).