Skip to content

assertion failed in Jessie with bitfields inside union

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


Id Project Category View Due Date Updated
ID0000328 Frama-C Plug-in > jessie public 2009-11-12 2009-11-13
Reporter nrousset Assigned To cmarche Resolution open
Priority normal Severity major Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Beryllium-20090902 Target Version - Fixed in Version -

Description :

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

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information