Frama-C Bug Tracking System - Frama-C
View Issue Details
0000434Frama-CPlug-in > jessiepublic2010-03-25 14:342010-12-18 11:19
Jochen 
cmarche 
normalminoralways
closedfixed 
Frama-C Beryllium-20090902 
Frama-C Carbon-20101202-beta2 
0000434: assertion at line 2772 of jc/jc_typing.ml fails
(Similar to report 432; Virgile encouraged me to resubmit:) Calling the unix command <> causes the assertion in the jessie source file jc/jc_typing.ml, line 2772:25-31 to fail. The error vanishes if I delete the subformula <<\base_addr(f) == \base_addr(b) &&>> in line 12 of the attached file ftest.c.
No tags attached.
c ftest.c (338) 2010-03-25 14:34
https://bts.frama-c.com/file_download.php?file_id=72&type=bug
Issue History
2010-03-25 14:34JochenNew Issue
2010-03-25 14:34JochenStatusnew => assigned
2010-03-25 14:34JochenAssigned To => cmarche
2010-03-25 14:34JochenFile Added: ftest.c
2010-12-16 17:28cmarcheNote Added: 0001321
2010-12-16 17:28cmarcheStatusassigned => resolved
2010-12-16 17:28cmarcheResolutionopen => fixed
2010-12-18 11:18signolesFixed in Version => Frama-C Carbon-20101202-beta2
2010-12-18 11:19signolesStatusresolved => closed

Notes
(0001321)
cmarche   
2010-12-16 17:28   
Fixed in Why 2.28