Version 1.1 of acs/ac-00216.txt

Unformatted version of acs/ac-00216.txt version 1.1
Other versions for file acs/ac-00216.txt

!standard 11.5(19)          11-03-31 AC95-00216/01
!class confirmation 11-03-31
!status received no action 11-03-31
!status received 11-02-22
!subject Missing checks in 11.5??

From: Tucker Taft
Sent: Tuesday, February 22, 2011  12:31 PM

I just noticed that Ceiling_Check is not listed as one of the language-defined
checks in RM 11.5 on suppressing checks, but it seems like something that the
user might want to suppress.  Was it intentional to leave it out of 11.5?  It is
defined in C.3.1(11) and D.3(13).


From: Randy Brukardt
Sent: Wednesday, March  9, 2011  10:57 PM

Probably, in that Ada 95 was quite paranoid about mentioning annex things in the
body of the standard. Whether we *ought* to leave it out is a different

I note that the index lists 15 different named checks, but 11.5 only mentions
12. Partition_Check and Reserved_Check also are not included. These (including
Ceiling_Check) also are the only checks defined (according to the index) in the
Annexes. This does not appear to be a coincidence!

I'll leave it to someone else to decide if we really need to mention any of
these in 11.5.


Questions? Ask the ACAA Technical Agent