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-Thread: 103376,b860b4e8d00468ef X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.maxwell.syr.edu!transit.news.xs4all.nl!195.241.76.212.MISMATCH!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Ada access vs C/C++ pointers and references References: <87657fso10.fsf@insalien.org> From: Ludovic Brenta Date: Thu, 19 Aug 2004 20:01:24 +0200 Message-ID: <87r7q3qa6j.fsf@insalien.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) Cancel-Lock: sha1:uggY9+tlqHy85jzpdMdnTbpT/dY= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Organization: Tiscali bv NNTP-Posting-Date: 19 Aug 2004 20:02:03 CEST NNTP-Posting-Host: 83.134.237.203 X-Trace: 1092938523 dreader2.news.tiscali.nl 62379 83.134.237.203:35862 X-Complaints-To: abuse@tiscali.nl Xref: g2news1.google.com comp.lang.ada:2865 Date: 2004-08-19T20:02:03+02:00 List-Id: "Martin Dowie" writes: > "Ludovic Brenta" wrote in message >> Ada does provide for pointer arithmetic, but the fact that one can >> avoid pointers altogether for most things does help with >> verification and certification of safety-critical software. >> Pointer arithmetic is usually confined to a few low-level device >> drivers. >> >> (I work in avionics) > > I also work in avionics (have done for 16 years now) and I've > _never_ needed pointer arithmatic - there's usually a 'better' Ada > way that produces acceptably fast results. But YMMV :-) Yes, usually, representation clauses and arrays work wonders. Occasionally, we do use System.Address, but I can't recall, off the top of my head, that we ever used "+" or "-" on addresses. -- Ludovic Brenta.