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
