Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-1262237

Verifier faults valid synchronized statement

XMLWordPrintable

    • 1.1
    • sparc
    • solaris_2.4
    • Not verified

      Verifier do not permit syncronization on array object:

      --------------------------
      import java.io.PrintStream;

      public class stmt130
      {
        public static void main(String argv[])
        {
           System.exit(run(argv,System.out));
        }
        public static int run(String argv[],PrintStream out)
        {
           return 0;
        }
        void proc (PrintStream out) {
           int t[] = new int [10];
           synchronized (t) {
              out.println ( "made it!" );
           }
         }
      }

      --------------------------
      It complains on monitorenter and monitorexit instructions with
      array argument with diagnostics:

      Expecting to find object on stack
      as if array is not valid object.

            fyellinsunw Frank Yellin (Inactive)
            rfqsunw Rfq Rfq (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: