Uncaught exception: assert false on bitvector
ID0000273: This issue was created automatically from Mantis Issue 273. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000273 | Frama-C | Plug-in > jessie | public | 2009-10-08 | 2010-12-09 |
| Reporter | dpariente | Assigned To | cmarche | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
Command line: frama-c -jessie foo.c
with foo.c containing:
/* ==================================== */ typedef float real; struct T26_27 { real _F0 ; real _F1 ; }; typedef struct T26_27 _T26; struct T28_29 { _T26 _F0 ; _T26 _F1 ; }; typedef struct T28_29 _T28; typedef _T28 RR; void f(RR const *tab , real *y ) { y = (float )(double )(((real )tab + 1)); } / ==================================== */
yields:
Uncaught exception: File "jc/jc_interp.ml", line 1819, characters 1-7: Assertion failed
Any means allowing to overcome temporarily this exception (by modifying the C source code) will be welcome!
Regards, Dillon
Additional Information :
fixed in Why 2.21