CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2001/06/30 02:23:35	1.29
+++ acats/docs/mod_list.txt	2001/08/20 22:41:58	1.30
@@ -1,53 +1,30 @@
 ACATS Test Modification List
 
-Version 2.4C
-June 29, 2001
+Version 2.4D
+Augest 20, 2001
 
 
 Changes from the last list:
 
-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.
-
-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
-January 1, 2001 and April 1, 2001 will become required for conformity
-assessments on October 1, 2001. New tests inserted between October 1, 2000 and
-January 1, 2001 will become required for conformity assessments on July 1, 2001.
-New tests added to the ACATS before October 1, 2000 are now required for
-conformity assessments (and are included in ACATS 2.4). The effective dates of
-tests are marked in the lists.
+The quarter has ended, so a batch of modified tests has become required for
+conformity assessments.
 
+C460012 contains a reference to the wrong discriminant. As this was a Pending
+New test, this change results in the test's required date being adjusted to
+April 1, 2002.
+
+C731001 outputs a lot of extra messages because the Verbose flag is set. That
+has been corrected.
+
+New tests inserted between July 1, 2001 and October 1, 2001 will become required
+for conformity assessments on April 1, 2002. 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 January 1, 2001 and April 1, 2001 will
+become required for conformity assessments on October 1, 2001. New tests added
+to the ACATS before January 1, 2001 are now required for conformity assessments
+(and all of these are included in ACATS 2.4). The effective dates of tests are
+marked in the lists.
+
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
 
@@ -127,11 +104,12 @@
 	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
+C460012 [Pending New] New VCS Label: A2_4D
+			Required after 2002-04-01
 	Check that the view created by a view conversion is constrained if
 	the target subtype is indefinite. (Technical Corrigendum
 	4.6(54/1)).
+	[A2_4D] Corrected a discriminant reference.
 
 C490001 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
 			Required after 2001-10-01
@@ -158,16 +136,19 @@
 	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).
+C731001 [Allowed Modification] New VCS Label: A2_4D Org VCS Label: A2_4
+			Required after 2002-01-01
+	The Verbose flag @52 should be False.
 
 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.
 
+C761006 [Modified] VCS Label: A2_4A
+	Call to Good Adjust @291 need not be made (by change in Technical
+	Corrigendum).
+
 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
@@ -197,8 +178,7 @@
 	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
+CDB0A02 [Modified] VCS Label: A2_4A
 	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
 	are not justified by 13.11.1:3.
 
@@ -241,8 +221,7 @@
 	Check that Ada.Strings.Bounded.Slice and
       Ada.Strings.Wide_Bounded.Slice raise Index_Error as needed.
 
-CXA5011 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
-			Required after 2001-07-01
+CXA5011 [Modified] VCS Label: A2_4A
 	Conversions @361 and @408 may raise Constraint_Error if Integer is
 	16-bits in size.
 
@@ -251,8 +230,7 @@
 	Check that the parameter mode of Ada.Text_IO.Flush and
 	Ada.Streams.Stream_IO.Flush is 'in'.
 
-CXAC002 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
-			Required after 2001-07-01
+CXAC002 [Modified] VCS Label: A2_4A
 	The Not_Applicable case @276 should raise Incomplete.
 
 CXAC003 [Pending New] New VCS Label: A2_4A
@@ -267,8 +245,7 @@
 			Required after 2001-10-01
 	Check that operations of Stream_IO update the index properly.
 
-CXB3010 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
-			Required after 2001-07-01
+CXB3010 [Modified] VCS Label: A2_4A
 	Assignment @287 might raise Constraint_Error, obscuring the
 	subtest objective.
 
@@ -287,18 +264,15 @@
 
 ===== Annex E =====
 
-CXE4002 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
-			Required after 2001-07-01
+CXE4002 [Modified] VCS Label: A2_4A
 	A race condition at start time might cause the test to fail
 	unnecessarily.
 
-CXE4004 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
-			Required after 2001-07-01
+CXE4004 [Modified] VCS Label: A2_4A
 	A race condition at start time might cause the test to fail
 	unnecessarily.
 
-CXE4005 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
-			Required after 2001-07-01
+CXE4005 [Modified] VCS Label: A2_4A
 	A race condition at start time might cause the test to fail
 	unnecessarily.
 
@@ -329,7 +303,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_4C Zip and Tar files on the ACAA web site.
+Mod_2_4D 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.
@@ -366,17 +340,10 @@
 C52011A	2001-10-01
 C52011B	2001-10-01
 C58005H	2001-10-01
-C761006	2001-07-01
+C731001	2002-01-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
-CXB3010	2001-07-01
-CXE4002	2001-07-01
-CXE4004	2001-07-01
-CXE4005	2001-07-01
 MACRO.DFS	2001-10-01
 
 
@@ -384,7 +351,14 @@
 
 (Refer to the main list for details)
 
-[None.]
+C761006
+CDB0A02
+CXA5011
+CXAC002
+CXB3010
+CXE4002
+CXE4004
+CXE4005
 
 
 New Tests
@@ -405,7 +379,7 @@
 C392013	2002-01-01
 C392014	2001-10-01
 C3A0015	2002-01-01
-C460012	2002-01-01
+C460012	2002-04-01
 C760013	2002-01-01
 C761011	2001-10-01
 CDD1001	2001-10-01

Questions? Ask the ACAA Technical Agent