ID0000830: **This issue was created automatically from Mantis Issue 830. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000830 | Frama-C | Kernel | public | 2011-05-20 | 2011-10-10 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | horsh | **Assigned To** | pascal | **Resolution** | duplicate | | **Priority** | normal | **Severity** | crash | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Carbon-20110201 | **Target Version** | - | **Fixed in Version** | Frama-C Nitrogen-20111001 | ### Description : It looks similar to 0000817,but the actual line number of assertion is different. I could not find any public access to source code younger than Carbon-20110201, so can not tell. $ frama-c --version Version: Carbon-20110201 $ cat red3.i typedef struct { unsigned next:32; } state; typedef struct { state sym; } table; table tables; foo ( unsigned start) { start < ( & tables . sym) -> next ; } $ frama-c red3.i [kernel] error occurring when exiting Frama-C: stopping exit procedure. The full backtrace is: Called from file "cil/src/frontc/cabs2cil.ml", line 1683, characters 16-36 Called from file "cil/src/frontc/cabs2cil.ml", line 5554, characters 15-41 Called from file "cil/src/frontc/cabs2cil.ml", line 4864, characters 30-60 Called from file "cil/src/frontc/cabs2cil.ml", line 5837, characters 20-48 Called from file "cil/src/frontc/cabs2cil.ml", line 7431, characters 28-61 Called from file "cil/src/frontc/cabs2cil.ml", line 7336, characters 25-48 Called from file "list.ml", line 74, characters 24-34 Called from file "cil/src/frontc/cabs2cil.ml", line 7325, characters 9-1023 Called from file "cil/src/frontc/cabs2cil.ml", line 7018, characters 14-321 Called from file "cil/src/frontc/cabs2cil.ml", line 7875, characters 12-31 Called from file "list.ml", line 69, characters 12-15 Called from file "cil/src/frontc/cabs2cil.ml", line 7906, characters 2-26 Called from file "cil/src/frontc/frontc.ml", line 43, characters 19-22 Called from file "src/kernel/file.ml", line 698, characters 16-23 Called from file "list.ml", line 74, characters 24-34 Called from file "src/kernel/file.ml", line 695, characters 6-318 Called from file "src/kernel/file.ml", line 1177, characters 12-30 Called from file "src/kernel/file.ml", line 1265, characters 4-27 Called from file "src/kernel/ast.ml", line 59, characters 2-28 Called from file "src/kernel/ast.ml", line 66, characters 53-71 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/cmdline.ml", line 169, characters 6-23 Unexpected error (File "cil/src/frontc/cabs2cil.ml", line 1662, characters 13-19: Assertion failed). ## Attachments - [bitfields.patch](/uploads/e7bbe2a0dbe8ea3ddcb7f38e22c5977e/bitfields.patch) - [patch-ac-bitfields.patch](/uploads/1714b73eb891feb8ab1e616a55453a52/patch-ac-bitfields.patch)