* @modules java.base/java.lang:open

 *          java.base/jdk.internal.org.objectweb.asm

 * @modules java.base/java.lang:open

 *          java.base/jdk.internal.org.objectweb.asm

 * @run main/othervm -XX:+WizardMode NullPointerExceptionTest hasDebugInfo

import java.lang.reflect.*;

import java.lang.invoke.MethodHandles.Lookup;

import static java.lang.invoke.MethodHandles.*;

import static java.lang.invoke.MethodHandles.Lookup.*;

import jdk.internal.org.objectweb.asm.ClassWriter;

import jdk.internal.org.objectweb.asm.MethodVisitor;

import jdk.internal.org.objectweb.asm.Type;

import jdk.internal.org.objectweb.asm.Label;

import static jdk.internal.org.objectweb.asm.Opcodes.*;

    static boolean hasDebugInfo = false;

        if (obtainedMsg.equals(expectedMsg)) return;

        System.out.println("expected msg: " + expectedMsg);

        Asserts.assertEquals(obtainedMsg, expectedMsg);

        if (args.length > 0) {

            hasDebugInfo = true;

        }

        // Test the message printed for the failed action.

        t.testFailedAction();

        // Test the method printed for the null entity.

        t.testNullEntity();

        // Test that no message is printed for exceptions

        // allocated explicitly.

        t.testCreation();

        // Test that no message is printed for exceptions

        // thrown in native methods.

        t.testNative();

        // Test that two calls to getMessage() return the same

        // message.

        // It is a design decision that it returns two different

        // String objects.

        // Test serialization.

        // It is a design decision that after serialization the

        // the message is lost.

        t.testSerialization();

        // Test that messages are printed for code generated 

        // on-the-fly.

        t.testGeneratedCode();

        // Some more interesting complex messages.

        t.testComplexMessages();

    }

    // Helper method to cause test case.

    private double callWithTypes(String[][] dummy1, int[][][] dummy2, float dummy3, long dummy4, short dummy5, 

                                 boolean dummy6, byte dummy7, double dummy8, char dummy9) {

        return 0.0;

    public void testFailedAction() {

        int[]     ia1 = null;

        float[]   fa1 = null;

        Object[]  oa1 = null;

        boolean[] za1 = null;

        byte[]    ba1 = null;

        char[]    ca1 = null;

        short[]   sa1 = null;

        long[]    la1 = null;

        double[]  da1 = null;

        // iaload

        try {

            System.out.println(ia1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("ia1[0]", e.getMessage(),

                         (hasDebugInfo ? "'ia1'" : "'<local1>'") + " is null. " +

                         "Can not load from null int array.");

        }

        // faload

        try {

            System.out.println(fa1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("fa1[0]", e.getMessage(),

                         (hasDebugInfo ? "'fa1'" : "'<local2>'") + " is null. " +

                         "Can not load from null float array.");

        }

        // aaload

        try {

            System.out.println(oa1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("oa1[0]", e.getMessage(),

                         (hasDebugInfo ? "'oa1'" : "'<local3>'") + " is null. " +

                         "Can not load from null object array.");

        }

        // baload (boolean)

        try {

            System.out.println(za1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("za1[0]", e.getMessage(),

                         (hasDebugInfo ? "'za1'" : "'<local4>'") + " is null. " +

                         "Can not load from null byte/boolean array.");

        }

        // baload (byte)

        try {

            System.out.println(ba1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("ba1[0]", e.getMessage(),

                         (hasDebugInfo ? "'ba1'" : "'<local5>'") + " is null. " +

                         "Can not load from null byte/boolean array.");

        }

        // caload

        try {

            System.out.println(ca1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("ca1[0]", e.getMessage(),

                         (hasDebugInfo ? "'ca1'" : "'<local6>'") + " is null. " +

                         "Can not load from null char array.");

        }

        // saload

        try {

            System.out.println(sa1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("sa1[0]", e.getMessage(),

                         (hasDebugInfo ? "'sa1'" : "'<local7>'") + " is null. " +

                         "Can not load from null short array.");

        }

        // laload

        try {

            System.out.println(la1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("la1[0]", e.getMessage(),

                         (hasDebugInfo ? "'la1'" : "'<local8>'") + " is null. " +

                         "Can not load from null long array.");

        }

        // daload

        try {

            System.out.println(da1[0]);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("da1[0]", e.getMessage(),

                         (hasDebugInfo ? "'da1'" : "'<local9>'") + " is null. " +

                         "Can not load from null double array.");

        }

        // iastore

        try {

            System.out.println(ia1[0] = 0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("ia1[0] = 0", e.getMessage(),

                         (hasDebugInfo ? "'ia1'" : "'<local1>'") + " is null. " +

                         "Can not store to null int array.");

        }

        // fastore

        try {

            System.out.println(fa1[0] = 0.7f);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("fa1[0] = false", e.getMessage(),

                         (hasDebugInfo ? "'fa1'" : "'<local2>'") + " is null. " +

                         "Can not store to null float array.");

        }

        // aastore

        try {

            System.out.println(oa1[0] = null);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("oa1[0] = null", e.getMessage(),

                         (hasDebugInfo ? "'oa1'" : "'<local3>'") + " is null. " +

                         "Can not store to null object array.");

        }

        // bastore (boolean)

        try {

            System.out.println(za1[0] = false);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("za1[0] = false", e.getMessage(),

                         (hasDebugInfo ? "'za1'" : "'<local4>'") + " is null. " +

                         "Can not store to null byte/boolean array.");

        }

        // bastore (byte)

        try {

            System.out.println(ba1[0] = 0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("ba1[0] = 0", e.getMessage(),

                         (hasDebugInfo ? "'ba1'" : "'<local5>'") + " is null. " +

                         "Can not store to null byte/boolean array.");

        }

        // castore

        try {

            System.out.println(ca1[0] = 0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("ca1[0] = 0", e.getMessage(),

                         (hasDebugInfo ? "'ca1'" : "'<local6>'") + " is null. " +

                         "Can not store to null char array.");

        }

        // sastore

        try {

            System.out.println(sa1[0] = 0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("sa1[0] = 0", e.getMessage(),

                         (hasDebugInfo ? "'sa1'" : "'<local7>'") + " is null. " +

                         "Can not store to null short array.");

        }

        // lastore

        try {

            System.out.println(la1[0] = 0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("la1[0] = 0", e.getMessage(),

                         (hasDebugInfo ? "'la1'" : "'<local8>'") + " is null. " +

                         "Can not store to null long array.");

        }

        // dastore

        try {

            System.out.println(da1[0] = 0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("da1[0] = 0", e.getMessage(),

                         (hasDebugInfo ? "'da1'" : "'<local9>'") + " is null. " +

                         "Can not store to null double array.");

        }

        // arraylength

        try {

            System.out.println(za1.length);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("za1.length", e.getMessage(),

                         (hasDebugInfo ? "'za1'" : "'<local4>'") + " is null. " +

                         "Can not read the array length.");

        }

        // athrow

        try {

            throw null;

        } catch (NullPointerException e) {

            checkMessage("throw null", e.getMessage(),

                         "'null' is null. " +

                         "Can not throw a null exception object.");

        }

        // monitorenter

        try {

            synchronized (nullInstanceField) {

                // desired

            }

        } catch (NullPointerException e) {

            checkMessage("synchronized (nullInstanceField)", e.getMessage(),

                         "'this.nullInstanceField' is null. " +

                         "Can not enter a null monitor.");

        }

        // monitorexit

        // No test available

        // getfield

        try {

            System.out.println(nullInstanceField.nullInstanceField);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("nullInstanceField.nullInstanceField", e.getMessage(),

                         "'this.nullInstanceField' is null. " +

                         "Can not read field 'nullInstanceField'.");

        }

        // putfield

        try {

            System.out.println(nullInstanceField.nullInstanceField = null);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("nullInstanceField.nullInstanceField = null", e.getMessage(),

                         "'this.nullInstanceField' is null. " +

                         "Can not write field 'nullInstanceField'.");

        }

        // invoke

        try {

            nullInstanceField.toString();

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("nullInstanceField.toString()", e.getMessage(),

                         "'this.nullInstanceField' is null. " +

                         "Can not invoke method 'java.lang.String java.lang.Object.toString()'.");

        }

        // Test parameter and return types

        try {

            Asserts.assertTrue(nullInstanceField.callWithTypes(null, null, 0.0f, 0L, (short)0, false, (byte)0, 0.0, 'x') == 0.0);

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("nullInstanceField.callWithTypes(null, null, 0.0f, 0L, (short)0, false, (byte)0, 0.0, 'x')", e.getMessage(),

                         "'this.nullInstanceField' is null. " +

                         "Can not invoke method 'double NullPointerExceptionTest.callWithTypes(java.lang.String[][], int[][][], float, long, short, boolean, byte, double, char)'.");

        }

    }

    static void test_iload() {

        int i0 = 0;

        int i1 = 1;

        int i2 = 2;

        int i3 = 3;

        int i4 = 4;

        int i5 = 5;

        int[][] a = new int[6][];

        // iload_0

        try {

            a[i0][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[i0][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[i0]'" : "'<local6>[<local0>]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // iload_1

        try {

            a[i1][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[i1][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[i1]'" : "'<local6>[<local1>]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // iload_2

        try {

            a[i2][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[i2][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[i2]'" : "'<local6>[<local2>]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // iload_3

        try {

            a[i3][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[i3][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[i3]'" : "'<local6>[<local3>]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // iload

        try {

            a[i5][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[i5][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[i5]'" : "'<local6>[<local5>]'") + " is null. " +

                         "Can not store to null int array.");

        }

    }

    // Other datatyes than int are not needed.

    // If we implement l2d and similar bytecodes, we can print

    // long expressions as array indexes. Then these here could

    // be used.

    static void test_lload() {

        long l0 = 0L;

        long l1 = 1L;

        long l2 = 2L;

        long l3 = 3L;

        long l4 = 4L;

        long l5 = 5L;

        int[][] a = new int[6][];

        // lload_0

        try {

            a[(int)l0][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[(int)l0][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[...]'" : "'<local12>[...]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // lload_1

        try {

            a[(int)l1][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[(int)l1][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[...]'" : "'<local12>[...]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // lload_2

        try {

            a[(int)l2][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[(int)l2][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[...]'" : "'<local12>[...]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // lload_3

        try {

            a[(int)l3][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[(int)l3][0]", e.getMessage(),

                         (hasDebugInfo ? "'a[...]'" : "'<local12>[...]'") + " is null. " +

                         "Can not store to null int array.");

        }

        // lload

        try {

            a[(int)l5][0] = 77;

            Asserts.fail();

        } catch (NullPointerException e) {

            checkMessage("a[(int)l5][0]", e.getMessage(),