From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,703c4f68db81387d X-Google-Thread: 109fba,703c4f68db81387d X-Google-Thread: 115aec,703c4f68db81387d X-Google-Thread: f43e6,703c4f68db81387d X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.glorb.com!newscon02.news.prodigy.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!panix!panix1.panix.com!not-for-mail From: comeau@panix.com (Greg Comeau) Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: 14 Mar 2005 16:53:59 -0500 Organization: Comeau Computing; http://www.comeaucomputing.com Message-ID: References: <871xau9nlh.fsf@insalien.org> Reply-To: comeau@comeaucomputing.com NNTP-Posting-Host: panix1.panix.com X-Trace: reader1.panix.com 1110837239 868 166.84.1.1 (14 Mar 2005 21:53:59 GMT) X-Complaints-To: abuse@panix.com NNTP-Posting-Date: Mon, 14 Mar 2005 21:53:59 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:9400 comp.lang.c++:45693 comp.realtime:1481 comp.software-eng:5047 Date: 2005-03-14T16:53:59-05:00 List-Id: In article , Robert A Duff wrote: >comeau@panix.com (Greg Comeau) writes: > >> In article , >> Robert A Duff wrote: >> >comeau@panix.com (Greg Comeau) writes: >> > >> >> >>>> Out of curiosity how old is the ACATS test, and how many >> >> >>>> compilers currently pass it? >> >> >> >> Still looking for this number if anybody has it handy. >> > >> >Not sure which number you're looking for... >> >> How many current compiler pass current ACATS test, >> at least those that are required. > >Well, let's see. Off the top of my head, Ada compilers are available >from Sofcheck (that's my company), AdaCore (that's the free software >version; they make their money by providing support), Greenhills >(which uses the SofCheck Ada front end, and supports many embedded >targets), Aonix (also uses the SofCheck front end), RR Software, >DDC-I, ICSC (sp?), IBM... (Did I forget some?) > >I don't know which ones pass (the required portion of) the ACATS. >My guess is: all of them. > >(The reason there are ACATS tests that are not required is that some >portions of the language standard are optional. The standard has >optional annexes for various specialized purposes: real-time, >information systems, safety critical, etc.) > >By the way, SofCheck's current focus is not Ada compilers: we're >concentrating on static analysis tools for Java and Ada and eventually >other languages such as C++. But we still make most of our revenue >from the compiler side of the business. > >> >By the way, the idea that Ada(tm) compilers had to pass some tests is >> >long, long gone. It was a fairly silly idea, anyway, and totally >> >unenforceable. Nobody's stopping anybody from producing a compiler for >> >Ada-except-some-diffs, or C++-except-some-diffs, for that matter. > >...but of course there's a lot of market pressure to produce >standard-conforming compilers, for those languages that have official >standards (Ada, C, C++, Fortran, Cobol, etc). And hence why I'm curious exactly which ones are fully standard conforming, optional parts aside (or at least clearly labelled). -- Greg Comeau / Comeau for the Mac? Stay tuned. Comeau C/C++ ONLINE ==> http://www.comeaucomputing.com/tryitout World Class Compilers: Breathtaking C++, Amazing C99, Fabulous C90. Comeau C/C++ with Dinkumware's Libraries... Have you tried it?