[jdk17] RFR: 8269641: assert(tmp == _callprojs.fallthrough_catchproj) failed: allocation control projection

[Vladimir Kozlov]

On Thu, 1 Jul 2021 18:24:34 GMT, Nils Eliasson <neliasso at openjdk.org> wrote:

> > I suggest to create new **open** bug and close current as dup.
> 
> This fixes the original reported bug - so that we run fine even without JDK-8268405 (which probably doesn't fix it - just hides it.)

I mean this bug 8269641 is marked as `Confidential`. Nobody can see it, even GitHub - see `Issue`. You need to create new bug which does not have our confidential information for review in open GitHub.

> 
> > I also don't get why your change in macro.cpp fixed the issue. `fallthrough_catchproj` is local cached value - it should not be updated with call to `replace_node()`.
> > Can you tell more what happened here?
> 
> fallthrough_catchproj is chached. It's the tmp that will be NULL if the assert is after the replace. The Init-node is being removed. Maybe I should just remove the entire assert - it's a bit unnecessary.

It looks like `InitalizeNode` has only control projection output and when it is replaced it also removes `InitalizeNode` as dead node too. In such case you just need to relax assert by checking `tmp == NULL ||` and adding comment that `InitalizeNode` can become dead when it has only one projection.

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

PR: https://git.openjdk.java.net/jdk17/pull/193