JDK-8333394 : C2: assert(bol->is_Opaque4() || bol->is_OpaqueInitializedAssertionPredicate()) failed: Opaque node of non-null-check or of Initialized Assertion Predicate
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 23
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-06-02
  • Updated: 2024-06-07
  • Resolved: 2024-06-04
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 23
23 b26Fixed
Related Reports
Relates :  
JDK-8330386 - Replace Opaque4Node of Initialized Assertion Predicate with new OpaqueInitializedAssertionPredicateNode
Description
Test:  applications/javafuzzer/BigTest.java

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  Internal Error (c:\\sb\\prod\\1716926873\\workspace\\open\\src\\hotspot\\share\\opto\\loopTransform.cpp:1209), pid=16684, tid=49432
#  assert(bol->is_Opaque4() || bol->is_OpaqueInitializedAssertionPredicate()) failed: Opaque node of non-null-check or of Initialized Assertion Predicate
#
# JRE version: Java(TM) SE Runtime Environment (23.0+25) (fastdebug build 23-ea+25-2073)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 23-ea+25-2073, compiled mode, sharing, tiered, compressed oops, compressed class ptrs, g1 gc, windows-amd64)
Comments
Changeset: 64bbae75 Author: Christian Hagedorn <chagedorn@openjdk.org> Date: 2024-06-04 09:47:08 +0000 URL: https://git.openjdk.org/jdk/commit/64bbae75121ccf80c02a0960e2db62eb558052e6
04-06-2024
A pull request was submitted for review. URL: https://git.openjdk.org/jdk/pull/19517 Date: 2024-06-03 08:29:18 +0000
03-06-2024
I'll have a look.
03-06-2024
ILW = Assert during C2 compilation (regression), reproducible with JavaFuzzer generated test, no known workaround but disable compilation of affected method or loop predication = HLM = P3
03-06-2024
Christian, please have a look. Might be related to JDK-8333252.
03-06-2024
New assertion introduced by JDK-8330386
02-06-2024