GenerationContext.resync() deletes all null check guards

Description

GenerationContext.resync() is supposed to make sure that all null check guards have a valid register. However, there is a bug in the implementation. The line

if (!(regPool.contains(entry.getValue()))) i.remove();

from the current implementation is wrong (the contains test will always return false). It should read

if (!(regPool.contains(entry.getKey()))) i.remove();

Environment

None

Status

Assignee

Erik Brangs

Reporter

Erik Brangs

Labels

None

Components

Fix versions

Affects versions

Priority

Lowest
Configure