CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2020/03/21 05:32:46	1.96
+++ acats/docs/mod_list.txt	2020/07/01 05:58:16	1.97
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1Q
-March 20, 2020
+Version 4.1R
+June 30, 2020
 
 
 What is this?
@@ -10,38 +10,37 @@
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
-ACATS Modification List version 3.1Z for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1AA for ACATS 3.1 is the current list for that
 test suite. ACATS 3.1 should be used for testing implementations that support
 Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
 continue to be maintained as necessary for the foreseeable future.
 
-ACATS Modification List version 2.6G for ACATS 2.6 is the current list for that
+ACATS Modification List version 2.6H for ACATS 2.6 is the current list for that
 test suite. ACATS 2.6 should be used for testing implementations of the second
 edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will
 continue to be maintained as necessary for the foreseeable future.
 
 Changes from the last list:
 
-A handful of tests changed status on January 1st; see the lists for the
-details.
+A handful of tests changed status on April 1st; see the lists for the details.
 
-Note: There is no list 4.1O, as that could be confused with 4.10.
+New tests C350A01, C350A02, C350B01, C350B02, and the associated foundations
+F350A00 and F350B00 check that objects of types that have a specified
+Default_Value are appropriately initialized.
 
-New test B350001 checks Legality Rules associated with the Default_Value aspect,
-new test B360001 does the same for the Default_Component_Value aspect.
+Test C452003 has confused code in Force_Save, and the Force_Op routine made the
+wrong test.
 
-Test C452004 should use Integer rather than Natural for LTemp and RTemp (two
-places).
+New test C620002 modernizes, added test cases to, and removes an incompatibility
+from test C95072A. The old test is withdrawn.
 
-New test B860002 checks that implicit conversion of access types does not allow
-too much.
+Test B854002 was constructed by copying test BC60005, so not surprisingly, it
+has the same errors; these have been corrected.
 
-Test BC60005 had two legal instantiations (InstG51 and InstGF51) marked as
-errors and two illegal instantiations (InstG61 and InstGF61) marked as OK.
+The instance @437 in BC60005 has the wrong actual parameter, this was corrected.
 
-New tests BDD2006, BDD2007, CDD2B01, CDD2B02, CDD2B03, and CDD2B04 check various
-rules associated with the Stream_Size aspect; there is also a new foundation
-(FDD2B00) for these tests.
+New test BD10001 checks that the same aspect cannot be specified in multiple
+ways.
 
 Note: Some Allowed Modification tests have a required date of “ACATS 4.2”. These
 are tests that don't have substantive changes, but rather change comments
@@ -50,16 +49,16 @@
 these tests may cause work without benefit (since the tests don't have
 significant changes). As such, we're allowing the use of the old versions of the
 tests until the time when the next ACATS version (ACATS 4.2) is issued (not
-likely before fall 2020; it will be announced at least 90 days in advance of
+likely before winter 2021; it will be announced at least 90 days in advance of
 issuance).
 
-New tests posted between January 1, 2020 and March 31, 2020 will become required
-for conformity assessments on October 1, 2020. New tests posted between October
-1, 2019 and December 31, 2019 will become required for conformity assessments on
-July 1, 2020. New tests posted between July 1, 2019 and September 30, 2019 will
-become required for conformity assessments on April 1, 2020. New tests posted
-before July 1, 2019 are required for conformity assessments. The effective dates
-of tests are marked in the lists.
+New tests posted between April 1, 2020 and June 30, 2020 will become required
+for conformity assessments on January 1, 2021. New tests posted between January
+1, 2020 and March 31, 2020 will become required for conformity assessments on
+October 1, 2020. New tests posted between October 1, 2019 and December 31, 2019
+will become required for conformity assessments on July 1, 2020. New tests
+posted before October 1, 2019 are required for conformity assessments. The
+effective dates of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
@@ -163,8 +162,7 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
-B33001A [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1
-			Required after 2020-04-01
+B33001A [Modified] VCS Label: A4_1P
 	Added error location indicators, added additional possible error
 	locations, restored likely intended test for Set2.
 
@@ -180,6 +178,26 @@
 C350001 [New] VCS Label: A4_1D
 	Check that the object form of the Image attribute is implemented.
 
+C350A01 [Pending New] VCS Label: A4_1R
+			Required after 2021-01-01
+	Check that objects of types with specified Default_Values are
+	properly initialized. Part 1: Normal discrete types.
+
+C350A02 [Pending New] VCS Label: A4_1R
+			Required after 2021-01-01
+	Check that objects of types with specified Default_Values are
+	properly initialized. Part 2: Generic discrete types.
+
+C350B01 [Pending New] VCS Label: A4_1R
+			Required after 2021-01-01
+	Check that objects of types with specified Default_Values are
+	properly initialized. Part 3: Normal real types.
+
+C350B02 [Pending New] VCS Label: A4_1R
+			Required after 2021-01-01
+	Check that objects of types with specified Default_Values are
+	properly initialized. Part 4: Generic real types.
+
 C352001 [Modified] VCS Label: A4_1D
 	Corrected Failed message @267 to reflect intended result.
 
@@ -321,8 +339,7 @@
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
 
-C415001 [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1
-			Required after 2020-04-01
+C415001 [Modified] VCS Label: A4_1P
 	[VCS Label A4_1N] Return @119 fails an accessibility check
 	unless C is aliased.
 	[VCS Label A4_1P] The subtype of My_Colln @125 needs to be either
@@ -361,6 +378,10 @@
 	Check that memberships of general access-to-object types work as
 	defined.
 
+C452003 [Allowed Modification] New VCS Label: A4_1R Org VCS Label: A4_1K
+			Required after 2020-10-01
+	Corrected Force_Save and Force_Op.
+
 C452004 [New] VCS Label: A4_1L
 	[VCS Label A4_1L] Check that memberships with multiple choices are
 	evaluated as required, and that the correct equality operation is
@@ -667,6 +688,11 @@
 	type).
 	[VCS Label A4_1D] Fixed overlong lines.
 
+C620002 [Pending New] New VCS Label: A4_1R
+			Required after 2021-01-01
+	Modernizes, adds test cases to, and eliminates illegal calls from
+	legacy test C95072A.
+
 B62001C [Modified] VCS Label: A4_1A
 	Changed error @35 to be optional, as the syntax error @33 is
 	required (and the comment that only one error need be detected is
@@ -677,8 +703,7 @@
 	required (and the comment that only one error need be detected is
 	bogus).
 
-B631001 [Pending New] New VCS Label: A4_1N
-			Required after 2020-04-01
+B631001 [New] VCS Label: A4_1N
 	Check that a prefixed view is intrinsic.
 
 B65005A [Modified] VCS Label: A4_1D
@@ -874,6 +899,12 @@
 	exclude null.
 	[VCS Label A4_1J] Corrected wording of the second test objective.
 
+B854002 [Allowed Modification] New VCS Label: A4_1R Org VCS Label: A4_1J
+			Required after 2020-10-01
+	[VCS Label A4_1R] Corrected error markers on RenG51, RenG61,
+	RenGF51, and RenGF61. Corrected renaming @412 to rename the
+	correct function.
+
 B854003 [New] VCS Label: A4_1J
 	Check various rules about renames as body: conformance of both the
 	renaming and renamed entity, and renaming of abstract and
@@ -976,7 +1007,11 @@
 C95012A [Modified] VCS Label: A4_1M
 	Revised test to replace excessive delays with Impdef constants.
 
-B952005 [PNew] VCS Label: A4_1M
+C95072A [Withdrawn] VCS Label: A4_1R
+	Replaced by C620002; it violated the anti-order dependence
+	rules of 6.4.1.
+
+B952005 [New] VCS Label: A4_1M
 	Check the overriding indicators work properly on task and
 	protected entries.
 
@@ -1106,10 +1141,17 @@
 	exclude null.
 	[VCS Label A4_1J] Corrected wording of the second test objective.
 
-BC60005 [Allowed Modification] New VCS Label: A4_1Q Org VCS Label: A4_1J
-			Required after 2020-07-01
-	Corrected error markers on InstG51, InstG61, InstGF51, and
-	InstGF61.
+BC60005 [Allowed Modification] New VCS Label: A4_1R Org VCS Label: A4_1J
+			Required after 2020-10-01
+	[VCS Label A4_1Q] Corrected error markers on InstG51, InstG61,
+	InstGF51, and InstGF61.
+	[VCS Label A4_1R] Corrected instance @437 to use correct actual
+	parameter.
+
+BD10001 [Pending New] New VCS Label: A4_1R
+			Required after 2021-01-01
+	Check that an aspect cannot be specified in multiple ways for a
+	single entity.
 
 CD1009A [Withdrawn] VCS Label: A4_1D
 	Has one of the objectives of, and thus redundant with, test
@@ -1313,8 +1355,16 @@
 	Added missing error tags.
 
 ===== Support =====
+
+F350A00 [Pending New] New VCS Label: A4_1R
+			Required after 2021-01-01
+	A foundation for discrete specified Default_Value tests.
+
+F350B00 [Pending New] New VCS Label: A4_1R
+			Required after 2021-01-01
+	A foundation for real specified Default_Value tests.
 
-F611A00 [New] VCS Label: A4_1A
+F611A00 [New] VCS Label: A4_1C
 	[VCS Label A4_1A] Foundation for tests C611A01, C611A02, and
 	C611A03.
 	[VCS Label A4_1C] Added additional data for test C611A04. The
@@ -1339,16 +1389,13 @@
 	grading message for a missing error set. (The actual grade was
 	correct, only the message was wrong.)
 
-GRD_DATA.A [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1M
-			Required after 2020-04-01
-	[VCS Label A4_1P] MAX_SUMMARY_ITEMS @66 was increased to 40_000
-	as the ACATS has grown to exceed the old limit.
-
-GRD_DATA.A [Modified] VCS Label: A4_1D
+GRD_DATA.A [Modified] VCS Label: A4_1P
 	[VCS Label A4_1D] Increased table sizes as the new tests have
 	caused grading the entire ACATS to exceed the old limits.
 	[VCS Label A4_1M] Generalized reading of white space in order to
 	be more resilient, especially on Unix-like systems.
+	[VCS Label A4_1P] MAX_SUMMARY_ITEMS @66 was increased to 40_000
+	as the ACATS has grown to exceed the old limit.
 
 SPECIAL.A [Modified] VCS Label: A4_1J
 	[VCS Label A4_1C] Added test BA21005 to the list of optional main
@@ -1375,7 +1422,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1Q.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1R.Zip and Tar files on the ACAA web site. As always, when a multi-file
 test is modified, we provide all of the files, including the unmodified files.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
@@ -1404,6 +1451,7 @@
 B85003A
 B85003B
 BA1101E
+C95072A
 CD1009A
 CD1009B
 CD1009L
@@ -1418,7 +1466,6 @@
 (Refer to the main list for details)
 
 B32201A	ACATS 4.2
-B33001A	2020-04-01
 B33101A	ACATS 4.2
 B38103A	ACATS 4.2
 B38103B	ACATS 4.2
@@ -1436,20 +1483,21 @@
 B660003	ACATS 4.2
 B66001A	ACATS 4.2
 B66001B	ACATS 4.2
+B854002	2020-10-01 [VCS Label A4_1R]
 BC51019	ACATS 4.2
 BC51020	ACATS 4.2
 BC51B02	ACATS 4.2
 BC51C01	ACATS 4.2
 BC51C02	ACATS 4.2
-BC60005	2020-07-01 [VCS Label A4_1Q]
-C415001	2020-04-01
+BC60005	2020-10-01 [VCS Label A4_1R]
+C452003	2020-10-01 [VCS Label A4_1R]
 C452004	2020-07-01
-GRD_DATA	2020-04-01
 
 Modified Tests
 
 (Refer to the main list for details)
 
+B33001A
 B37309B
 B37310B
 B37311A
@@ -1528,6 +1576,7 @@
 BDD2003
 BXC6A03
 C352001
+C415001
 C52101A
 C94001A
 C94001B
@@ -1565,7 +1614,7 @@
 LXH4013
 LXH4014
 GRADE
-GRD_DATA [VCS Label A4_1M]
+GRD_DATA
 SPECIAL
 SUMMARY
 TCTOUCH.ADA
@@ -1601,6 +1650,7 @@
 B611017
 B611018
 B611019
+B631001
 B651001
 B651002
 B641003
@@ -1613,7 +1663,7 @@
 B851006
 B851007
 B853001
-B854002
+B854002 [VCS Label A4_1J]
 B854003
 B854004
 B940008
@@ -1641,7 +1691,7 @@
 C35A001
 C3A0030
 C452002
-C452003
+C452003 [VCS Label A4_1K]
 C452004 [VCS Label A4_1L]
 C452005
 C452006
@@ -1694,14 +1744,21 @@
 B431007	2020-07-01
 B432002	2020-07-01
 B432003	2020-07-01
-B631001	2020-04-01
 B860002	2020-10-01
 BC55001	2020-07-01
+BD10001	2021-01-01
 BDB4001	2020-07-01
 BDD2006	2020-10-01
 BDD2007	2020-10-01
+C350A01	2021-01-01
+C350A02	2021-01-01
+C350B01	2021-01-01
+C350B02	2021-01-01
+C620002	2021-01-01
 CDD2B01	2020-10-01
 CDD2B02	2020-10-01
 CDD2B03	2020-10-01
 CDD2B04	2020-10-01
+F350A00	2021-01-01
+F350B00	2021-01-01
 FDD2B00	2020-10-01

Questions? Ask the ACAA Technical Agent