Re: More reliable compilers (of some programming langauges) than GNAT

["Randy Brukardt" <randy@rrsoftware.com>]

"Victor Porton" <porton@narod.ru> wrote in message 
news:ov3t3c$uvn$1@gioia.aioe.org...
> Randy Brukardt wrote:
...
>> BTW, one reason for this is that there is a freely available independent
>> test suite for Ada (the ACATS), so it is highly unlikely to see an Ada
>> compiler that can't process some basic construct. So far as I'm aware, 
>> all
>
> See
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027#c17
> for such a bug (recently found by me, about shared libraries).

A "shared library" is not a "basic construct"; indeed, it is not an Ada 
construct at all so of course it has nothing to do with the quality of the 
*Ada* compiler. Indeed, many Ada compilers don't bother to support "shared 
libraries" as they are a rather useless construct that mainly serves to 
introduce bugs (if the shared library gets updated out of sync with the rest 
of the program).

                                        Randy.