search

karelklic / canal

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

ItegerInterval.accuracy computation fails on assert #172

Closed JanDupal closed 11 years ago

JanDupal commented 11 years ago 
canal/lib/IntegerInterval.cpp:584(accuracy) assert failed: status == llvm::APFloat::opOK

Seems to me as llvm problem with division. I've also found APFloat to float conversion issues, I suggest to discuss this bug at the meeting.