Frama-C Bug Tracking System - Frama-C
View Issue Details
0001139Frama-CKernelpublic2012-04-02 13:542014-02-12 16:59
patrick 
patrick 
normalcrashhave not tried
closedfixed 
 
Frama-C Oxygen-20120901 
0001139: unrolling labeled loops
foward gotos to unrolled loop are transformed into goto to undefined labels.
> cat file void g (int j) { if (j==0) goto zero; return; zero: //@ loop pragma UNROLL_LOOP 3; while (j<5) {j++;} } > frama-c -print file.c
No tags attached.
Issue History
2012-04-02 13:54patrickNew Issue
2012-04-02 13:54patrickStatusnew => assigned
2012-04-02 13:54patrickAssigned To => patrick
2012-04-02 13:55svnCheckin
2012-04-02 13:55svnStatusassigned => resolved
2012-04-02 13:55svnResolutionopen => fixed
2012-04-02 13:59svnCheckin
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2014-02-12 16:59patrickNote Added: 0004706
2014-02-12 16:59patrickStatusclosed => resolved

Notes
(0004706)
patrick   
2014-02-12 16:59   
Fix committed to stable/neon branch.