crash in parser when double definition of variable in two different files, in some order
ID0000213: This issue was created automatically from Mantis Issue 213. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000213 | Frama-C | Kernel | public | 2009-08-06 | 2014-02-12 |
| Reporter | pascal | Assigned To | virgile | Resolution | fixed |
| Priority | high | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090601-beta1 | Target Version | - | Fixed in Version | Frama-C Boron-20100401 |
Description :
Manzana:frama-c pascal$ cat first_def.c int x;
Manzana:frama-c pascal$ cat double_def.c int x=2;
~/frama-c-Beryllium-20090601-beta1/bin/toplevel.opt -metrics double_def.c first_def.c [kernel...] preprocessing with "gcc -C -E -I. double_def.c" [kernel...] preprocessing with "gcc -C -E -I. first_def.c" [kernel] internal error: Trying to add the same varinfo twice: x (vid:719) [kernel] error: kernel failed to complete because of an unexpected internal error. [kernel] error: please report at http://bts.frama-c.com
Backtrace obtained in bytecode, with -debug 1: [kernel] internal error: Trying to add the same varinfo twice: x (vid:719) Fatal error: exception Log.AbortFatal("kernel") Raised at file "src/kernel/log.ml", line 319, characters 10-11 Called from file "src/kernel/file.ml", line 852, characters 5-96 Called from file "src/kernel/file.ml", line 1008, characters 4-27 Re-raised at file "src/kernel/file.ml", line 1001, characters 23-44 Called from file "src/kernel/ast.ml", line 57, characters 29-45 Called from file "src/project/computation.ml", line 172, characters 17-21 Called from file "src/kernel/file.ml", line 1052, characters 2-14 Called from file "src/project/project.ml", line 379, characters 12-15 Re-raised at file "src/project/project.ml", line 384, characters 10-11 Called from file "src/toplevel/main.ml", line 43, characters 2-420 Called from file "src/toplevel/main.ml", line 56, characters 4-18 Re-raised at file "src/toplevel/main.ml", line 35, characters 2-797 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 85, characters 4-35
Additional Information :
If you fail to reproduce, try changing the order of the two files.