CVS difference for ai22s/ai22-0015-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai22s/ai22-0015-1.txt

--- ai22s/ai22-0015-1.txt	2023/11/17 06:50:15	1.5
+++ ai22s/ai22-0015-1.txt	2024/02/13 07:49:08	1.6
@@ -86,6 +86,65 @@
 for replacing access parameters with aliased parameters, so such
 allocators would hopefully become even less common.
 
+!corrigendum 3.9(26.1/3)
+
+@drepl
+Internal_Tag should return the tag of a type, if one exists, whose innermost
+master is a master of the point of the function call. 
+@dby
+Internal_Tag should return the tag of a type, if one exists, whose innermost
+master is a master of the point of evaluation of the function call.
+
+!corrigendum 3.10.2(14/3)
+
+@drepl
+@xbullet<The accessibility level of an object created by an @fa<allocator> is the
+same as that of the access type, except for an @fa<allocator> of an anonymous
+access type (an @i<anonymous allocator>) in certain contexts, as follows: For an
+anonymous allocator that defines the result of a function with an access result, 
+the accessibility level is determined as though the @fa<allocator> were in place
+of the call of the function; in the special case of a call that is the operand of
+a type conversion, the level is that of the target access type of the conversion.
+For an anonymous allocator defining the value of an access parameter, the
+accessibility level is that of the innermost master of the call. For an anonymous
+allocator whose type is that of a stand-alone object of an anonymous
+access-to-object type, the accessibility level is that of the declaration of the
+stand-alone object. For one defining an access discriminant, the accessibility level
+is determined as follows:>
+@dby
+@xbullet<The accessibility level of an object created by an @fa<allocator> is the
+same as that of the access type, except for an @fa<allocator> of an anonymous
+access type (an @i<anonymous allocator>) in certain contexts, as follows: For an
+anonymous allocator that defines the result of a function with an access result, 
+the accessibility level is determined as though the @fa<allocator> were in place
+of the call of the function; in the special case of a call that is the operand of
+a type conversion, the level is that of the target access type of the conversion.
+For an anonymous allocator defining the value of an access parameter, the
+accessibility level is that of the innermost master of the evaluation of the call.
+For an anonymous allocator whose type is that of a stand-alone object of an anonymous
+access-to-object type, the accessibility level is that of the declaration of the
+stand-alone object. For one defining an access discriminant, the accessibility level
+is determined as follows:>
+
+!corrigendum 7.6.1(11.3/3)
+
+@drepl
+@xbullet<For the type of an access parameter, the call that
+contains the @fa<allocator>.>
+@dby
+@xbullet<For the type of an access parameter, the evaluation of the call that
+contains the @fa<allocator>.>
+
+!corrigendum 7.6.1(11.4/3)
+
+@drepl
+@xbullet<For the type of an access result, within the master of the
+call (see 3.10.2).>
+@dby
+@xbullet<For the type of an access result, within the master of the function
+call (see 3.10.2).>
+
+
 !ACATS test
 
 No ACATS tests should be needed, as this is only clarifying existing 

Questions? Ask the ACAA Technical Agent