Crash for inout analysis
ID0000767: This issue was created automatically from Mantis Issue 767. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000767 | Frama-C | Plug-in > inout | public | 2011-03-26 | 2014-02-12 |
| Reporter | haihao | Assigned To | pascal | Resolution | unable to reproduce |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | - |
Description :
[dominators] done for function abc [kernel] The full backtrace is: Raised by primitive operation at file "cil/src/logic/logic_utils.ml", line 352, characters 30-37 Called from file "cil/src/logic/logic_utils.ml", line 363, characters 19-37 Called from file "list.ml", line 126, characters 24-31 Called from file "src/scope/datascope.ml", line 419, characters 13-55 Called from file "list.ml", line 74, characters 24-34 Called from file "src/scope/datascope.ml", line 461, characters 37-74 Called from file "cil/ocamlutil/inthash.ml", line 192, characters 23-35 Called from file "cil/ocamlutil/inthash.ml", line 196, characters 12-33 Called from file "src/scope/datascope.ml", line 467, characters 17-37 Called from file "src/scope/datascope.ml", line 499, characters 20-71 Called from file "cil/src/cil.ml", line 6185, characters 15-31 Called from file "src/kernel/visitor.ml", line 61, characters 18-62 Called from file "cil/src/cil.ml", line 6222, characters 19-22 Called from file "cil/src/cil.ml", line 6267, characters 22-55 Called from file "list.ml", line 57, characters 20-23 Called from file "src/kernel/visitor.ml", line 119, characters 13-101 Called from file "src/kernel/visitor.ml", line 149, characters 44-70 Called from file "cil/src/cil.ml", line 7073, characters 4-84 Called from file "cil/src/cil.ml", line 6222, characters 19-22 Called from file "cil/src/cil.ml", line 7201, characters 15-39 Called from file "cil/src/cil.ml", line 6199, characters 21-41 Called from file "cil/src/cil.ml", line 7127, characters 17-25 Called from file "cil/src/cil.ml", line 6199, characters 21-41 Called from file "cil/src/cil.ml", line 7073, characters 4-84 Called from file "cil/src/cil.ml", line 6222, characters 19-22 Called from file "cil/src/cil.ml", line 7201, characters 15-39 Called from file "cil/src/cil.ml", line 6199, characters 21-41 Called from file "cil/src/cil.ml", line 7414, characters 13-38 Called from file "cil/src/cil.ml", line 6199, characters 21-41 Called from file "cil/src/cil.ml", line 7389, characters 4-99 Called from file "cil/src/cil.ml", line 7464, characters 15-37 Called from file "cil/src/cil.ml", line 6222, characters 19-22 Called from file "cil/src/cil.ml", line 6267, characters 22-55 Called from file "cil/src/cil.ml", line 7458, characters 4-62 Called from file "cil/src/cil.ml", line 7817, characters 16-36 Called from file "cil/src/cil.ml", line 7824, characters 2-19 Called from file "cil/src/cil.ml", line 6199, characters 21-41 Called from file "cil/src/cil.ml", line 7839, characters 14-38 Called from file "src/kernel/visitor.ml", line 280, characters 28-60 Called from file "src/scope/datascope.ml", line 556, characters 22-40 Called from file "src/value/eval.ml", line 5160, characters 4-27 Re-raised at file "src/value/eval.ml", line 5170, characters 47-50 Called from file "src/project/computation.ml", line 914, characters 2-6 Re-raised at file "src/project/computation.ml", line 918, characters 8-11 Called from file "src/semantic_callgraph/register.ml", line 48, characters 7-24 Called from file "src/project/computation.ml", line 108, characters 17-21 Called from file "src/semantic_callgraph/register.ml", line 150, characters 51-65 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 50, characters 4-20 Called from file "src/kernel/cmdline.ml", line 170, characters 4-8
Unexpected error (Out of memory).
Please report as 'crash' at http://bts.frama-c.com