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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-Thread: f849b,b8d52151b7b306d2 X-Google-Attributes: gidf849b,public X-Google-ArrivalTime: 2003-12-31 02:52:12 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!newsfeed01.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail From: Martin Krischik Newsgroups: comp.arch.embedded,comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems Followup-To: comp.arch.embedded,comp.lang.ada Date: Wed, 31 Dec 2003 11:41:41 +0100 Organization: AdaCL Message-ID: <4608986.lzf9WfrU5r@linux1.krischik.com> References: <3fe00b82.90228601@News.CIS.DFN.DE> <3FE026A8.3CD6A3A@yahoo.com> <3bf1uvg2ntadvahfud2rg6ujk24sora6gr@4ax.com> <2u3auvogde8ktotlaq0ldiaska3g416gus@4ax.com> <20619edc.0312221020.3fd1b4ee@posting.google.com> <20619edc.0312222106.3b369547@posting.google.com> <45cs9hAbLc6$EAAx@phaedsys.demon.co.uk> <3fe9f0d7.104475725@News.CIS.DFN.DE> <5802069.JsgInS3tXa@linux1.krischik.com> <1072464162.325936@master.nyc.kbcfp.com> <1563361.SfB03k3vvC@linux1.krischik.com> <11LvOkBBXw7$EAJw@phaedsys.demon.co.uk> <3ff0687f.528387944@News.CIS.DFN.DE> <1086072.fFeiH4ICbz@linux1.krischik.com> <3ff18d4d.603356952@News.CIS.DFN.DE> <1731094.1f7Irsyk1h@linux1.krischik.com> <1072806253.772580@master.nyc.kbcfp.com> <3FF1DD0D.EACABE37@yahoo.com> <1072819860.150168@master.nyc.kbcfp.com> Reply-To: krischik@users.sourceforge.net Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: news.t-online.com 1072867825 06 23299 gMFvGJpLc0q9LEo 031231 10:50:25 X-Complaints-To: usenet-abuse@t-online.de X-ID: XHGmt6ZVYeLmenGnZkkWMaG1XKn7a+axjWzK-31TYEvhaVZcpd6Bcx User-Agent: KNode/0.7.2 Xref: archiver1.google.com comp.arch.embedded:6429 comp.lang.ada:3981 Date: 2003-12-31T11:41:41+01:00 List-Id: Hyman Rosen wrote: > CBFalconer wrote: >> You live in a highly peculiar world. :-) >> Martin means array indices, not numbers, IMO. > > Counting in the real world is done in many peculiar ways. > For example, at least in the US, house numbers tend to be > even on one side of the street and odd on the other. > > Counting in computer programs should be done in a way most > convenient for the programs to do their work. Here you hit the main difference between the Pascal/Modula-2/Ada fraction and the C/C++ fraction. Those Pascal/Modula-2/Ada fraction belive that computer programs should reseble the real word as much as possible and translating beween real world and computer world should be done by the compiler and the optimizer. Because once the compiler and optimizer have learned to do that will do it right every time. Unlike humans. I have a lot more experience in C++ then in Ada jet I make a lot more little mistakes in C++ then in Ada. Most of which are type convertions where there is no type is to be converted. And of course I use warning level 4 to tell me about unsuitable type convertions but it does not help. Mostly because the 3rd party libraries (incl. the STL) are not compatible with warning level 4. >From my experience 10 to 1 (10 times as many silly little mistakes in C++) is realistic. And, unlike the normal C/C++ developer, who take these bugs K&R given, I know that an Ada compiler would have told me that I am doing something silly. With Regards Martin -- mailto://krischik@users.sourceforge.net http://www.ada.krischik.com