Jessie translation fails with double assignment
ID0000450: This issue was created automatically from Mantis Issue 450. Further discussion may take place here.
|ID0000450||Frama-C||Plug-in > jessie||public||2010-04-13||2010-04-19|
|Reporter||vmoyalam||Assigned To||cmarche||Resolution||unable to reproduce|
|Product Version||Frama-C Beryllium-20090902||Target Version||-||Fixed in Version||Frama-C Boron-20100401|
Jessie crashes on the attached file. WHY version : 2.21 command : "frama-c -jessie test4.c".
Additional Information :
It seems there is a problem with double assignment.
Command-line output :
[kernel] preprocessing with "gcc -C -E -I. -dD test4.c" [jessie] Starting Jessie translation test4.c:13:[jessie] failure: Unexpected failure. Please submit bug report (Ref. "interp.ml:1798:18"). [kernel] Plugin jessie aborted because of an internal error. Please report with 'crash' at http://bts.frama-c.com