Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002180Frama-CPlug-in > wppublic2015-10-19 21:312017-12-17 20:53
Reporteryakobowski 
Assigned Tocorrenson 
PrioritynormalSeveritycrashReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002180: Crash on loop with global assigns and per-behavior assigns
Descriptionframa-c -wp crashes on the following program

/*@ behavior foo:
       */
void main(void)
{
  int i;
  int t[10];
  i = 0;
  /*@ loop assigns t[0 .. i];
      for foo: loop assigns t[0 .. i]; */
  while (i < 10) {
    t[i] = 0;
    i ++;
  }
  return;
}
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2015-10-19 21:31 yakobowski New Issue
2015-10-19 21:31 yakobowski Status new => assigned
2015-10-19 21:31 yakobowski Assigned To => correnson


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker