unsigned :32 bitfield assertion at another location
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).