newValue.setSpecialKind(Item.RANDOM_INT_REMAINDER); if (seen == Const.IREM && lhs.checkForIntegerMinValue()) { if (rhs.getConstant() != null) { int rhsValue = constantToInt(rhs);
newValue.setSpecialKind(Item.RANDOM_INT_REMAINDER); if (seen == IREM && lhs.checkForIntegerMinValue()) { if (rhs.getConstant() != null) { int rhsValue = constantToInt(rhs);