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

Null-check eliminator must traverse exception handlers

    XMLWordPrintable

Details

    • Bug
    • Resolution: Fixed
    • P4
    • 1.4.0_04
    • 1.4.0, 1.4.1
    • hotspot
    • None
    • 04
    • generic, sparc
    • generic, solaris_8

    Backports

      Description

        A licensee (see comments for details) has isolated a bug in the null-check
        eliminator. Since exception handlers are not traversed during the dataflow
        walk, incorrect not-null results can be created for values which are assigned
        null values inside of exception handlers. This may cause a VM crash if such
        compiled code is ever executed and if the receiver is dereferenced at a point
        where the compiler assumed the receiver was non-null. A patch has been
        submitted.

        Attachments

          Issue Links

            Activity

              People

                never Tom Rodriguez
                kbr Kenneth Russell (Inactive)
                Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: