Frama-C cannot process properly arrays of structures
ID0000185: This issue was created automatically from Mantis Issue 185. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000185 | Frama-C | Plug-in > jessie | public | 2009-07-14 | 2009-07-17 |
| Reporter | lukaszc | Assigned To | cmarche | Resolution | open |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090601-beta1 | Target Version | - | Fixed in Version | - |
Description :
This code leads to an error x = &str_array[i1][i2].field1;
However, this (in fact the same code), is processed properly struct str *temp = &str_array[i1][i2]; x = &(*temp).field1;