-
Enhancement
-
Resolution: Not an Issue
-
P4
-
None
-
17
-
generic
-
generic
A DESCRIPTION OF THE PROBLEM :
We generate a unit test automatically and it failed with ArithmeticException.
STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
the unit test case is:
@Test
public void test_divideUnsigned_6_119(){
long long0 = 1L;
long long1 = 0L;
Long.divideUnsigned(long0, long1);
}
ACTUAL -
java.lang.ArithmeticException: / by zero
at java.base/java.lang.Long.divideUnsigned(Long.java:1673)
---------- BEGIN SOURCE ----------
public static long divideUnsigned(long dividend, long divisor) {
/* See Hacker's Delight (2nd ed), section 9.3 */
if (divisor >= 0) {
final long q = (dividend >>> 1) / divisor << 1;
final long r = dividend - q * divisor;
return q + ((r | ~(r - divisor)) >>> (Long.SIZE - 1));
}
return (dividend & ~(dividend - divisor)) >>> (Long.SIZE - 1);
}
---------- END SOURCE ----------
FREQUENCY : occasionally
We generate a unit test automatically and it failed with ArithmeticException.
STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
the unit test case is:
@Test
public void test_divideUnsigned_6_119(){
long long0 = 1L;
long long1 = 0L;
Long.divideUnsigned(long0, long1);
}
ACTUAL -
java.lang.ArithmeticException: / by zero
at java.base/java.lang.Long.divideUnsigned(Long.java:1673)
---------- BEGIN SOURCE ----------
public static long divideUnsigned(long dividend, long divisor) {
/* See Hacker's Delight (2nd ed), section 9.3 */
if (divisor >= 0) {
final long q = (dividend >>> 1) / divisor << 1;
final long r = dividend - q * divisor;
return q + ((r | ~(r - divisor)) >>> (Long.SIZE - 1));
}
return (dividend & ~(dividend - divisor)) >>> (Long.SIZE - 1);
}
---------- END SOURCE ----------
FREQUENCY : occasionally