CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2021/10/01 06:17:55	1.103
+++ acats/docs/mod_list.txt	2022/01/01 05:59:49	1.104
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1X
-September 30, 2021
+Version 4.1Y
+December 31, 2021
 
 
 What is this?
@@ -13,14 +13,24 @@
 
 Changes from the last list:
 
-A handful of tests changed status on July 1st; see the lists for the details.
+A handful of tests changed status on October 1st; see the lists for the details.
 
-New tests BDC1001, BDC1002, and BDC1003 test various restrictions.
+New test B440001 checks that the syntax changes of AI12-0039-1 are implemented (this is marginally incompatible with the original definition of Ada 2012).
 
-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 traditional results comparis
on rather than the ACATS grading tools, changing 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 2021; it will be announced at least 90 days in advance of issuance).
+New test B650007 checks that the return object declared in an extended return statement can only be declared aliased if the type of the function is immutably limited. This rule is incompatible with Ada 2005, but is necessary to avoid various semantic prob
lems with aliased non-limited return objects.
 
-New tests posted between July 1, 2021 and September 30, 2021 will become required for conformity assessments on April 1, 2022. New tests posted between April 1, 2021 and June 30, 2021 will become required for conformity assessments on January 1, 2022. New
 tests posted between January 1, 2021 and March 31, 2021 will become required for conformity assessments on October 1, 2021. New tests posted before January 1, 2021 are required for conformity assessments. The effective dates of tests are marked in the lis
ts. 
+The comments in test C641003 were corrected to talk about predicates and Assertion_Error (which is what the test is about), and not ranges and Constraint_Error. No Ada code was changed.
 
+New tests CD30013 and CD30014 check that External_Tag names can be specified for tagged types, that the specified name is actually used, and that uses of the same External_Tag for multiple separate declarations raises Program_Error. This test is unusual i
n that it is a C-Test that is self-checking when run, but it also can pass with a compile-time or bind-time detection of the problem. (This latter possibility comes from the permission of 13.3(76.1/3).) The rule tested here is marginally incompatible/incon
sistent with Ada 95 and 2005, but generally will catch a bug.
+
+A new support file Version.A is introduced. It separates the ACATS version string from Report.A. This is necessary as starting with ACATS 4.2, the version string will be updated with each ACATS Modification List. Implementers are allowed to customize Repo
rt.A, and if the version number remained in that package, any customization would have to be repeated with each new ACATS Modification List. By putting the version into a separate file, it can be changed with each list without affecting Report.A.
+
+Note that using the separate Version.A package is not required in any version of ACATS 4.1, but will be required in ACATS 4.2. This allows implementers to make the change when it is convenient. Note that the change to longer version strings ending with le
tters can break grading procedures or tools (for instance, files are less likely to compare the same). If pain is involved, implementers can postpone the pain until switching to ACATS 4.2 (which likely will involve some pain anyway, because currently new f
iles will move to their final locations).
+
+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 traditional results comparis
on rather than the ACATS grading tools, changing 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 (most likely in the next quarter).
+
+New tests posted between October 1, 2021 and December 31, 2021 will become required for conformity assessments on July 1, 2022. New tests posted between July 1, 2021 and September 30, 2021 will become required for conformity assessments on April 1, 2022. 
New tests posted between April 1, 2021 and June 30, 2021 will become required for conformity assessments on January 1, 2022. New tests posted before April 1, 2021 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.
 
 ACATS 4.1 includes optional Test Grading tools
@@ -344,8 +354,7 @@
 	discriminated or to statically match that of the formal types of
 	the parameters.
 
-B416001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
-			Required after 2021-10-01
+B416001 [Modified] VCS Label: A4_1W
 	Commented out Priv2 test case as it is the subject of AI12-0428-1.
 
 B431007 [New] VCS Label: A4_1P
@@ -380,6 +389,11 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
+B440001 [Pending New] New VCS Label: A4_1Y
+			Required after 2022-07-01
+	Check that the operands of a membership test are
+	simple_expressions, not choice_expressions.
+
 B452001 [New] VCS Label: A4_1K
 	Check that a membership that contains choice expressions is
 	illegal for a limited type that does not have equality.
@@ -749,25 +763,27 @@
 
 B631001 [New] VCS Label: A4_1N
 	Check that a prefixed view is intrinsic.
-
-B641003 [Pending New] New VCS Label: A4_1V
-			Required after 2021-10-01
-	Check that for an out parameter of a scalar type with a specified
-	Default_Value, it is illegal to pass a type conversion of an
-	object unless the type of the object is related and has a
-	specified Default_Value.
 
-C641002 [Pending New] New VCS Label: A4_1V
-			Required after 2021-10-01
+C641002 [New] VCS Label: A4_1V
 	Check that for an out parameter of a scalar type with a specified
 	Default_Value, the value of the actual parameter is passed in
 	without any constraint check.
 
-C641003 [Pending New] New VCS Label: A4_1V
-			Required after 2021-10-01
+B641003 [New] VCS Label: A4_1V
 	Check that for an out parameter of a scalar type with a specified
-	Default_Value, the value of the actual parameter is passed in
-	without any predicate check.
+	Default_Value, it is illegal to pass a type conversion of an
+	object unless the type of the object is related and has a
+	specified Default_Value.
+
+C641003 [New] VCS Label: A4_1V
+	[VCS Label A4_1V] Check that for an out parameter of a scalar type
+	with a specified Default_Value, the value of the actual parameter
+	is passed in without any predicate check.
+
+C641003 [Allowed Modification] New VCS Label: A4_1Y Org VCS Label: A4_1V
+			Required after 2022-04-01
+	[VCS Label A4_1Y] Corrected comments to talk about predicates and
+	Assertion_Error.
 
 B650003 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
 			Required in ACATS 4.2
@@ -777,6 +793,12 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
+B650007 [Pending New] New VCS Label: A4_1Y
+			Required after 2022-07-01
+	Check that an extended return statement containing the reserved
+	word aliased is only allowed if the type of the return object is
+	immutably limited.
+
 B65005A [Modified] VCS Label: A4_1D
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -816,8 +838,7 @@
 	generic procedure, that the expression has to be nonstatic, and
 	that the aspect is not given on an instance or null procedure.
 
-B651004 [Pending New] New VCS Label: A4_1V
-			Required after 2021-10-01
+B651004 [New] VCS Label: A4_1V
 	Check that a dispatching nonreturning procedure can only be
 	overridden by a nonreturning procedure.
 
@@ -1163,8 +1184,7 @@
 C94010A [Modified] VCS Label: A4_1M
 	Revised test to replace excessive delays with Impdef constants.
 
-B950001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
-			Required after 2021-10-01
+B950001 [Modified] VCS Label: A4_1W
 	Commented out test case 149; fixed overlong lines, added error
 	location indicators.
 
@@ -1431,6 +1451,18 @@
 	CD2A31C) while adding modern formatting and applicability
 	criteria.
 
+CD30013 [Pending New] New VCS Label: A4_1Y
+			Required after 2022-07-01
+	Check that Program_Error is raised if two distinct declarations of
+	tagged types have the same external tag. Part 1: Attribute
+	definition clauses.
+
+CD30014 [Pending New] New VCS Label: A4_1Y
+			Required after 2022-07-01
+	Check that Program_Error is raised if two distinct declarations of
+	tagged types have the same external tag. Part 2: Aspect
+	specifications.
+
 BD4003A [Modified] VCS Label: A4_1A
 	Moved error marker from @66 to @67 so it is on the incorrect
 	construct.
@@ -1502,6 +1534,10 @@
 	[VCS Label A4_1H] Added “return;” @171; if the file can't be
 	opened, the Read_File trial is complete.
 
+CXAI001 [Modified] VCS Label: A4_1W
+	Changed the names of operations to be compatible with the ruling
+	of AI12-0400-1. Also fixed some overlong lines.
+
 BXAI005 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
 			Required in ACATS 4.2
 	Added error location indicators rather than attempting to move the
@@ -1526,6 +1562,14 @@
 	error tags – this test was designed expecting only that something
 	in each marked construct would be rejected (unlike most tests).
 
+CXAI010 [Modified] VCS Label: A4_1W
+	Changed the names of operations to be compatible with the ruling
+	of AI12-0400-1. Also fixed some overlong lines.
+
+CXAIA01 [Modified] VCS Label: A4_1W
+	Changed the names of operations to be compatible with the ruling
+	of AI12-0400-1. Also fixed some overlong lines.
+
 BXAIA03 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
 			Required in ACATS 4.2
 	Added error location indicators rather than attempting to move the
@@ -1538,21 +1582,6 @@
 	error tags – this test was designed expecting only that something
 	in each marked construct would be rejected (unlike most tests).
 
-CXAI001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
-			Required after 2021-10-01
-	Changed the names of operations to be compatible with the ruling
-	of AI12-0400-1. Also fixed some overlong lines.
-
-CXAI010 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
-			Required after 2021-10-01
-	Changed the names of operations to be compatible with the ruling
-	of AI12-0400-1. Also fixed some overlong lines.
-
-CXAIA01 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
-			Required after 2021-10-01
-	Changed the names of operations to be compatible with the ruling
-	of AI12-0400-1. Also fixed some overlong lines.
-
 CXAIB01 [New] VCS Label: A4_1U
 	[VCS Label A4_1T] Check that Ada.Containers.Vectors is
 	preelaborated, and it and types declared in it can be used in
@@ -1603,8 +1632,7 @@
 	and it and types declared in it can be used in preelaborated
 	packages.
 
-CXB3013 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
-			Required after 2021-10-01
+CXB3013 [Modified] VCS Label: A4_1W
 	Added “#include <stdlib.h>” @f1:57, as this is required by
 	standard C for the call to Malloc.
 
@@ -1760,6 +1788,11 @@
 	[VCS Label A4_1P] MAX_SUMMARY_ITEMS @66 was increased to 40_000
 	as the ACATS has grown to exceed the old limit.
 
+REPORT.A [Allowed Modification] New VCS Label: A4_1Y Org VCS Label: A4_1
+			Required in ACATS 4.2
+	The ACATS Version string was moved into a separate package
+	Version.
+
 SPECIAL.A [Modified] VCS Label: A4_1J
 	[VCS Label A4_1C] Added test BA21005 to the list of optional main
 	subprograms.
@@ -1777,13 +1810,16 @@
 	Added code so that Touch only reports buffer overflow once. Fixed
 	the Id string.
 
+VERSION.A [Pending New]  New VCS Label: A4_1Y
+			Required in ACATS 4.2
+	The ACATS Version string is now found here.
 
 
 How to get new and modified tests:
 
 The official home of the ACATS test suite is the ACAA web site. The site can be accessed at www.ada-auth.org.
 
-The complete set of official new and modified tests are available in the Mod_4_1W.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.
+The complete set of official new and modified tests are available in the Mod_4_1Y.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 navigate to the appropriate directory (folder), and select the test you want. Select the revision you want (usually the most recent) and it will be retrieved for you. Tests are 
stored in directories that correspond to the test’s prefix. For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences between versions of a test. [In case of a conflict, the files in the ACATS VCS should be con
sidered the 'official' versions.]
 
@@ -1883,7 +1919,6 @@
 B83001A	ACATS 3.2
 B83003A	ACATS 3.2
 B83003B	ACATS 3.2
-B950001	2021-10-01
 B950002	ACATS 4.2
 B95094A	ACATS 4.2
 BA21A01	ACATS 4.2
@@ -1909,11 +1944,8 @@
 BXAI008	ACATS 4.2
 BXAIA03	ACATS 4.2
 BXAIA04	ACATS 4.2
-CXAI001	2021-10-01
-CXAI010	2021-10-01
-CXAIA01	2021-10-01
-CXB3013	2021-10-01
-
+C641003	2022-04-01 [VCS Label A4_1Y]
+REPORT	ACATS 4.2
 Modified Tests
 
 (Refer to the main list for details)
@@ -1939,6 +1971,7 @@
 B3A2012
 B3A2016
 B413004
+B416001
 B455002
 B457001
 B457004
@@ -1985,6 +2018,7 @@
 B91003D
 B940003
 B940004
+B950001
 BA1001D
 BA1020F
 BA11007
@@ -2015,6 +2049,10 @@
 CC3601C
 CC51010
 CDE0002
+CXAI001
+CXAI010
+CXAIA01
+CXB3013
 CXB3019
 CXB3020
 CXB3021
@@ -2083,9 +2121,11 @@
 B611018
 B611019
 B631001
+B641003
 B651001
 B651002
 B641003
+B651004
 B730011
 B730012
 B730013
@@ -2157,6 +2197,8 @@
 C611B02
 C611B03
 C620002
+C641002
+C641003 [VCS Label A4_1V]
 C650B04
 C651001
 C651002
@@ -2200,8 +2242,8 @@
 (Refer to the main list for details)
 
 B324004	2022-01-01
-B641003	2021-10-01
-B651004	2021-10-01
+B440001	2022-07-01
+B650007	2022-07-01
 B830003	2022-01-01
 B830004	2022-01-01
 B830005	2022-01-01
@@ -2211,7 +2253,8 @@
 BDC1002	2022-04-01
 BDC1003	2022-04-01
 C324006	2022-01-01
-C641002	2021-10-01
-C641003	2021-10-01
-
+CD30013	2022-07-01
+CD30014	2022-07-01
+REPORT	ACATS 4.2
+VERSION	ACATS 4.2
 

Questions? Ask the ACAA Technical Agent