CVS difference for ais/ai-00176.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-00176.txt

--- ais/ai-00176.txt	1998/09/30 23:25:20	1.2
+++ ais/ai-00176.txt	1999/06/26 01:11:13	1.3
@@ -1,5 +1,6 @@
-!standard 11.05    (11)                               98-06-12  AI95-00176/04
+!standard 11.05    (11)                               99-06-25  AI95-00176/05
 !class binding interpretation 97-03-19
+!status Corrigendum 2000 99-05-27
 !status WG9 approved 98-06-12
 !status ARG Approved 11-0-0  98-04-01
 !status ARG Approved (with changes) 13-0-0  97-11-16
@@ -9,30 +10,54 @@
 !difficulty Easy
 !subject Access_Check is performed for access discriminants
 
-!summary 98-03-19
+!summary
 
 The check that an access discriminant is non-null is an Access_Check.
 
-!question 98-03-19
+!question
 
 Is the null check that occurs when evaluating a discriminant association
 for an access discriminant considered to be an Access_Check?
 
-!recommendation 98-03-19
+!recommendation
 
 (See summary.)
 
-!wording 98-04-01
+!wording
 
 (See summary.)
 
-!discussion 98-03-19
+!discussion
 
 It was an oversight to omit the null check that occurs on discriminant
 association for an access discriminant from the list of checks associated
 with Access_Check in 11.5(11).
 
-!appendix 97-03-19
+!corrigendum 11.05(11)
+
+@drepl
+@xhang<Access_Check
+When evaluating a dereference (explicit or
+implicit), check that the value of the @fa<name> is
+not @b<null>. When passing an actual parameter to a
+formal access parameter, check that the value of
+the actual parameter is not @b<null>.>
+@dby
+@xhang<Access_Check
+When evaluating a dereference (explicit or
+implicit), check that the value of the @fa<name> is
+not @b<null>. When passing an actual parameter to a
+formal access parameter, check that the value of
+the actual parameter is not @b<null>. When evaluating a
+@fa<discriminant_association> for an access discriminant,
+check that the value of the discriminant is not @b<null>.>
+
+!ACATS test
+
+This AI applies to pragma Suppress. However, since pragma Suppress need not
+actually have any effect (see the note 11.5(29)), it is not testable.
+
+!appendix
 
 !section 11.5(11)
 !subject Access_Check is performed for access discriminants

Questions? Ask the ACAA Technical Agent