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