Frama-C Bug Tracking System - Frama-C
View Issue Details
0000223Frama-CKernelpublic2009-08-31 11:192014-02-12 16:56
ddelmas 
virgile 
normalmajoralways
closedfixed 
Frama-C Lithium-20081201 
Frama-C Boron-20100401Frama-C Beryllium-20090902 
0000223: -warn-unspecified-order false positive
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); }
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).
No tags attached.
Issue History
2009-08-31 11:19ddelmasNew Issue
2009-09-02 10:46signolesStatusnew => assigned
2009-09-02 10:46signolesAssigned To => virgile
2009-09-04 11:09signolesTarget Version => Frama-C Bore
2009-09-10 17:28svnCheckin
2009-09-10 17:28svnStatusassigned => resolved
2009-09-10 17:28svnResolutionopen => fixed
2009-09-23 15:26signolesFixed in Version => Frama-C Beryllium 2
2009-09-23 20:22signolesStatusresolved => closed

There are no notes attached to this issue.