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

C2: assert(((n) == __null || !VerifyIterativeGVN || !((n)->is_dead()))) failed: can not use dead node

    Details

    • Subcomponent:
    • Resolved In Build:
      b11

      Backports

        Description

        Ran some tests with -XX:+VerifyIterativeGVN and hit the following assert:
        # Internal Error (open/src/hotspot/share/opto/node.hpp:411), pid=18949, tid=19027
        # assert(((n) == __null || !VerifyIterativeGVN || !((n)->is_dead()))) failed: can not use dead node

        V [libjvm.so+0x3d7ffc] Node::set_req(unsigned int, Node*)+0x26c
        V [libjvm.so+0x11fbf99] Node::replace_edge(Node*, Node*)+0x69
        V [libjvm.so+0x10430d0] PhaseIdealLoop::try_move_store_after_loop(Node*) [clone .part.120]+0x4f0
        V [libjvm.so+0x1047e7b] PhaseIdealLoop::split_if_with_blocks_post(Node*)+0x7ab
        V [libjvm.so+0x1048839] PhaseIdealLoop::split_if_with_blocks(VectorSet&, Node_Stack&)+0x1f9
        V [libjvm.so+0x103fc7d] PhaseIdealLoop::build_and_optimize(LoopOptsMode)+0x10fd
        V [libjvm.so+0x875d1a] PhaseIdealLoop::optimize(PhaseIterGVN&, LoopOptsMode)+0x2ea

        This reproduces with different programs. One example is dacapo:
        $ java -XX:+VerifyIterativeGVN -jar dacapo-9.12-bach.jar avrora fop h2 jython luindex lusearch pmd sunflow xalan

          Attachments

            Issue Links

              Activity

                People

                • Assignee:
                  chagedorn Christian Hagedorn
                  Reporter:
                  stefank Stefan Karlsson
                • Votes:
                  0 Vote for this issue
                  Watchers:
                  6 Start watching this issue

                  Dates

                  • Created:
                    Updated:
                    Resolved: