test/jdk/java/math/BigInteger/BitLengthOverflow.java - master - githubmirror/galahad

test/jdk/java/math/BigInteger/BitLengthOverflow.java

65 строк2 KB

Brian Burkhalter

8272541: Incorrect overflow test in Toom-Cook branch of BigInteger multiplication

27 авг 2021, 19:09

27 авг 2021, 19:09d1aeca1

/*
 * Copyright (c) 2013, 2021, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

/*
 * @test
 * @bug 6910473 8272541
 * @summary Test that bitLength() is not negative
 * @author Dmitry Nadezhin
 */
import java.math.BigInteger;
import java.util.function.Supplier;

public class BitLengthOverflow {
    private static void test(Supplier<BigInteger> s) {
        try {
            BigInteger x = s.get();
            System.out.println("Surprisingly passed with correct bitLength() " +
                               x.bitLength());
        } catch (ArithmeticException e) {
            // expected
            System.out.println("Overflow reported by ArithmeticException, as expected");
        } catch (OutOfMemoryError e) {
            // possible
            System.err.println("BitLengthOverflow skipped: OutOfMemoryError");
            System.err.println("Run jtreg with -javaoption:-Xmx8g");
        }
    }

    public static void main(String[] args) {
        test(() -> {
            // x = pow(2,Integer.MAX_VALUE)
            BigInteger x = BigInteger.ONE.shiftLeft(Integer.MAX_VALUE);
            if (x.bitLength() != (1L << 31)) {
                throw new RuntimeException("Incorrect bitLength() " +
                                           x.bitLength());
            }
            return x;
        });
        test(() -> {
            BigInteger a = BigInteger.ONE.shiftLeft(1073742825);
            BigInteger b = BigInteger.ONE.shiftLeft(1073742825);
            return a.multiply(b);
        });
    }
}