Closed seanyoung closed 11 months 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