https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
--- Comment #25 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> AFAIR, the difference is that the Ada runtime (when built during each stage)
> is made as convenience (statically linked) libs, whereas libada is built
> shared - so there will (probably) be different code-gen paths. ("Probably"
> is only stated because x86-64 Darwin should always build PIC code for m64 so
> if it was doing something different that would, indeed be an accident)
No, as Arno said, there is no difference w or w/o --disable-libada.
