Invalid handling of shift of pointer address

ID0001001: This issue was created automatically from Mantis Issue 1001. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001001	Frama-C	Plug-in > Eva	public	2011-10-27	2012-09-19

Reporter	yakobowski	Assigned To	pascal	Resolution	fixed
Priority	normal	Severity	major	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Nitrogen-20111001	Target Version	-	Fixed in Version	Frama-C Oxygen-20120901

Description :

The behavior of the value analysis is incorrect on the following example, which is valid according to the norm.

char t[10];

int main () { int r = (unsigned long)t << 8; return r; }