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

arithmetic exception for division by zero not thrown by jit'ed code.

    XMLWordPrintable

    Details

    • Subcomponent:
      jit
    • CPU:
      sparc
    • OS:
      solaris_2.4

      Description

      Following test passes without jit but fails with jit.

      Jit'ed code does not throw ArithmeticException for "division by zero".

      Sadhana

      $ javac X.java
      $ jitc *.class
      $ java X
      Test c0211141 Passed
      $ java -Djava.compiler=JIT X
      Error at err_1 :: gi = 5 :: expected value 15
      Error at err_2 :: gi = 5 :: expected value 15
      Error at err_3 :: gi = 5 :: expected value 15
      Error at err_4 :: gi = 5 :: expected value 15
      Test c0211141 Failed

       $ cat X.java
      /**
       ** JAVATEST : The Modena JAVA Test Suite, Version 1.0, June 1996
       ** Copyright (c) 1996 Modena Software (I) Pvt. Ltd., All Rights Reserved
       **/

      /**
       * Section: 2.1.1
       *
       * Filename: c0211141.java
       *
       * Purpose: Positive test for section 2.1.1, last para:
       *
       * "Java throws an ArithmeticException if the right-hand operand
       * to an integer divide operator / or integer remainder operator
       * % is zero; this is the only case where an exception is
       * generated by an operator on integral types."
       *
       * Language Specification: October 30, 1995
       */
       
      import Chk;

      class X
      {
        static int gi = 0;
        
        X() { }
        
        byte b = 0;
        short s = 0;
        int i = 0;
        long l = 0;
        
        public static void chkExceptions()
        {
             X ox = new X();
             
             gi = 5;
             try { int j = ox.i / ox.s; }
             catch (ArithmeticException a) { gi = 15; }
             Chk.chkIntVal("err_1", "gi", gi, 15);
             
             gi = 5;
             try { long l = ox.l / ox.s; }
             catch (ArithmeticException a) { gi = 15; }
             Chk.chkIntVal("err_2", "gi", gi, 15);
             
             gi = 5;
             try { int j = ox.b % ox.s; }
             catch (ArithmeticException a) { gi = 15; }
             Chk.chkIntVal("err_3", "gi", gi, 15);
             
             gi = 5;
             try { long l = ox.b % ox.l; }
             catch (ArithmeticException a) { gi = 15; }
             Chk.chkIntVal("err_4", "gi", gi, 15);
        
        }
        
        public static void main(String argv[])
        { chkExceptions();
             
             Chk.endTest("c0211141");
        }
      }


      $ cat Chk.java
      public class Chk {

        Chk(){}

        public static boolean ErrorFlag = false;

        public static void chkByteVal(String errStr, String varName, byte val, byte expectedVal)
          {
             if(val!=expectedVal) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkShortVal(String errStr, String varName, short val, short expectedVal)
          {
             if(val!=expectedVal) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkCharVal(String errStr, String varName, char val, char expectedVal)
          {
             if(val!=expectedVal) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkIntVal(String errStr, String varName, int val, int expectedVal)
          {
             if(val!=expectedVal) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkLongVal(String errStr, String varName, long val, long expectedVal)
          {
             if(val!=expectedVal) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkFloatVal(String errStr, String varName, float val, float expectedVal)
          {
             if(((val-expectedVal) > 0.000001) | (expectedVal-val) > 0.000001) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkDoubleVal(String errStr, String varName, double val, double expectedVal)
          {
             if(((val-expectedVal) > 0.000001) | (expectedVal-val) > 0.000001) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkStringVal(String errStr, String varName, String val, String expectedVal)
          {
             if(!val.equals(expectedVal)) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkBooleanVal(String errStr, String varName, boolean val, boolean expectedVal)
          {
             if(val!=expectedVal) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: " + varName + " = " + val +" :: expected value " + expectedVal);
             }
          }

        public static void chkCond(String errStr, boolean cond)
          {
             if(!cond) {
               ErrorFlag=true;
               System.out.println("Error at " + errStr + " :: Boolean Expr FALSE : expected TRUE");
             }
          }

        public static void endTest(String fname)
          {
             if (ErrorFlag) {
               System.out.println("Test "+fname+" Failed");
               System.exit(1);
             }
             else {
               System.out.println("Test "+fname+" Passed");
               System.exit(0);
             }
          }
      }




        Attachments

          Activity

            People

            Assignee:
            duke J. Duke (Inactive)
            Reporter:
            duke J. Duke (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: