RFR: 8290711: assert(false) failed: infinite loop in PhaseIterGVN::optimize [v4]

[Roland Westrelin]

On Tue, 23 Aug 2022 23:30:48 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   move _safepoints declaration
>
> src/hotspot/share/opto/phaseX.cpp line 1964:
> 
>> 1962: 
>> 1963:   // This CCP pass may prove that no exit test for a loop ever succeeds (i.e. the loop is infinite). In that case,
>> 1964:   // the logic below doesn't follow any path from Root to the loop body (they are proven never taken). If CCP only works
> 
> May be clarify that "any path from Root's inputs". Because any such loop is reachable from Root's uses/outputs.

I reworded the comment. Let me know if that looks good to you.

-------------

PR: https://git.openjdk.org/jdk/pull/9961