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

Fix optimization-unstable code involving signed integer overflow

    XMLWordPrintable

Details

    • b04
    • generic
    • generic

    Backports

      Description

        Optimization-unstable code (unstable code for short) is an emerging class of software bugs: code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program.

         

        We applied a static checker STACK [1] to OpenJDK and found a number of such unstable code.

         

        [1] https://css.csail.mit.edu/stack/

        Attachments

          Issue Links

            backported by

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8290857 Fix optimization-unstable code involving signed integer overflow

            • P3 - Major loss of function.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8291481 Fix optimization-unstable code involving signed integer overflow

            • P3 - Major loss of function.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8260882 Fix optimization-unstable code involving signed integer overflow

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Resolved

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8260979 Fix optimization-unstable code involving signed integer overflow

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Resolved
            relates to

            Bug - A problem which impairs or prevents the functions of the product. JDK-8258382 Fix optimization-unstable code involving pointer overflow

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Resolved
            links to

            Commit Commit openjdk/jdk11u-dev/c61acb58

            Commit Commit openjdk/jdk16u/62e53c8d

            Commit Commit openjdk/jdk/dd8996c5

            Review Review openjdk/jdk11u-dev/1272

            Review Review openjdk/jdk16u/9

            Review Review openjdk/jdk/1900

            Activity

              People

                eliu Eric Liu
                eliu Eric Liu
                Votes:
                0 Vote for this issue
                Watchers:
                6 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: