ID0002467: **This issue was created automatically from Mantis Issue 2467. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002467 | Frama-C | Kernel | public | 2019-07-26 | 2019-08-22 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Victor Sverdlin | **Assigned To** | signoles | **Resolution** | unable to reproduce | | **Priority** | normal | **Severity** | crash | **Reproducibility** | always | | **Platform** | x86_64 | **OS** | opensuse-tumbleweed | **OS Version** | 20190723 | | **Product Version** | Frama-C 19-Potassium | **Target Version** | - | **Fixed in Version** | - | ### Description : Raised at file "hashtbl.ml", line 462, characters 17-32 Called from file "src/libraries/project/state_topological.ml", line 62, characters 23-38 ### Additional Information : (* Frama-C journal generated at 16:46 the 26/07/2019 *) exception Unreachable exception Exception of string [@@@ warning "-26"] (* Run the user commands *) let run () = Project.set_keep_current false; File.init_from_cmdline (); Dynamic.Parameter.String.set "" "/media/sf_home/temp/gps_try/sent_LDRA/src/main.c"; begin try (* exception Log.AbortError("kernel") raised on: *) File.init_from_cmdline (); raise Unreachable with | Unreachable as exn -> raise exn | exn (* Log.AbortError("kernel") *) -> (* continuing: *) begin try (* exception Log.AbortError("kernel") raised on: *) File.prepare_from_c_files (); raise Unreachable with | Unreachable as exn -> raise exn | exn (* Log.AbortError("kernel") *) -> (* continuing: *) raise (Exception (Printexc.to_string exn)) end end (* Main *) let main () = Journal.keep_file "./.frama-c/frama_c_journal.ml"; try run () with | Unreachable -> Kernel.fatal "Journal reaches an assumed dead code" | Exception s -> Kernel.log "Journal re-raised the exception %S" s | exn -> Kernel.fatal "Journal raised an unexpected exception: %s" (Printexc.to_string exn) (* Registering *) let main : unit -> unit = Dynamic.register ~plugin:"Frama_c_journal.ml" "main" (Datatype.func Datatype.unit Datatype.unit) ~journalize:false main (* Hooking *) let () = Cmdline.run_after_loading_stage main; Cmdline.is_going_to_load () ### Steps To Reproduce : Just open new project and add at least one .c (or .h) file ## Attachments - [main.c](/uploads/337a510fa380eff8f13edf74a7a7db10/main.c)