This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Fix type merging deficiency during WPA
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Jan Hubicka <hubicka at ucw dot cz>
- Date: Wed, 13 Jul 2016 15:16:52 +0200
- Subject: Re: [patch] Fix type merging deficiency during WPA
- Authentication-results: sourceware.org; auth=none
- References: <1644035.nvA1iejZSU@polaris> <1984635.2VDvgg1PtU@polaris> <CAFiYyc3dNUpnvarh+UHrES224TxWN-dQ1gN=Zqajd-mvcjucfA@mail.gmail.com>
> As tree merging really replaces trees it has to error on the side of not
> merging while canonical type merging has to error on the side of "merging"
> to make types alias.
OK, then the former won't be sufficient for Ada, there are known cases where
producers and clients of a package cannot see the exact same tree for a type,
so we definitely need optimistic merging here.
> Btw, for the LTO_SET_PREVAIL can you introduce a LTO_SET_PREVAIL_EXPR
> and use that for the fields that possibly can be expressions plus simply use
> walk_tree for those (in case they are EXPR_P)? Please split that part out
> as well.
Yes, I can do that.
--
Eric Botcazou