This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/45791] Missed devirtualization
- From: "hubicka at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 15 Dec 2010 00:10:53 +0000
- Subject: [Bug tree-optimization/45791] Missed devirtualization
- Auto-submitted: auto-generated
- References: <bug-45791-4@http.gcc.gnu.org/bugzilla/>
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.