/usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception.
ID0000667: This issue was created automatically from Mantis Issue 667. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000667 | Frama-C | Plug-in > jessie | public | 2011-01-11 | 2011-01-25 |
| Reporter | dmentre | Assigned To | cmarche | Resolution | open |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
Hello,
I'm using Frama-C Boron (Ubuntu package on Ubuntu 10.10).
A fatal exception is raised when applying jessie plugin on attached program using following command: frama-c -jessie -jessie-atp alt-ergo -pp-annot -cpp-command "gcc -C -E -I. -I /usr/share/frama-c/libc" evoting.c
Result: [kernel] preprocessing with "gcc -C -E -I. -I /usr/share/frama-c/libc -dD evoting.c" [jessie] Starting Jessie translation [kernel] No code for function __Frama_C_free_at_pos, default assigns generated /usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception. Please submit bug report (Ref. "Extlib.NotYetImplemented("Interp.pred Pfresh")"). [kernel] The full backtrace is: Raised at file "src/kernel/log.ml", line 506, characters 30-31 Called from file "src/kernel/log.ml", line 500, characters 2-9 Re-raised at file "src/kernel/log.ml", line 503, characters 8-9 Called from file "src/lib/type.ml", line 746, characters 40-45 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
Plug-in jessie aborted because of an internal error.
Please report as 'crash' at http://bts.frama-c.comAny workaround would be appreciated.
Best regards, d.