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.