Frama-C Bug Tracking System - Frama-C
View Issue Details
0001114Frama-CKernelpublic2012-03-10 16:512014-02-12 16:59
pascal 
virgile 
normalminoralways
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Oxygen-20120901 
0001114: 17514, -unspecified-access and if (*p = (*p < 3)) (csmith)
In the program below, line 6 is as innocuous as line 5, but: $ bin/toplevel.opt -val -unspecified-access t.c [kernel] preprocessing with "gcc -C -E -I. t.c" t.c:6:[kernel] warning: Unspecified sequence with side effect: /* <- *p p */ tmp = *p < 3; /* *p <- tmp p */ *p = tmp; ... t.c:6:[kernel] warning: undefined multiple accesses in expression. assert \separated(p, p);; int x, *p; main(){ p = &x; *p = (*p < 3); if (*p = (*p < 3)) x = 4; }
No tags attached.
Issue History
2012-03-10 16:51pascalNew Issue
2012-03-10 16:52pascalStatusnew => assigned
2012-03-10 16:52pascalAssigned To => virgile
2012-03-10 16:53pascalDescription Updated
2012-03-27 18:17svnCheckin
2012-03-27 18:17svnStatusassigned => resolved
2012-03-27 18:17svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2014-02-12 16:59Note Added: 0004711
2014-02-12 16:59Statusclosed => resolved

Notes
(0004711)
   
2014-02-12 16:59   
Fix committed to stable/neon branch.