search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 3 forks source link

Operation "and" is inconsistent on Integers in wc #173

Open JanDupal opened 11 years ago

JanDupal commented 11 years ago 
External function "fstat64" not available.
  %89 = icmp eq i32 %88, 0
  br i1 %89, label %90, label %128
  %91 = getelementptr inbounds %struct.stat* %st, i32 0, i32 3
  %92 = load i32* %91, align 4
  %93 = and i32 %92, 61440
/home/jan/Code/canal/lib/ProductVector.cpp:659(collaborate) assert failed: allBottom || !(**it).isBottom()
JanDupal commented 11 years ago

@xbrukner Failing assert is in bottom-issue branch.

xbrukner commented 11 years ago

Fixed in Integer Domains in b3c859e80e14200d6234942aff20b89a04ee262e. Remains to be done in other domains.