| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000223 | Frama-C | Kernel | public | 2009-08-31 11:19 | 2014-02-12 16:56 |
|
| Reporter | ddelmas | |
| Assigned To | virgile | |
| Priority | normal | Severity | major | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Lithium-20081201 | |
| Target Version | Frama-C Boron-20100401 | Fixed in Version | Frama-C Beryllium-20090902 | |
|
| Summary | 0000223: -warn-unspecified-order false positive |
| 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). |
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships