GitLab

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

---

Id	Project	Category	View	Due Date	Updated
ID0001144	Frama-C	Kernel	public	2012-04-07	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 :

On the program below, with bin/toplevel.opt -val -unspecified-access t.c, it would be desireable to have an alarm. Instead, the return value is computed as zero.

int main(void) { int d = 5; return d + (d=0); }