Frama-C Bug Tracking System - Frama-C
View Issue Details
0000185Frama-CPlug-in > jessiepublic2009-07-14 14:182009-07-17 11:42
lukaszc 
cmarche 
normalmajoralways
assignedopen 
Frama-C Beryllium-20090601-beta1 
 
0000185: Frama-C cannot process properly arrays of structures
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;
No tags attached.
related to 0000032assigned cmarche Internal error with assign specification on bi-dimensional arrays 
Issue History
2009-07-14 14:18lukaszcNew Issue
2009-07-17 11:40virgileRelationship addedrelated to 0000032
2009-07-17 11:41virgileNote Added: 0000273
2009-07-17 11:42virgileStatusnew => assigned
2009-07-17 11:42virgileAssigned To => cmarche

Notes
(0000273)
virgile   
2009-07-17 11:41   
The issue does not occur with a mono-dimensional array (y=&str_array[i1].field). This might thus be connected with already known issues on multi-dimensional arrays.