GitLab

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;