Crash with Unexpected error (Cil.Not_representable).
Steps to reproduce the issue
Expected behaviour
Not to crush but return a proper error or warning regarding the issue in the input program.
Actual behaviour
Crashed Frama-c
[kernel] Parsing fuzzer-file-2359.c (with preprocessing)
[kernel] Current source was: fuzzer-file-2359.c:1
The full backtrace is:
Raised at Cil.intKindForValue in file "src/kernel_services/ast_queries/cil.ml", line 3096, characters 7-30
Called from Cabs2cil.doSpecList in file "src/kernel_internals/typing/cabs2cil.ml", line 4796, characters 24-57
Called from Cabs2cil.doOnlyTypedef in file "src/kernel_internals/typing/cabs2cil.ml", line 9768, characters 28-53
Called from Cabs2cil.doDecl in file "src/kernel_internals/typing/cabs2cil.ml", line 9181, characters 34-68
Called from Cabs2cil.convFile.doOneGlobal in file "src/kernel_internals/typing/cabs2cil.ml", line 10455, characters 12-35
Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
Called from Cabs2cil.convFile in file "src/kernel_internals/typing/cabs2cil.ml", line 10459, characters 2-25
Called from Frontc.parse.(fun) in file "src/kernel_internals/typing/frontc.ml", line 82, characters 14-36
Called from File.parse_cabs in file "src/kernel_services/ast_queries/file.ml", line 617, characters 25-44
Called from File.to_cil_cabs in file "src/kernel_services/ast_queries/file.ml", line 637, characters 14-38
Called from File.files_to_cabs_cil.(fun) in file "src/kernel_services/ast_queries/file.ml", line 700, characters 46-72
Called from Stdlib__List.fold_left in file "list.ml", line 121, characters 24-34
Called from File.files_to_cabs_cil in file "src/kernel_services/ast_queries/file.ml", line 700, characters 17-89
Called from File.prepare_from_c_files in file "src/kernel_services/ast_queries/file.ml", line 1792, characters 24-60
Called from File.init_from_cmdline in file "src/kernel_services/ast_queries/file.ml", line 1869, characters 4-27
Called from Ast.force_compute in file "src/kernel_services/ast_data/ast.ml", line 110, characters 2-28
Called from Ast.compute in file "src/kernel_services/ast_data/ast.ml", line 118, characters 53-71
Called from Boot.play_analysis in file "src/kernel_internals/runtime/boot.ml", line 29, characters 6-20
Called from Cmdline.play_in_toplevel_one_shot in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 846, characters 2-9
Called from Cmdline.play_in_toplevel in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 876, characters 18-64
Called from Cmdline.catch_toplevel_run in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 235, characters 4-8
Unexpected error (Cil.Not_representable).
Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues
Your Frama-C version is 24.0 (Chromium).
Note that a version and a backtrace alone often do not contain enough
information to understand the bug. Guidelines for reporting bugs are at:
https://git.frama-c.com/pub/frama-c/-/wikis/Guidelines-for-reporting-bugs
Contextual information
- Frama-C installation mode: Opam
- Frama-C version: Frama-C version 24.0 (Chromium)
- Plug-in used: none
- OS name: Ubuntu
- OS version: 18
Additional information (optional)
This is the (reduced) program:
enum { a = 11423207941596596085, b = -51 };
int main (void) {
return 0;
}
got the crash when running frama-c with no other plugins
frama-c fuzzer-file-2359.c