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

[Nils Eliasson]

On Thu, 1 Jul 2021 19:23:19 GMT, Vladimir Kozlov <kvn 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.

Changed bug, and added check with comment.

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

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