Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 208
    • Issues 208
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #2590

Closed
Open
Created Jan 10, 2022 by Karine EM@karineek

Frama-c crash with Unexpected error (Invalid_argument("Array.make"))

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
Edited Jan 10, 2022 by Karine EM
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking