> I updated the warning to actually check if the TBAA information is in > conflict > and silence warnings on allowed type transtions that are not > useless_type_conversion_p > (which is needed for Fortran, too). This is list of warnings I get which I > suppose will need to be adressed.
Most if not all these warnings are cases of System.Address used as void* So there is indeed no point in trying to fix one or two cases, and we should instead instruct LTO somehow to treat System.Address is compatible with void* otherwise we'll run into endless troubles on that since using System.Address as void* is very common practice in Ada code. Arno