> 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.
Maybe we could apply this special treatment only to the void_ptr subtype of Interfaces.C.Extensions and require its use when interfacing with C. -- Eric Botcazou