Closed seanyoung closed 1 year ago
When resolving comparisons, we don't know what the types of the operands are so we resolve with ResolveTo::Unknown. In this path, there is an mistake in the bounds check for negative integers.
ResolveTo::Unknown
Fixes https://github.com/hyperledger/solang/issues/1523
When resolving comparisons, we don't know what the types of the operands are so we resolve with
ResolveTo::Unknown
. In this path, there is an mistake in the bounds check for negative integers.Fixes https://github.com/hyperledger/solang/issues/1523