Frama-C Bug Tracking System - Frama-C
View Issue Details
0002180Frama-CPlug-in > wppublic2015-10-19 21:312017-12-17 20:53
yakobowski 
correnson 
normalcrashalways
assignedopen 
 
 
0002180: Crash on loop with global assigns and per-behavior assigns
frama-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; }
No tags attached.
Issue History
2015-10-19 21:31yakobowskiNew Issue
2015-10-19 21:31yakobowskiStatusnew => assigned
2015-10-19 21:31yakobowskiAssigned To => correnson

There are no notes attached to this issue.