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,fb91c06036d79ae2,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!s2g2000vby.googlegroups.com!not-for-mail
From: Baptiste Fouques <bateast@bat.fr.eu.org>
Newsgroups: comp.lang.ada
Subject: list of errors whose detection is required by RM
Date: Thu, 18 Aug 2011 09:07:41 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <26839fca-37be-4c24-bb04-57fb527e8b66@s2g2000vby.googlegroups.com>
NNTP-Posting-Host: 195.6.80.114
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1313683994 10212 127.0.0.1 (18 Aug 2011 16:13:14
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 18 Aug 2011 16:13:14 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: s2g2000vby.googlegroups.com; posting-host=195.6.80.114;
 posting-account=kAkmxgoAAAB3MT10NrngHjoS0_l7RxMJ
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HNKRUAELSC
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 5.1) AppleWebKit/535.1 (KHTML, like
 Gecko) Chrome/13.0.782.112 Safari/535.1,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:20676
Date: 2011-08-18T09:07:41-07:00
List-Id: <comp.lang.ada>

Hi all,

I am looking for a referenced list of errors whose detection is
required by the Ada Standard. (either 95 or 2005).

The RM, =A71.1.3 is clear on the point that compliant compiler is
required to detect every error specified in the standard (RM, that
is). The next chapter in the RM gives a classification of errors,
mainly by the detection point, and the expected behaviour after the
detection.

Then, all over the RM chapters, there is the specification of expected
checks at any relevant point. By the way, those checks are not linked
to the error classification.

I am looking for a single list of those checks.

Given this list, it is easy to demonstrate that no other tool than a
compliant compiler is required to prove the absence of given type of
errors (depending on the list). I can't find such a list.

If you know where I can find this list, please give me the link ...

Thanks.