https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70929
Martin Jambor <jamborm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jamborm at gcc dot gnu.org
--- Comment #12 from Martin Jambor <jamborm at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #11)
> Since we now stream parameter types into ipa-fnsummary, we should be able to
> resolve this precisely?
We stream types of formal parameters (so in WPA we know that the type of the
formal parameter of t is a reference and not a struct) but we don't stream type
of actual arguments unless they are a constant, so, at least if I understand
the question correctly, we still cannot make the type comparison in the IPA
decision stage.
