Jessie crashes with "Assertion failed"
ID0001943: This issue was created automatically from Mantis Issue 1943. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001943 | Frama-C | Plug-in > jessie | public | 2014-10-29 | 2014-10-29 |
| Reporter | kornevgen | Assigned To | cmarche | Resolution | open |
| Priority | normal | Severity | major | Reproducibility | have not tried |
| Platform | - | OS | Gentoo Linux | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
s@localhost ~/1 $ frama-c -jessie x.c [kernel] preprocessing with "i686-pc-linux-gnu-gcc -C -E -I. -dD x.c" [jessie] Starting Jessie translation [jessie] Producing Jessie files in subdir x.jessie [jessie] File x.jessie/x.jc written. [jessie] File x.jessie/x.cloc written. [jessie] Calling Jessie tool in subdir x.jessie unifying a dummy region dummy_region with a non dummy region q_3 File "jc/jc_region.ml", line 309, characters 6-6: Uncaught exception: File "jc/jc_region.ml", line 309, characters 6-12: Assertion failed [jessie] user error: Jessie subprocess failed: jessie -why3ml -v -locs x.cloc x.jc