GitLab

Steps to reproduce the issue

frama-c 8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c

Expected behaviour

Not to crash

Actual 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)

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