Frama-C Bug Tracking System - Frama-C |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001139 | Frama-C | Kernel | public | 2012-04-02 13:54 | 2014-02-12 16:59 |
|
| Reporter | patrick | |
| Assigned To | patrick | |
| Priority | normal | Severity | crash | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | | |
| Target Version | | Fixed in Version | Frama-C Oxygen-20120901 | |
|
| Summary | 0001139: unrolling labeled loops |
| Description | foward gotos to unrolled loop are transformed into goto to undefined labels. |
| Steps To Reproduce | |
| 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 |
| Tags | No tags attached. |
| Relationships | |
| Attached Files | |
|
| Issue History |
| Date Modified | Username | Field | Change |
| 2012-04-02 13:54 | patrick | New Issue | |
| 2012-04-02 13:54 | patrick | Status | new => assigned |
| 2012-04-02 13:54 | patrick | Assigned To | => patrick |
| 2012-04-02 13:55 | svn | Checkin | |
| 2012-04-02 13:55 | svn | Status | assigned => resolved |
| 2012-04-02 13:55 | svn | Resolution | open => fixed |
| 2012-04-02 13:59 | svn | Checkin | |
| 2012-09-19 17:15 | signoles | Fixed in Version | => Frama-C Oxygen-20120901 |
| 2012-09-19 17:16 | signoles | Status | resolved => closed |
| 2014-02-12 16:59 | patrick | Note Added: 0004706 | |
| 2014-02-12 16:59 | patrick | Status | closed => resolved |