http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55683
--- Comment #13 from Jan Hubicka <hubicka at gcc dot gnu.org> 2012-12-19 11:47:06 UTC --- The acutal ICE should be fixed. Martinj, I will leave the PR open just to make you to double check that ipa-cp is doing properly the translation from constants to binfos, too. I would expect this testcase to be caught by ipa-cp prior inlining. Also I think that when merging values, we should go from constant to binfo when constants differs but their binfos match (so when method is called with multiple static instances of the same object we will get devirtualization). I don't see ipa-cp doing that. Honza
