list of errors whose detection is required by RM

[Baptiste Fouques <bateast@bat.fr.eu.org>]

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, §1.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.