CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2020/07/01 05:58:16	1.97
+++ acats/docs/mod_list.txt	2020/10/01 03:32:38	1.98
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1R
-June 30, 2020
+Version 4.1S
+September 30, 2020
 
 
 What is this?
@@ -10,7 +10,7 @@
 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.1AA for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1BB 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.
@@ -22,26 +22,17 @@
 
 Changes from the last list:
 
-A handful of tests changed status on April 1st; see the lists for the details.
+A handful of tests changed status on July 1st; see the lists for the details.
 
-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.
+Corrected pragmas in test B651001 to apply to the intended procedures.
 
-Test C452003 has confused code in Force_Save, and the Force_Op routine made the
-wrong test.
+New tests C360A01, C360A02, C360B01, C360B02, and the associated foundations
+F360A00 and F360B00 check that objects of types that have a specified
+Default_Component_Value are appropriately initialized.
 
-New test C620002 modernizes, added test cases to, and removes an incompatibility
-from test C95072A. The old test is withdrawn.
+Added checks that Program_Error is raised as expected in tests CXB3019, CXB3020,
+CXB3021, and CXB3022.
 
-Test B854002 was constructed by copying test BC60005, so not surprisingly, it
-has the same errors; these have been corrected.
-
-The instance @437 in BC60005 has the wrong actual parameter, this was corrected.
-
-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
 (including error locations for B-Tests). For ACATS users that are using
@@ -52,12 +43,12 @@
 likely before winter 2021; it will be announced at least 90 days in advance of
 issuance).
 
-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
+New tests posted between July 1, 2020 and September 30, 2020 will become
+required for conformity assessments on April 1, 2021. 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 before January 1, 2020 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
@@ -217,7 +208,31 @@
 B360001 [Pending New] VCS Label: A4_1Q
 			Required after 2020-10-01
 	Check that the requirements on the specification of the
-	Default_Value aspect are enforced.
+	Default_Component_Value aspect are enforced.
+
+C360A01 [Pending New] VCS Label: A4_1S
+			Required after 2021-04-01
+	Check that objects of types with specified
+	Default_Component_Values are properly initialized. Part 1: Arrays
+	of discrete types.
+
+C360A02 [Pending New] VCS Label: A4_1S
+			Required after 2021-04-01
+	Check that objects of types with specified
+	Default_Component_Values are properly initialized. Part 2: Generic
+	arrays of discrete types.
+
+C360B01 [Pending New] VCS Label: A4_1S
+			Required after 2021-04-01
+	Check that objects of types with specified
+	Default_Component_Values are properly initialized. Part 3: Arrays
+	of real types.
+
+C360B02 [Pending New] VCS Label: A4_1S
+			Required after 2021-04-01
+	Check that objects of types with specified
+	Default_Component_Values are properly initialized. Part 4: Generic
+	arrays of real types.
 
 B37309B [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
@@ -382,16 +397,13 @@
 			Required after 2020-10-01
 	Corrected Force_Save and Force_Op.
 
-C452004 [New] VCS Label: A4_1L
+C452004 [New] VCS Label: A4_1Q
 	[VCS Label A4_1L] Check that memberships with multiple choices are
 	evaluated as required, and that the correct equality operation is
 	called for untagged record types.
-
-C452004 [Allowed Modification] New VCS Label: A4_1Q Org VCS Label: A4_1L
-			Required after 2020-07-01
-	LTemp and RTemp @ 136 and 164 should be declared Integer rather
-	than Natural, as the numerators are of type Integer and can be
-	negative.
+	[VCS Label A4_1Q] LTemp and RTemp @ 136 and 164 should be declared
+	Integer rather than Natural, as the numerators are of type Integer
+	and can be negative.
 
 C452005 [New] VCS Label: A4_1L
 	Check that memberships with multiple choices call the correct
@@ -720,10 +732,16 @@
 	object when the result expression is class-wide.
 
 B651001 [New] VCS Label: A4_1D
-	Check that a return statement cannot apply to a nonreturning
-	procedure, and that a renames-as-body of a nonreturning procedure
-	has to be a nonreturning procedure (pragma No_Return version).
+	[VCS Label A4_1D] Check that a return statement cannot apply to a
+	nonreturning procedure, and that a renames-as-body of a
+	nonreturning procedure has to be a nonreturning procedure (pragma
+	No_Return version).
 
+B651001 [Allowed Modification] New VCS Label: A4_1S Org VCS Label: A4_1D
+			Required after 2021-01-01
+	[VCS Label A4_1S] Corrected pragmas @176 and @179 to refer to the
+	immediately preceding procedures.
+
 C651001 [New] VCS Label: A4_1D
 	Check that a nonreturning procedure can raise an exception and
 	raises Program_Error otherwise (pragma No_Return version).
@@ -1148,7 +1166,7 @@
 	[VCS Label A4_1R] Corrected instance @437 to use correct actual
 	parameter.
 
-BD10001 [Pending New] New VCS Label: A4_1R
+BD10001 [Pending New] VCS Label: A4_1R
 			Required after 2021-01-01
 	Check that an aspect cannot be specified in multiple ways for a
 	single entity.
@@ -1227,21 +1245,21 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-BDD2006 [Pending New] New VCS Label: A4_1Q
+BDD2006 [Pending New] VCS Label: A4_1Q
 			Required after 2020-10-01
 	Check that the requirements for specifying the Stream_Size
 	attribute are enforced.
 
-BDD2007 [Pending New] New VCS Label: A4_1Q
+BDD2007 [Pending New] VCS Label: A4_1Q
 			Required after 2020-10-01
 	Check that the requirements for specifying the Stream_Size
-	attribute are enforced.
+	aspect are enforced.
 
-CDD2B01 [Pending New] New VCS Label: A4_1Q
+CDD2B01 [Pending New] VCS Label: A4_1Q
 			Required after 2020-10-01
 	Check that confirming Stream_Size attributes work as expected.
 
-CDD2B03 [Pending New] New VCS Label: A4_1Q
+CDD2B02 [Pending New] VCS Label: A4_1Q
 			Required after 2020-10-01
 	Check that confirming Stream_Size aspects work as expected.
 
@@ -1267,6 +1285,26 @@
 	[VCS Label A4_1H] Added “return;” @171; if the file can't be
 	opened, the Read_File trial is complete.
 
+CXB3019 [Allowed Modification] New VCS Label: A4_1S Org VCS Label: A4_1
+			Required after 2021-01-01
+	Added missing failures if Program_Error is not raised when
+	expected.
+
+CXB3020 [Allowed Modification] New VCS Label: A4_1S Org VCS Label: A4_1
+			Required after 2021-01-01
+	Added missing failures if Program_Error is not raised when
+	expected.
+
+CXB3021 [Allowed Modification] New VCS Label: A4_1S Org VCS Label: A4_1
+			Required after 2021-01-01
+	Added missing failures if Program_Error is not raised when
+	expected.
+
+CXB3022 [Allowed Modification] New VCS Label: A4_1S Org VCS Label: A4_1
+			Required after 2021-01-01
+	Added missing failures if Program_Error is not raised when
+	expected.
+
 CXB3023 [New] VCS Label: A4_1A
 	Check that a value of an unchecked union type (defined with
 	pragma Unchecked_Union) can be passed to a C function.
@@ -1364,6 +1402,14 @@
 			Required after 2021-01-01
 	A foundation for real specified Default_Value tests.
 
+F360A00 [Pending New] New VCS Label: A4_1S
+			Required after 2021-04-01
+	A foundation for discrete specified Default_Component_Value tests.
+
+F360B00 [Pending New] New VCS Label: A4_1S
+			Required after 2021-04-01
+	A foundation for real specified Default_Component_Value tests.
+
 F611A00 [New] VCS Label: A4_1C
 	[VCS Label A4_1A] Foundation for tests C611A01, C611A02, and
 	C611A03.
@@ -1373,7 +1419,7 @@
 F611B00 [New] VCS Label: A4_1A
 	Foundation for tests C611B01, C611B02, and C611B03.
 
-FDD2B00 [Pending New] New VCS Label: A4_1Q
+FDD2B00 [Pending New] VCS Label: A4_1Q
 			Required after 2020-10-01
 	A foundation for Stream_Size aspect tests.
 
@@ -1422,7 +1468,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1R.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1S.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
@@ -1479,6 +1525,7 @@
 B490003	ACATS 4.2
 B56001A	ACATS 4.2
 B57001B	ACATS 4.2
+B651001	2020-01-01 [VCS Label A4_1S]
 B660002	ACATS 4.2
 B660003	ACATS 4.2
 B66001A	ACATS 4.2
@@ -1491,7 +1538,10 @@
 BC51C02	ACATS 4.2
 BC60005	2020-10-01 [VCS Label A4_1R]
 C452003	2020-10-01 [VCS Label A4_1R]
-C452004	2020-07-01
+CXB3019	2021-01-01
+CXB3020	2021-01-01
+CXB3021	2021-01-01
+CXB3022	2021-01-01
 
 Modified Tests
 
@@ -1626,7 +1676,12 @@
 
 B354002
 B35A001
+B393012
+B393013
 B3A2018
+B431007
+B432002
+B432003
 B452001
 B452002
 B458001
@@ -1651,7 +1706,7 @@
 B611018
 B611019
 B631001
-B651001
+B651001 [VCS Label A4_1D]
 B651002
 B641003
 B730011
@@ -1666,6 +1721,7 @@
 B854002 [VCS Label A4_1J]
 B854003
 B854004
+B860002
 B940008
 B940009
 B940010
@@ -1681,11 +1737,13 @@
 BB42003
 BC40003
 BC54004
+BC55001
 BC60005 [VCS Label A4_1J]
 BD30001
 BD30002
 BD30003
 BDB2001
+BDB4001
 C350001
 C354004
 C35A001
@@ -1731,29 +1789,24 @@
 F611B00
 
 
-
-
 Pending New Tests
 
 (Refer to the main list for details)
 
 B350001	2020-10-01
 B360001	2020-10-01
-B393012	2020-07-01
-B393013	2020-07-01
-B431007	2020-07-01
-B432002	2020-07-01
-B432003	2020-07-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
+C360A01	2021-04-01
+C360A02	2021-04-01
+C360B01	2021-04-01
+C360B02	2021-04-01
 C620002	2021-01-01
 CDD2B01	2020-10-01
 CDD2B02	2020-10-01
@@ -1761,4 +1814,6 @@
 CDD2B04	2020-10-01
 F350A00	2021-01-01
 F350B00	2021-01-01
+F360A00	2021-04-01
+F360B00	2021-04-01
 FDD2B00	2020-10-01

Questions? Ask the ACAA Technical Agent