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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,539c04254abf1b37 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-01 11:29:31 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: compiler benchmark comparisons (was: naval systems) Date: 1 Mar 2002 11:29:31 -0800 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0203011129.1bdbac56@posting.google.com> References: <3C74E519.3F5349C4@baesystems.com> <3C7D37FD.F67F7067@despammed.com> <17247c3d.0202271553.68aaf78d@posting.google.com> <338040f8.0202271819.373f733a@Organization: LJK Software NNTP-Posting-Host: 205.232.38.14 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1015010971 20617 127.0.0.1 (1 Mar 2002 19:29:31 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 1 Mar 2002 19:29:31 GMT Xref: archiver1.google.com comp.lang.ada:20666 Date: 2002-03-01T19:29:31+00:00 List-Id: Kilgallen@SpamCop.net (Larry Kilgallen) wrote in message news:... > When the tool that generates the makefiles is the > previous run of the C compiler itself, the difference > from Ada seems quite small. Well it is in practice quite large in most environments. Very few C environments update the makefile on every compilation (using tools like make depend), and one of the most important differences is that it is perfectly possible to link an inconsistent C program if your hand crafted procedures to prevent this go astray. So in practice, most Ada programmers find this a significant advantage of Ada over C, but of course your mileage may vary (after all there is nothing that requires an Ada environment to have decent tools, although there is still something that requires it to check for inconsistencies, unlike the case with Ada). Actually in most Ada compilers, it is hard to make the automatic recompilation 100% accurate anyway, e.g. many Ada systems end up with the amount of inlining depending on the order of compilation. So there is no magical guarantee here (one of the advantages of the source based approach to compilation is that in fact it is feasible to give a 100% guarantee on dependencies and recompilation, since you can compile clients before you compile the packages they need, so you do know what's needed before compiling it.