Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000328Frama-CPlug-in > jessiepublic2009-11-12 11:122009-11-13 08:32
Reporternrousset 
Assigned Tocmarche 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in Version 
Summary0000328: assertion failed in Jessie with bitfields inside union
DescriptionSee 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
TagsNo tags attached.
Attached Filesc file icon test_union.c [^] (350 bytes) 2009-11-12 11:12 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-11-12 11:12 nrousset New Issue
2009-11-12 11:12 nrousset File Added: test_union.c
2009-11-13 08:32 signoles Status new => assigned
2009-11-13 08:32 signoles Assigned To => cmarche


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker