crashed value analysis
ID0000547: This issue was created automatically from Mantis Issue 547. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000547 | Frama-C | Kernel | public | 2010-07-23 | 2010-12-09 |
| Reporter | amkhalid | Assigned To | - | Resolution | unable to reproduce |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
[kernel] The full backtrace is: Raised at file "cil/src/cil.ml", line 2228, characters 30-31 Called from file "src/memory_state/locations.ml", line 490, characters 14-32 Called from file "src/memory_state/locations.ml", line 498, characters 45-64 Called from file "src/value/eval.ml", line 4772, characters 17-49 Called from file "list.ml", line 74, characters 24-34 Called from file "src/value/eval.ml", line 4768, characters 3-206 Called from file "src/value/eval.ml", line 4811, characters 4-67 Called from file "src/value/eval.ml", line 5155, characters 11-44 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/value/register.ml", line 58, characters 4-24 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 (Cil.SizeOfError("abstract type: empty struct exist only with MSVC (comp struct huft)", _)).
Please report as 'crash' at http://bts.frama-c.com