Crash on loop with global assigns and per-behavior assigns
ID0002180: This issue was created automatically from Mantis Issue 2180. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002180 | Frama-C | Plug-in > wp | public | 2015-10-19 | 2019-10-17 |
| Reporter | yakobowski | Assigned To | correnson | Resolution | won't fix |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
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; }