JDK-8370131 : C2: Improve ReachabilityFence test coverage
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 26
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2025-10-17
  • Updated: 2025-10-20
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.
Other
tbdUnresolved
Related Reports
Relates :  
JDK-8290892 - C2: Intrinsify Reference.reachabilityFence
Description
JDK-8290892 introduces a targeted unit test and a stress mode (-XX:+StressReachabilityFences) where ReachabilityFence (RF) nodes are aggressively inserted during byte code parsing. 

One shortcoming of StressReachabilityFences mode is that it stresses RF machinery, but doesn't check any RF invariants. 

Consider introducing RF validation pass which ensures reachability edges are correctly placed in the IR graph according to initial RF node placement.