GitLab

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

---

Id	Project	Category	View	Due Date	Updated
ID0000888	Frama-C	Kernel	public	2011-07-25	2014-02-12

Reporter	pascal	Assigned To	virgile	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C GIT, precise the release id	Target Version	-	Fixed in Version	Frama-C Oxygen-20120901

Description :

~ $ ppc/bin/toplevel.opt -val u.c -unspecified-access ... u.c:5:[kernel] warning: undefined multiple accesses in expression. assert \separated(& x,& x); ... ~ $ cat u.c int f(int);

main(){ int x; x = f(x=2); }