Incorrect location of warnings emitted by value analysis

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

---

Id	Project	Category	View	Due Date	Updated
ID0000772	Frama-C	Plug-in > Eva	public	2011-03-30	2016-08-02

Reporter	virgile	Assigned To	yakobowski	Resolution	won't fix
Priority	low	Severity	tweak	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C GIT, precise the release id	Target Version	-	Fixed in Version	-

Description :

On the code below, frama-c -val -main f t.c will report an out of bound read on line 2. It should be line 3.

------------- t.c void f (int* x) { int a = 3 + *x; }