Frama-C Bug Tracking System - Frama-C
View Issue Details
0001284Frama-CKernelpublic2012-10-19 10:472014-02-12 16:58
signoles 
virgile 
normalmajoralways
closedfixed 
Frama-C Oxygen-20120901 
Frama-C Fluorine-20130401 
0001284: Copy visitor builds an inconsistent AST on clause 'frees'
Run the uploaded script on the following file: === frees.i === /*@ frees x; */ void f(int *x); =============== $ frama-c -check -load-script frees.ml frees.i frees.i:1:[kernel] failure: [AST Integrity Check] AST of frees logic variable x(741) is not shared between definition and use
No tags attached.
? frees.ml (127) 2012-10-19 10:47
https://bts.frama-c.com/file_download.php?file_id=429&type=bug
Issue History
2012-10-19 10:47signolesNew Issue
2012-10-19 10:47signolesStatusnew => assigned
2012-10-19 10:47signolesAssigned To => virgile
2012-10-19 10:47signolesFile Added: frees.ml
2012-10-19 13:00virgileStatusassigned => acknowledged
2012-10-22 12:27svnCheckin
2012-10-22 12:27svnStatusacknowledged => resolved
2012-10-22 12:27svnResolutionopen => fixed
2013-04-19 11:05signolesFixed in Version => Frama-C Fluorine
2013-04-19 11:05signolesStatusresolved => closed
2014-02-12 16:58Note Added: 0004613
2014-02-12 16:58Statusclosed => resolved

Notes
(0004613)
   
2014-02-12 16:58   
Fix committed to stable/neon branch.