<!-- Thank you for submitting an issue to the Frama-C team. We propose the following template to ease the process. Please directly edit it inline to provide the required information. Before submitting the issue, please verify: - the issue has not yet been reported on [Gitlab](https://git.frama-c.com/pub/frama-c/issues); - you installed Frama-C as prescribed in the [instructions](INSTALL.md). If the issue applies to a specific Frama-C plug-in, please prefix the title by the plug-in name: [Eva], [WP], [E-ACSL]… --> ### Steps to reproduce the issue `frama-c 8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c` <!-- Please indicate here steps to follow to get a [minimal, complete, and verifiable example](https://stackoverflow.com/help/mcve) which reproduces the issue. --> ### Expected behaviour <!-- Please explain here what is the expected behaviour. --> Not to crash ### Actual behaviour <!-- Please explain here what is the actual (faulty) behaviour. --> Crash with Unexpected error (Invalid_argument("Array.make")), for this (reduced) program: ``` int a[] = {[72057594037927936] 0}; void main() {} ``` ### 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) <!-- You may add here any information deemed relevant with regard to this issue, and tell us if you already tried some workarounds or have some ideas to solve this issue. --> The trace of the error: ``` frama-c 8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c [kernel] Parsing 8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c (with preprocessing) [kernel] Current source was: 8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c:1 The full backtrace is: Raised by primitive operation at file "src/kernel_internals/typing/cabs2cil.ml", line 3393, characters 21-62 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 8353, characters 19-72 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 8379, characters 8-85 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 8076, characters 4-112 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 8639, characters 27-73 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 9137, characters 18-76 Called from file "list.ml", line 121, characters 24-34 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 9154, characters 14-53 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 10455, characters 12-35 Called from file "list.ml", line 110, characters 12-15 Called from file "src/kernel_internals/typing/cabs2cil.ml", line 10459, characters 2-25 Called from file "src/kernel_internals/typing/frontc.ml", line 82, characters 14-36 Called from file "src/kernel_services/ast_queries/file.ml", line 617, characters 25-44 Called from file "src/kernel_services/ast_queries/file.ml", line 637, characters 14-38 Called from file "src/kernel_services/ast_queries/file.ml", line 700, characters 46-72 Called from file "list.ml", line 121, characters 24-34 Called from file "src/kernel_services/ast_queries/file.ml", line 700, characters 17-89 Called from file "src/kernel_services/ast_queries/file.ml", line 1792, characters 24-60 Called from file "src/kernel_services/ast_queries/file.ml", line 1869, characters 4-27 Called from file "src/kernel_services/ast_data/ast.ml", line 110, characters 2-28 Called from file "src/kernel_services/ast_data/ast.ml", line 118, characters 53-71 Called from file "src/kernel_internals/runtime/boot.ml", line 29, characters 6-20 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 846, characters 2-9 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 876, characters 18-64 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 235, characters 4-8 Unexpected error (Invalid_argument("Array.make")). 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 ```