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,24411eb4ff030f6c X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!newshosting.com!nx01.iad01.newshosting.com!68.1.17.232.MISMATCH!peer01.cox.net!cox.net!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Semantics of Inline vs non-Inline Date: 22 Oct 2004 06:50:09 +0100 Organization: Pushface Sender: simon@smaug.pushface.org Message-ID: References: <35f054ea.0410211646.6e9fd569@posting.google.com> NNTP-Posting-Host: pogner.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news.demon.co.uk 1098424595 830 62.49.19.209 (22 Oct 2004 05:56:35 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Fri, 22 Oct 2004 05:56:35 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 Xref: g2news1.google.com comp.lang.ada:5618 Date: 2004-10-22T06:50:09+01:00 List-Id: aschwarz@acm.org (skidmarks) writes: > "Christoph Karl Walter Grein" wrote in message news:... > > > Only if it didn't, you have a point against your compiler vendor > > and should push his nose to this pragraph. > > Two points: > 1. A warning message was issued stating that a 'null' value would > be substituted for the input address, and > 2. At run-time, the error was caught with Windows not Ada. > > here has been mention that for the case at point, the compiler is not > correct (both 1. and 2. are erroneous) and also that the compiler is > correct (1. is correct and 2. is erroneous). > > For respondents not literate in the LRM but, nonetheless trying to > produce a product, the feeling is that 1. and 2. are erroneous. This > includes myself. 1 cannot be erroneous, because erroneous is about what happens at run time to your incorrect program, not about compiler messages. 2 is a perfectly legit response to an erroneous program. "erroneous" does NOT mean exactly the same as "wrong" or "not what I wanted". In an Ada context, it has a specific meaning. See ARM 1.1.5(10): "In addition to bounded errors, the language rules define certain kinds of errors as leading to erroneous execution. Like bounded errors, the implementation need not detect such errors either prior to or during run time. Unlike bounded errors, there is no language-specified bound on the possible effect of erroneous execution; the effect is in general not predictable." -- Simon Wright 100% Ada, no bugs.