crash from r11865
ID0000716: This issue was created automatically from Mantis Issue 716. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000716 | Frama-C | Kernel | public | 2011-02-12 | 2014-02-12 |
| Reporter | regehr | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
Seen on Ubuntu 10.10 on x86.
regehr@home:~/tmp/3$ ~/z/frama-c/bin/toplevel.opt -val -slevel 1 foo_pp.c [kernel] preprocessing with "gcc -C -E -I. foo_pp.c" [kernel] The full backtrace is: Called from file "list.ml", line 57, characters 20-23 Called from file "cil/src/frontc/cabs2cil.ml", line 1176, characters 16-47 Called from file "cil/src/frontc/cabs2cil.ml", line 5778, characters 23-40 Called from file "cil/src/frontc/cabs2cil.ml", line 5756, characters 16-50 Called from file "cil/src/frontc/cabs2cil.ml", line 4967, characters 14-349 Called from file "cil/src/frontc/cabs2cil.ml", line 5102, characters 16-53 Called from file "cil/src/frontc/cabs2cil.ml", line 5096, characters 32-55 Called from file "cil/src/frontc/cabs2cil.ml", line 5122, characters 29-58 Called from file "cil/src/frontc/cabs2cil.ml", line 5102, characters 16-53 Called from file "cil/src/frontc/cabs2cil.ml", line 5122, characters 29-58 Called from file "cil/src/frontc/cabs2cil.ml", line 5727, characters 27-64 Called from file "cil/src/frontc/cabs2cil.ml", line 5823, characters 11-40 Called from file "cil/src/frontc/cabs2cil.ml", line 7463, characters 8-69 Called from file "cil/src/frontc/cabs2cil.ml", line 7335, characters 25-48 Called from file "list.ml", line 74, characters 24-34 Called from file "cil/src/frontc/cabs2cil.ml", line 7324, characters 9-1023 Called from file "cil/src/frontc/cabs2cil.ml", line 7448, characters 16-34 Called from file "cil/src/frontc/cabs2cil.ml", line 7460, characters 18-42 Called from file "cil/src/frontc/cabs2cil.ml", line 7335, characters 25-48 Called from file "list.ml", line 74, characters 24-34 Called from file "cil/src/frontc/cabs2cil.ml", line 7324, characters 9-1023 Called from file "cil/src/frontc/cabs2cil.ml", line 7017, characters 14-321 Called from file "cil/src/frontc/cabs2cil.ml", line 7874, characters 12-31 Called from file "list.ml", line 69, characters 12-15 Called from file "cil/src/frontc/cabs2cil.ml", line 7905, characters 2-26 Called from file "cil/src/frontc/frontc.ml", line 43, characters 19-22 Called from file "src/kernel/file.ml", line 651, characters 27-46 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 "src/kernel/globals.ml", line 489, characters 2-16 Called from file "src/value/eval.ml", line 5407, characters 22-44 Re-raised at file "src/value/eval.ml", line 5424, characters 47-50 Called from file "src/project/state_builder.ml", line 1025, characters 2-6 Re-raised at file "src/project/state_builder.ml", line 1029, characters 8-11 Called from file "src/value/register.ml", line 59, characters 4-24 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 36, characters 4-20 Called from file "src/kernel/cmdline.ml", line 713, characters 2-9 Called from file "src/kernel/cmdline.ml", line 195, characters 4-8
Unexpected error (File "cil/src/frontc/cabs2cil.ml", line 1173, characters 17-23: Assertion failed).
Please report as 'crash' at http://bts.frama-c.com/
Note that a backtrace alone often does not have information to
understand the bug. Guidelines for reporting bugs are at:
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelinesAdditional Information :
This is a front-end bug as it occurs without the -val option (bin/toplevel.opt ~/Downloads/foo_pp.c ).
Workaround: if this bug happens too often and causes wasted time, use option -no-allow-duplication to circumvent it.
This is where we regret to have forked CIL. It was unavoidable, but we'll have to check if the bug appears in original CIL too and report it there if it does.