CVS difference for ais/ai-00231.txt

Differences between 1.15 and version 1.16
Log of other versions for file ais/ai-00231.txt

--- ais/ai-00231.txt	2004/06/25 01:30:35	1.15
+++ ais/ai-00231.txt	2004/09/17 04:44:34	1.16
@@ -1,4 +1,4 @@
-!standard  3.10      (06)                        04-05-24  AI95-00231/09
+!standard  3.10      (06)                        04-09-16  AI95-00231/10
 !standard  3.2.3     (03)
 !standard  3.2.3     (05)
 !standard  3.7       (05)
@@ -17,6 +17,7 @@
 !standard  6.1       (24)
 !standard  8.5.1     (04)
 !standard  8.6       (25)
+!standard  11.5      (12/1)
 !standard  12.5.1    (10)
 !standard  12.5.4    (04)
 !class amendment 00-04-13
@@ -566,6 +567,19 @@
 designated type @i<D>, to an access-to-object type whose designated type is
 @i<D>'Class or is covered by @i<D>, and that is access-to-constant only if
 @i<T> is access-to-constant.>
+
+!corrigendum 11.5(12/1)
+
+@drepl
+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>.
+@dby
+When evaluating a dereference (explicit or implicit), check that the value of
+the @fa<name> is not @b<null>. When converting to a null-excluding subtype,
+check that the converted value is not @b<null>.
 
 !corrigendum 12.5.1(10)
 

Questions? Ask the ACAA Technical Agent