http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-04-26 12:56:30 UTC --- I would say that PR48761 testcase is not 100% dup of this one. One tests that cgraph merging check type compatibility of direct call edges, the second tests that ipa-prop does type compatibility check when turing indirect edge to direct. I guess only way to go is to stomp call expression types to the callgraph edges. Doable, but ugly since it will add need to store types into callgraph sections that are currently simple blocks. Or to make inliner and ipa-prop to handle all cases, even those not type compatible, right? This is not really my area, so I would hope someone to beat me on this problem :))
