Frama-C Bug Tracking System - Frama-C
View Issue Details
0001584Frama-CPlug-in > Evapublic2013-12-09 17:292014-03-13 15:57
Reporteryakobowski 
Assigned Topascal 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in VersionFrama-C Neon-20140301 
Summary0001584: Assertion failure in Ival.scale_div
Description(Csmith-found program, reduced by creduce)

To be analyzed with -slevel 4.

Interesting part of the backtrace:
         Called from file "src/ai/ival.ml", line 1011, characters 3-123
         Called from file "src/ai/ival.ml", line 1166, characters 2-35
         Called from file "src/ai/ival.ml", line 2370, characters 20-48
TagsNo tags attached.
Attached Files? small3.i (226) 2013-12-09 17:30
https://bts.frama-c.com/file_download.php?file_id=618&type=bug

Notes
(0004545)
pascal   
2014-02-12 16:57   
Fix committed to stable/neon branch.

Issue History
2013-12-09 17:29yakobowskiNew Issue
2013-12-09 17:29yakobowskiStatusnew => assigned
2013-12-09 17:29yakobowskiAssigned To => pascal
2013-12-09 17:30yakobowskiFile Added: small3.i
2013-12-09 20:55svn
2013-12-09 20:55svnStatusassigned => resolved
2013-12-09 20:55svnResolutionopen => fixed
2013-12-19 01:11pascalSource_changeset_attached => framac master 639c69ca
2014-02-12 16:53pascalSource_changeset_attached => framac stable/neon 639c69ca
2014-02-12 16:57pascalNote Added: 0004545
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed
2018-01-12 14:26signolesCategoryPlug-in > value analysis => Plug-in > Eva