> Agreed. But I still think that these are two very different issues: > > * Doing implicit conversion to void * for builtins is just a convenient way > for interfacing with builtins. > > * Using void * for System.Address shouldn't have any immediate advantage > for users, but would be a better match for the representation.
In fact the latter would unbreak the m68k port (this is PR ada/48835). -- Eric Botcazou