CVS difference for acats/docs/mod_list.txt

Differences between 1.28 and version 1.29
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2001/05/25 00:43:17	1.28
+++ acats/docs/mod_list.txt	2001/06/30 02:23:35	1.29
@@ -1,25 +1,43 @@
 ACATS Test Modification List
 
-Version 2.4B
-May 24, 2001
+Version 2.4C
+June 29, 2001
 
 
 Changes from the last list:
 
-C392013 contains an error; the result for the 9 = 9 case is incorrect. As this
-was a Pending New test, this change results in the test's required date being
-adjusted to January 1, 2002.
-
-CB41004 was erroneously included as an "allowed modification" test in the 2.4A
-list; it is in fact part of ACATS 2.4.
-
-Tests CE2120A, CE2120B, and CE3119A are withdrawn. The ARG has informally
-determined that the second sentence of A.8.2(22) is Implementation Advice. The
-ACATS does not generally test Implementation Advice, and the only purpose of
-these tests is to check this sentence.
+Test B371001 (three files) was modified to have the correct "ERROR:" comment
+format. This is a pending new test, so its required date was adjusted
+accordingly.
+
+Test B851001 (three files) is a pending new test, which checks a corrigendum
+rule that renames of discriminant-dependent components are rechecked in
+instances, and are illegal in bodies if the type is descended from a indefinite
+untagged formal derived type.
+
+Test B392011 is a pending new test, which checks a corrigendum rule that if the
+expected type for an expression is an anonymous  access-to-specific tagged type,
+then the object designated by the expression shall not be dynamically tagged
+unless it is a controlling operand in a call on a dispatching operation.
+
+Test C460012 is a pending new test, which checks a corrigendum rule that the
+view created by a view conversion is constrained if the target subtype is
+indefinite.
+
+Tests C490001 and C490002 were modified to remove the requirement of rounding
+away from zero. This requirement was dropped by (pending) AI-268, and thus the
+tests must not insist on it.
+
+Tests C52011A, C52011B, C58005H, C86003A, C93005F, and C94001E were modified to
+eliminate violations of 11.6. An aggressive compiler could eliminate assignments
+and checks, thus causing the tests to call Report.Failed.
+
+Test C760013 is a pending new test, checking a corrigendum rule that Initialize
+is not called for default- initialized subcomponents of the ancestor type of an
+extension aggregate.
 
-The support file MACRO.DFS was modified to remove the substitution parameters
-for the three tests withdrawn above.
+Test CDD2001 is a pending new test, checking a corrigendum rule that the default
+'Read and 'Input raise End_Error at the end of stream.
 
 New tests inserted between April 1, 2001 and July 1, 2001 will become required
 for conformity assessments on January 1, 2002. New tests inserted between
@@ -70,13 +88,23 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-B371001 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
-	Check that a discriminant_constraint of a general access type is
-	Illegal if there is a place within the immediate scope of the
-	designated subtype where the designated subtype's view is
+B371001 [Pending New] New VCS Label: A2_4C
+			Required after 2002-01-01
+	[A2_4A] Check that a discriminant_constraint of a general access
+	type is illegal if there is a place within the immediate scope of
+	the designated subtype where the designated subtype's view is
 	unconstrained.
+	[A2_4C] Corrected the "ERROR:" comment format.
 
+B392011 [Pending New] New VCS Label: A2_4C
+			Required after 2002-01-01
+	Check that if the expected type for an expression is an anonymous
+	access-to-specific tagged type, then the object designated by the
+	expression shall not be dynamically tagged unless it is a
+	controlling operand in a call on a dispatching operation. Test
+	new cases, that is X'Access (where X is of a class-wide type) and
+	new T'Class'(...). (Technical Corrigendum 3.9.2(9/1)).
+
 C392013 [Pending New] New VCS Label: A2_4B
 			Required after 2002-01-01
 	[A2_4A] Check that "/=" implicitly declared for tagged types is
@@ -89,26 +117,102 @@
       class-wide type) and new T'Class'(...) are dynamically tagged and
       can be used in dispatching calls.
 
+C3A0015 [Pending New] New VCS Label: A2_4C
+			Required after 2002-01-01
+	Check that a derived access type has the same storage pool as its
+	parent.  (Technical Corrigendum 3.10(7/1)).
+
 B460005 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that in a view conversion of arrays, the target and operand
 	components may not have different aliasing.
 
+C460012 [Pending New] New VCS Label: A2_4C
+			Required after 2002-01-01
+	Check that the view created by a view conversion is constrained if
+	the target subtype is indefinite. (Technical Corrigendum
+	4.6(54/1)).
+
+C490001 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	Removed requirement to round away from zero, as this conflicts
+	with AI-268.
+
+C490002 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	Removed requirement to round away from zero, as this conflicts
+	with AI-268.
+
+C52011A [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	The assignments and checks @114 and 129 could be eliminated by
+	11.6 permissions.
+
+C52011B [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	The assignments and checks @124 and 139 could be eliminated by
+	11.6 permissions.
+
+C58005H [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	The assignments and checks @117, 126, 135, and 144 could be
+	eliminated by 11.6 permissions.
+
 C761006 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	Call to Good Adjust @291 need not be made (by change in Technical
 	Corrigendum).
 
+C760013 [Pending New] New VCS Label: A2_4C
+			Required after 2002-01-01
+	Check that Initialize is not called for default-initialized
+	Subcomponents of the ancestor type of an extension aggregate.
+
 C761011 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that the failure of a finalization of an object (in various
       cases) does not prevent other needed finalizations from occurring.
 
+B851001 [Pending New] New VCS Label: A2_4C
+			Required after 2002-01-01
+	Check that the restrictions on renaming components that depend on
+      a discriminant are enforced in the public and private parts of an
+      instance. Check that the restrictions on renaming components that
+      depend on a discriminant are enforced in the body of a generic
+      unit.  Include the decendant of an untagged generic formal derived
+      type case. (Technical Corrigendum 8.5.1(5/1)).
+
+C86003A [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	The assignment and check @76 could be eliminated by 11.6
+	permissions.
+
+C93005F [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	The assignment and check @228 could be eliminated by 11.6
+	permissions.
+
+C94001E [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
+			Required after 2001-10-01
+	The assignment and check @58 could be eliminated by 11.6
+      permissions.
+
 CDB0A02 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
 	are not justified by 13.11.1:3.
 
+CDD1001 [Pending New] New VCS Label: A2_4A
+			Required after 2001-10-01
+	Check that components of Stream_Element_Array are aliased.
+	Corrigendum 13.13.1(4/1).
+
+CDD2001 [Pending New] New VCS Label: A2_4A
+			Required after 2002-01-01
+	Check that the default implementation of Read and Input raise
+	End_Error if the end of stream is reached before the reading of
+	a value is completed.  Corrigendum 13.13.2(35.1/1).
+
 CE2120A [Withdrawn] Org VCS Label: A2_4
 	A.8.2(22) is Implementation Advice, not a requirement.
 
@@ -168,6 +272,11 @@
 	Assignment @287 might raise Constraint_Error, obscuring the
 	subtest objective.
 
+MACRO.DFS [Allowed Modification] New VCS Label: A2_4B Org VCS Label:
+A2_4
+			Required after 2001-10-01
+	Substitutions for withdrawn tests were removed.
+
 ===== Annex C =====
 
 [None]
@@ -220,7 +329,7 @@
 (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_2_4B Zip and Tar files on the ACAA web site.
+Mod_2_4C Zip and Tar files on the ACAA web site.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
 navigate to the appropriate directory (folder), and select the test you want.
@@ -252,7 +361,15 @@
 
 (Refer to the main list for details)
 
+C490001	2001-10-01
+C490002	2001-10-01
+C52011A	2001-10-01
+C52011B	2001-10-01
+C58005H	2001-10-01
 C761006	2001-07-01
+C86003A	2001-10-01
+C93005F	2001-10-01
+C94001E	2001-10-01
 CDB0A02	2001-07-01
 CXA5011	2001-07-01
 CXAC002	2001-07-01
@@ -260,7 +377,8 @@
 CXE4002	2001-07-01
 CXE4004	2001-07-01
 CXE4005	2001-07-01
-MACRO.DFS 2001-10-01
+MACRO.DFS	2001-10-01
+
 
 Modified Tests
 
@@ -280,12 +398,18 @@
 
 (Refer to the main list for details)
 
-B371001	2001-10-01
+B371001	2002-01-01
+B392011	2002-01-01
+B460005	2001-10-01
+B851001	2002-01-01
 C392013	2002-01-01
 C392014	2001-10-01
-B460005	2001-10-01
+C3A0015	2002-01-01
+C460012	2002-01-01
+C760013	2002-01-01
 C761011	2001-10-01
 CDD1001	2001-10-01
+CDD2001	2002-01-01
 CXA4005	2001-10-01
 CXA4016	2001-10-01
 CXA4034	2001-10-01

Questions? Ask the ACAA Technical Agent