As the last of the shared GCC runtime libraries, libgnat.so and
libgnarl.so lack symbol versioning support and a defined ABI.
Currently, they use libgnat-4.5.so and libgnarl-4.5.so SONAMEs, what
libtool calls release versioning. If the libgnat/libgnarl ABI is really
that fluent that it changes fro
> As the last of the shared GCC runtime libraries, libgnat.so and
> libgnarl.so lack symbol versioning support and a defined ABI.
> Currently, they use libgnat-4.5.so and libgnarl-4.5.so SONAMEs, what
> libtool calls release versioning. If the libgnat/libgnarl ABI is really
> that fluent that it c
* Rainer Orth:
> Since I barely know any Ada, or Ada mangling,
Ada subprogram name mangling depends on the order of declarations in
the source file. This order is also somewhat constrained by language
rules. I think this means that defining a stable ABI is rather
difficult.
> > Since I barely know any Ada, or Ada mangling,
>
> Ada subprogram name mangling depends on the order of declarations in
> the source file. This order is also somewhat constrained by language
> rules. I think this means that defining a stable ABI is rather
> difficult.
Not sure what this part
On 02/25/2010 08:51 AM, Arnaud Charlet wrote:
The main "mangling" (in Ada parlance, we talk rather about "encoding")
that is performed by GNAT is to handle packages ("namespace" in C++) and
to differentiate overloaded functions (and there, a simple counter is all
that is needed).
One of the adv
> One of the advantages of "mangling" overloaded functions C++-style, instead
> of using a simple counter is that the latter makes it basically impossible
> to define a stable ABI.
It actually is not such a problem in Ada, where declarations are first class
citizens with specific rules about pla
On Wed, 2010-02-24 at 16:10 +0100, Rainer Orth wrote:
> As the last of the shared GCC runtime libraries, libgnat.so and
> libgnarl.so lack symbol versioning support and a defined ABI.
> Currently, they use libgnat-4.5.so and libgnarl-4.5.so SONAMEs, what
> libtool calls release versioning. If the