GIMPLE types merging in LTO compiler

Eric Botcazou ebotcazou@adacore.com
Fri May 14 11:27:00 GMT 2010


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



More information about the Gcc mailing list