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.
