Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • 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
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 168
    • Issues 168
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
    • Model experiments
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #1518

Uncaught exception in scope

ID0000216: This issue was created automatically from Mantis Issue 216. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000216 Frama-C Plug-in > scope public 2009-08-25 2014-02-12
Reporter pascal Assigned To pascal Resolution fixed
Priority high Severity crash Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Beryllium-20090601-beta1 Target Version - Fixed in Version Frama-C Beryllium-20090901

Description :

In all versions since at least Lithium and until SVN 5989, there seems to be the possibility of the exception Lmap_bitwise.From_Model.Cannot_fold being raised by Lmap_bitwise.From_Model.fold and not being caught in scope/datascope.ml.

The backtrace was obtained by running the GUI on a semi-confidential codebase, using the Lithium release.

In SVN 5989 terms, the uncaught exception appears to originate from the call to Lmap_bitwise.From_Model.fold as datascope.ml:116, where I do not see immediately a handler for the exception.

Additional Information :

The backtrace is a little sketchy (but not inconsistent), I am not sure why. But there is only one call to a function that can raise this exception in the whole file datascope.ml anyway.

Fatal error: exception Lmap_bitwise.Make_bitwise(V).Cannot_fold Raised at file "src/memory_state/lmap_bitwise.ml", line 132, characters 21-32 Called from file "list.ml", line 74, characters 24-34 Called from file "list.ml", line 74, characters 24-34 Called from file "src/scope/datascope.ml", line 158, characters 16-64 Called from file "src/scope/datascope.ml", line 410, characters 24-34 Called from file "src/scope/datascope.ml", line 458, characters 34-70 Called from file "cil/src/cil.ml", line 6527, characters 15-31 Called from file "src/kernel/visitor.ml", line 60, characters 18-62 Called from file "cil/src/cil.ml", line 6557, characters 19-22 Called from file "cil/src/cil.ml", line 6597, characters 22-55 Called from file "list.ml", line 62, characters 22-25 Called from file "src/kernel/visitor.ml", line 103, characters 13-105 Called from file "src/kernel/visitor.ml", line 141, characters 42-65 Called from file "cil/src/cil.ml", line 7465, characters 4-81 Called from file "cil/src/cil.ml", line 6557, characters 19-22 Called from file "cil/src/cil.ml", line 7584, characters 15-39 Called from file "cil/src/cil.ml", line 6537, characters 21-41 Called from file "cil/src/cil.ml", line 7527, characters 17-25 Called from file "cil/src/cil.ml", line 6537, characters 21-41 Called from file "cil/src/cil.ml", line 7465, characters 4-81 Called from file "cil/src/cil.ml", line 6557, characters 19-22 Called from file "cil/src/cil.ml", line 7584, characters 15-39 Called from file "cil/src/cil.ml", line 6537, characters 21-41 Called from file "cil/src/cil.ml", line 7791, characters 13-38 Called from file "cil/src/cil.ml", line 6537, characters 21-41 Called from file "cil/src/cil.ml", line 7766, characters 4-96 Called from file "cil/src/cil.ml", line 7842, characters 15-37 Called from file "cil/src/cil.ml", line 6557, characters 19-22 Called from file "cil/src/cil.ml", line 6597, characters 22-55 Called from file "cil/src/cil.ml", line 7836, characters 4-59 Called from file "cil/src/cil.ml", line 8014, characters 24-33 Called from file "cil/src/cil.ml", line 8016, characters 2-19 Called from file "cil/src/cil.ml", line 6537, characters 21-41 Called from file "cil/src/cil.ml", line 8032, characters 14-38 Called from file "src/scope/datascope.ml", line 478, characters 9-102 Called from file "src/value/register.ml", line 62, characters 8-34 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/toplevel/main.ml", line 56, characters 4-21 Called from file "src/toplevel/main.ml", line 72, characters 4-36 Re-raised at file "src/toplevel/main.ml", line 41, characters 2-971 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 109, characters 2-33

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking