Withdrawn: 8271202: C1: assert(false) failed: live_in set of first block must be empty

[Martin Doerr]

On Thu, 2 Dec 2021 23:18:55 GMT, Martin Doerr <mdoerr at openjdk.org> wrote:

> I have written a checker which detects usage of the illegal phi function. In case of the reproducer provided in the JBS bug ("Reduced.java"), it finds the following and bails out:
> 
> invalidating local 8 because of type mismatch (new_value is NULL)
> Bailing out because StoreIndexed (id 98) uses illegal phi (id 68)
> 
> I haven't checked why that node uses the illegal phi. That still seems to be a bug. Maybe there's a better solution to the underlying problem, but I hope my checker is useful to analyze bugs and to make C1 more resilient.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.java.net/jdk/pull/6683