unrolling labeled loops
ID0001139: This issue was created automatically from Mantis Issue 1139. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001139 | Frama-C | Kernel | public | 2012-04-02 | 2014-02-12 |
| Reporter | patrick | Assigned To | patrick | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C Oxygen-20120901 |
Description :
foward gotos to unrolled loop are transformed into goto to undefined labels.
Additional Information :
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