Merge pull request #9082 from ethereum/conversionWarnings

Adding `-Wsign-conversion` flag and fixing errors
2023-10-03 13:03:40 +00:00 · 2020-07-13 11:28:09 +02:00
parent b7b3411464 3781ee6349
commit b3566ad0d5
16 changed files with 30 additions and 24 deletions
@@ -1253,7 +1253,7 @@ pair<smtutil::Expression, smtutil::Expression> SMTEncoder::arithmeticOperation(
 		// - RHS is -1
 		// the result is then -(type.min), which wraps back to type.min
 		smtutil::Expression maxLeft = _left == smt::minValue(*intType);
-		smtutil::Expression minusOneRight = _right == -1;
+		smtutil::Expression minusOneRight = _right == numeric_limits<size_t >::max();
 		smtutil::Expression wrap = smtutil::Expression::ite(maxLeft && minusOneRight, smt::minValue(*intType), valueUnbounded);
 		return {wrap, valueUnbounded};
 	}