http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
Richard Biener changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
--- Comment #6 from Jan Hubicka 2011-04-26 13:20:24 UTC
---
> We should defer detection of incompatibilities to when we see the call stmt,
> thus expand_call_inline. We shouldn't worry about this disturbing inliner
Undoing the inliner decisions
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
--- Comment #5 from Richard Guenther 2011-04-26
13:05:32 UTC ---
(In reply to comment #4)
> 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
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
--- Comment #4 from Jan Hubicka 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 comp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
--- Comment #2 from Richard Guenther 2011-04-26
10:08:55 UTC ---
*** Bug 48761 has been marked as a duplicate of this bug. ***
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
Richard Guenther changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48763
--- Comment #1 from Jan Hubicka 2011-04-25
17:04:55 UTC ---
OK,
the problem is that we check only return types for compatibility:
244 /* Redirect all incoming edges. */
245 compatible_p
246 = gimple_types_compatible_p (TREE_T
