IntegerSet.fromInterval() infinite cycle - Githubissues

karelklic / canal

Abstract interpreter for real-world application programs

https://github.com/karelklic/canal/wiki

Other

32 stars 2 forks source link

IntegerSet.fromInterval() infinite cycle #174

Closed JanDupal closed 11 years ago

JanDupal commented 11 years ago

IntegerSet.cpp#L808 and maybe also IntegerSet.cpp#L816 generates infinite loop.

Values for replication bug for line 808:

from - 8bit signed APInt, any value
to - 8bit signed APIng, exactly 127