Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 92d176326e5c5132fa244ff9790807f9e8daddf9
      
https://github.com/WebKit/WebKit/commit/92d176326e5c5132fa244ff9790807f9e8daddf9
  Author: Daniel Liu <[email protected]>
  Date:   2025-11-05 (Wed, 05 Nov 2025)

  Changed paths:
    M Source/JavaScriptCore/dfg/DFGOSRAvailabilityAnalysisPhase.cpp

  Log Message:
  -----------
  DFGOSRAvailabilityAnalysis phase should only assert liveness of arguments 
during validation pass
https://bugs.webkit.org/show_bug.cgi?id=301773
rdar://158595919

Reviewed by Dan Hecht.

It is incorrect to assert liveness while we are still converging to fixpoint;
we should only assert once we've converged to fixpoint. This fix ensures that
we only check that arguments are live to calls when we have reached fixpoint.

* Source/JavaScriptCore/dfg/DFGOSRAvailabilityAnalysisPhase.cpp:
(JSC::DFG::OSRAvailabilityAnalysisPhase::run):
(JSC::DFG::LocalOSRAvailabilityCalculator::executeNode):
(JSC::DFG::LocalOSRAvailabilityCalculator::validateNode):
* Source/JavaScriptCore/dfg/DFGOSRAvailabilityAnalysisPhase.h:

Canonical link: https://commits.webkit.org/302616@main



To unsubscribe from these emails, change your notification settings at 
https://github.com/WebKit/WebKit/settings/notifications

Reply via email to