Frama-C Bug Tracking System - Frama-C
View Issue Details
0000328Frama-CPlug-in > jessiepublic2009-11-12 11:122009-11-13 08:32
nrousset 
cmarche 
normalmajoralways
assignedopen 
Frama-C Beryllium-20090902 
 
0000328: assertion failed in Jessie with bitfields inside union
See the example in the attached file. File "jc/jc_effect.ml", line 525, characters 14-14: Uncaught exception: File "jc/jc_effect.ml", line 525, characters 14-20: Assertion failed
No tags attached.
c test_union.c (350) 2009-11-12 11:12
https://bts.frama-c.com/file_download.php?file_id=31&type=bug
Issue History
2009-11-12 11:12nroussetNew Issue
2009-11-12 11:12nroussetFile Added: test_union.c
2009-11-13 08:32signolesStatusnew => assigned
2009-11-13 08:32signolesAssigned To => cmarche

There are no notes attached to this issue.