RFR: 8290432: C2 compilation fails with assert(node->_last_del == _last) failed: must have deleted the edge just produced [v3]

[Yi Yang]

On Tue, 9 Aug 2022 17:16:02 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Yi Yang has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   update comment
>
> I still think the issue is in some other place. Your change just avoiding the case which triggers it. The java code is legal and compiling next code did not trigger nay issues:
> 
>     static long test(int val, boolean b) {
>          long ret = 0;
>          for (int i = 15; 293 > i; ++i) {
>              ret = val;
>              val--;
>          }
>          return ret;
>      }
> 
> Actually I was not able to reproduce the issue with included test.

@vnkozlov Can I have a second review? Thanks!

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

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