Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000185Frama-CPlug-in > jessiepublic2009-07-14 14:182009-07-17 11:42
Reporterlukaszc 
Assigned Tocmarche 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090601-beta1 
Target VersionFixed in Version 
Summary0000185: Frama-C cannot process properly arrays of structures
DescriptionThis 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;
TagsNo tags attached.
Attached Files

- Relationships
related to 0000032assignedcmarche Internal error with assign specification on bi-dimensional arrays 

-  Notes
(0000273)
virgile (developer)
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.

- Issue History
Date Modified Username Field Change
2009-07-14 14:18 lukaszc New Issue
2009-07-17 11:40 virgile Relationship added related to 0000032
2009-07-17 11:41 virgile Note Added: 0000273
2009-07-17 11:42 virgile Status new => assigned
2009-07-17 11:42 virgile Assigned To => cmarche


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker