http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45791
--- Comment #13 from Jan Hubicka <hubicka at gcc dot gnu.org> 2010-12-15 00:12:54 UTC --- ... but obviously the problem still is that we don't devirtualize this early enough for inlining. The low level code should be able to do so if FRE+CCP was added as early pass or FRE was also extended to fold the OBJ_TYEP_REF calls away and added as early pass. Now when Richi fixed it, it should even be possible. However, can't this be also handled by type based code?