JDK-6715629 : igvn->type(n) should be consistent with n->bottom_type()
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: hs14
  • Priority: P4
  • Status: Closed
  • Resolution: Won't Fix
  • OS: solaris_10
  • CPU: x86
  • Submitted: 2008-06-17
  • Updated: 2019-09-13
  • Resolved: 2018-03-08
Related Reports
Relates :  
JDK-6714406 - Node::dominates() does not always check for TOP
Relates :  
JDK-8034871 - phaseX.cpp: infinite loop in PhaseIterGVN::optimize
Relates :  
JDK-8034216 - assert(false) failed: infinite loop in PhaseIterGVN::optimize
Description
The inconsistency between igvn->type(addP)==InstPtr and addP->bottom_type() == Top
when the base and the address of addP are TOP exposes the bug 6714406.

Such inconsistency could be created in kill_dead_code() (node.cpp) 
where dead users are not killed aggressively but just put on IGVN worklist.

Types should be consistent.
Comments
We are moving from C2 to Graal.
08-03-2018
ILW=Bad type hygiene, low, none = MLH = P4
30-04-2014