This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
GIMPLE types merging in LTO compiler
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: gcc at gcc dot gnu dot org
- Date: Fri, 14 May 2010 13:24:51 +0200
- Subject: GIMPLE types merging in LTO compiler
Hi,
most of the remaining warnings issued by the LTO compiler on object files
compiled from Ada are caused by a small flaw in the GIMPLE types merging
process: it is done before symbols are merged so compatible types (typically
domain types of arrays) whose distinguishing features depend on symbols
(variable bounds for domain types of arrays) aren't recognized as such if the
first type references one instance of the symbol (e.g. the "prevailing" one)
and the second type references another instance of the same symbol.
What's the best approach to addressing this? Thanks in advance.
--
Eric Botcazou