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

Undecidable type system leads to stack overflow

    XMLWordPrintable

Details

    • generic, x86
    • generic, windows_xp

    Description

      This crashes the compiler:

      class T { }
      class N<Z> { }
      class C<X> extends N<N<? super C<C<X>>>> {
        N<? super C<T>> cast(C<T> c) { return c; }
      }

      from http://research.microsoft.com/~akenn/generics/FOOL2007.pdf

      Attachments

        Issue Links

          duplicates

          Bug - A problem which impairs or prevents the functions of the product. JDK-7078829 compiler stackoverflows

          • P3 - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. JDK-7116195 javac gets a stack overflow on generics code

          • P3 - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. JDK-8062888 Compiler crashes with StackOverflowError when type comparison is undecidable

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Closed

          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-2213366 compiler stackoverflows

          • P3 - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. JDK-8027982 Compiler infinite recursion when using transitive, recursive generics

          • P3 - Major loss of function.
          • Resolved
          is blocked by

          Bug - A problem which impairs or prevents the functions of the product. JDK-8016206 Develop a strategy for coping with expansive inheritance

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open
          relates to

          Bug - A problem which impairs or prevents the functions of the product. JDK-8027982 Compiler infinite recursion when using transitive, recursive generics

          • P3 - Major loss of function.
          • Resolved

          Bug - A problem which impairs or prevents the functions of the product. JDK-8043725 javac fails with StackOverflowException

          • P2 - Crashes, loss of data, severe memory leak.
          • Closed

          Activity

            People

              dlsmith Dan Smith
              ahe Peter Ahe
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

                Created:
                Updated:
                Imported:
                Indexed: