[Bug tree-optimization/45791] Missed devirtualization

[hubicka at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45791

--- Comment #12 from Jan Hubicka <hubicka at gcc dot gnu.org> 2010-12-15 00:10:45 UTC ---
No, this is different, since OBJ_TYPE_REF is sitting here and it imply type
conversion in the way we implement it right now.
There is no type mismatch in between the original address and the call
argument, just the intermediate pointer is of wrong type.  VRP should do the
same as CCP, see the code I added into CCP.