CVS difference for ai05s/ai05-0033-1.txt
--- ai05s/ai05-0033-1.txt 2007/12/13 04:39:35 1.3
+++ ai05s/ai05-0033-1.txt 2008/05/10 05:14:33 1.4
@@ -1,4 +1,4 @@
-!standard 13.11.2(16) 07-11-09 AI05-0033-1/02
+!standard 13.11.2(16) 08-04-21 AI05-0033-1/03
!standard C.3.1(7/2)
!standard C.3.1(8/2)
!class binding interpretation 06-12-15
@@ -142,17 +142,17 @@
the access value clearly denotes a protected subprogram, which is not an object).
Therefore, we add a rule covering this case.
-!corrigendum 13.11.1(16)
+!corrigendum 13.11.2(16)
@drepl
Evaluating a name that denotes a nonexistent object is erroneous. The execution of a call
to an instance of Unchecked_Deallocation is erroneous if the object was created other
-than by an allocator for an access type whose pool is Name'Storage_Pool.
+than by an @fa<allocator> for an access type whose pool is Name'Storage_Pool.
@dby
Evaluating a name that denotes a nonexistent object or a protected subprogram whose
associated object is nonexistent is erroneous. The execution of a call to an instance
of Unchecked_Deallocation is erroneous if the object was created other than
-by an allocator for an access type whose pool is Name'Storage_Pool.
+by an @fa<allocator> for an access type whose pool is Name'Storage_Pool.
!corrigendum C.3.1(7/2)
Questions? Ask the ACAA Technical Agent