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

C2: Load can bypass subtype check that enforces it's from the right object type

XMLWordPrintable

    • b17

        With attached test case run with:

        java -XX:-BackgroundCompilation -XX:-UseOnStackReplacement -XX:-TieredCompilation -XX:CompileOnly=TestAddPChainMismatchedBase::test -XX:LoopMaxUnroll=2 -XX:+UseParallelGC -XX:+StressIGVN -XX:-UseLoopPredicate -XX:-UseProfiledLoopPredicate  -XX:StressSeed=2062976637 TestAddPChainMismatchedBase

        I get:

         Internal Error (/home/roland/jdk-jdk/src/hotspot/share/opto/compile.cpp:3267), pid=2783357, tid=2783366
         assert(!addp->is_AddP() || addp->in(AddPNode::Base)>is_top() || addp>in(AddPNode::Base) == n->in(AddPNode::Base)) failed: Base pointers must match (addp 682)

          1. TestAddPChainMismatchedBase.java
            1 kB

              roland Roland Westrelin
              roland Roland Westrelin
              Votes:
              0 Vote for this issue
              Watchers:
              5 Start watching this issue

                Created:
                Updated:
                Resolved: