CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2021/04/01 03:24:31	1.101
+++ acats/docs/mod_list.txt	2021/07/01 06:54:15	1.102
@@ -1,29 +1,45 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1V
-March 31, 2021
+Version 4.1W
+June 30, 2021
 
 
 What is this?
 
 This is the ACATS modification list for ACATS 4.1. This document includes test corrections, test removals, and new tests for ACATS 4.1. ACATS 4.1 is the current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012 (usually known as "Ad
a 2012").
 
-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 m
aintained as necessary for the foreseeable future.
+ACATS Modification List version 3.1CC 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 m
aintained as necessary for the foreseeable future.
 
-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 maint
ained as necessary for the foreseeable future.
+ACATS Modification List version 2.6J 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 maint
ained 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.
 
-Test B611006 was modified to eliminate the check for 6.1.1(18.2/4), a rule which was replaced by AI12-0412-1. (The rule was considered too limiting and difficult for users to understand.)
+New tests B324004 and C324006 test rules associated with the Predicate_Failure aspect.
 
-New test B641003 checks that certain view conversions cannot be passed as out parameters. New tests C641002 and C641003 check that the previous value is passed without checking to certain scalar out parameters.
+Test B416001 was corrected to comment out Priv2, as it is the questionable construct discussed in AI12-0428-1. That AI modified the rules to clarify that this example is legal, but by convention, we do not require Binding Interpretations from later langua
ge versions in a previous version. As such, this test case was removed for Ada 2012 (it will be replaced, along with adding one like the one in the AI, in the Ada 202x test suite.)
 
-New test B651004 checks that a nonreturning dispatching procedure can only be overridden with a nonreturning procedure.
+Test B830001 was split into 6 files so that correct units and units with errors were not mixed; and (by putting one error per file), making the test more realistic (multiple units in a source file is rare) and the results become purely pass/fail.
 
+New tests B830003, B830004, and B830005 replace tests B83004A, B83004B, B83004C, B83004D. The original tests caused many spurious errors in every Ada implementation that the ACAA tested; those errors prevented any implementation from formally passing the 
tests without making a large number of test splits. We rearranged the test cases to avoid many of the spurious errors; split the remaining cases into separate test files, eliminated redundant tests for separately compiled units, and added test cases for pr
otected objects and null procedures. New test B830006 has similar cases for expression functions. The original tests have been withdrawn.
+
+Test B950001 was corrected to comment out test case 149. These prefixed views are of an abstract subprogram; while a dispatching call on one of these views is legal, it is unclear whether such a dispatching view can be passed as a generic formal subprogra
m and whether a rename of such a view is abstract. Until the ARG settles this question, the test case was removed. Additionally, the test contained a number of style errors (mostly overlong lines), and lines were broken to eliminate those. Doing that neces
sitated adding error location indicators to ensure that automatic grading would remain possible.
+
+New test BC10001 replaces BC2001D and BC2001E (which are withdrawn), adding checks for protected units and eliminating the need for complex syntax error recovery or test splitting. While we want the ACATS to encourage error detection and recovery, the des
ign mistake embodied in these tests is significant enough and unlikely enough that it needs to be corrected before worrying about other details. Thus the sort of error recovery needed for the old tests was very unlikely to be helpful in practice; moreover 
no existing compiler was completely successful at such recovery.
+
+Many tests have been improved with error location indications, as well as the removal of overlong lines, misformatted or mislocated error markers, and comment corrections. These tests had issues with error locations when graded with the ACATS grading tool
s; most did not pass grading with any existing Ada 2012 compiler (while passing when hand-graded). These tests are:
+B324001, B35901C, B36102A, B370002, B41327B, B415001, B43201A, B43201C, B43202C, B433002, B433003, B457002, B457005, B457007, B460002, B480002, B49005A, B551001, B650003, B650005, B660001, B730007, B730008 , B730009, B740002, B74101A, B74104A, B83001A, B8
3003A, B83003B, B95094A, B950002, BA21A01, BC1201F, BC1201G, BC1201H, BC1201I, BC30001, BC3013A, BC3018A, BC60001, BC60002, BD11001, BDE0007, BXAI005, BXAI006, BXAI007, BXAI008, BXAIA03, and BXAIA04.
+
+[Note: We're doing these now so that the corrections can be part of the next ACATS baseline, expected in October. This batch is expected to be the last significant set of tests changed for this reason.]
+
+Tests CXAI001, CXAI010, and CXAIA01 were modified to be compatible with AI12-0400-1. Note that that AI gives a recommendation that the Ada 2012 ACATS test that the new names of these operations are available; the ACAA is following that recommendation. Thi
s change was judged as relatively cheap to implement. Whether routines with the old names are also provided is not checked; it is allowed for Ada 2012 (but not for Ada 202x implementations).
+
+Test CXB3013 contains C code with a call to Malloc that C standards require a declaration. As such, “#include <stdlib.h>” was added to file CXB30131.C. Note that the ACATS allows foreign language code to be modified by implementers as needed, so the new i
nclude can be removed if it causes a problem for some target.
+
+
 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 tests posted between January 1, 2021 and March 31, 2021 will become required for conformity assessments on October 1, 2021. New tests posted between October 1, 2020 and December 31, 2020 will become required for conformity assessments on July 1, 2021.
 New tests posted between July 1, 2020 and September 30, 2020 will become required for conformity assessments on April 1, 2021. New tests posted before July 1, 2020 are required for conformity assessments. The effective dates of tests are marked in the lis
ts. 
+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. Ne
w tests posted between October 1, 2020 and December 31, 2020 will become required for conformity assessments on July 1, 2021.New tests posted before October 1, 2020 are required for conformity assessments. The effective dates of tests are marked in the lis
ts. 
 
 Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org.
 
@@ -75,6 +91,23 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
+B324001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B324004 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that the Predicate_Failure aspect is only allowed in
+	conjunction with a predicate aspect, and that the expression is
+	of type String.
+
+C324006 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that for a Predicate_Failure aspect whose expression does
+	not raise an expression, the value of the aspect is used as the
+	Exception_Message in the exception occurrence when the appropriate
+	predicate check fails.
+
 B33001A [Modified] VCS Label: A4_1P
 	Added error location indicators, added additional possible error
 	locations, restored likely intended test for Set2.
@@ -115,6 +148,11 @@
 C354004 [New] VCS Label: A4_1D
 	Test basic operation of the Mod attribute.
 
+B35901C [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators; moved error tags to correct
+	locations.
+
 B35A001 [New] VCS Label: A4_1D
 	Check Legality Rules are enforced when Small is specified by an
 	aspect specification.
@@ -126,30 +164,35 @@
 	Check that the requirements on the specification of the
 	Default_Component_Value aspect are enforced.
 
-C360A01 [Pending New] New VCS Label: A4_1S
-			Required after 2021-04-01
+C360A01 [New] VCS Label: A4_1S
 	Check that objects of types with specified
 	Default_Component_Values are properly initialized. Part 1: Arrays
 	of discrete types.
 
-C360A02 [Pending New] New VCS Label: A4_1S
-			Required after 2021-04-01
+C360A02 [New] VCS Label: A4_1S
 	Check that objects of types with specified
 	Default_Component_Values are properly initialized. Part 2: Generic
 	arrays of discrete types.
 
-C360B01 [Pending New] New VCS Label: A4_1S
-			Required after 2021-04-01
+C360B01 [New] VCS Label: A4_1S
 	Check that objects of types with specified
 	Default_Component_Values are properly initialized. Part 3: Arrays
 	of real types.
 
-C360B02 [Pending New] New VCS Label: A4_1S
-			Required after 2021-04-01
+C360B02 [New] VCS Label: A4_1S
 	Check that objects of types with specified
 	Default_Component_Values are properly initialized. Part 4: Generic
 	arrays of real types.
 
+B36102A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators; split constructs so there is only
+	one error per construct.
+
+B370002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B37309B [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -206,10 +249,22 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
+B393005 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B393007 [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies. Fixed overlong lines.
 
+B393008 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B393009 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B393010 [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies. Fixed overlong lines.
@@ -224,6 +279,30 @@
 	Check that interface types cannot be used in additional contexts
 	that do not allow abstract types.
 
+B394001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B394A01 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B394A02 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B394A03 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B394A04 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B394A05 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 C3A0030 [New] VCS Label: A4_1A
 	Check that an access discriminant is only null excluding if it
 	includes a null exclusion.
@@ -261,20 +340,25 @@
 	reporting strategies.
 
 B3A2018 [New] VCS Label: A4_1H
-	Check that an explicitly aliased parameter has the same
-	accessibility level as a normal parameter unless compared to the
-	return object. Check that master of the function call is properly
-	determined statically.
-
-B3A2018 [Allowed Modification] New VCS Label: A4_1T Org VCS Label: A4_1H
-			Required after 2021-04-01
-	Corrected so that it is not affected by whether AI12-0345-1,
-	AI12-0402-1, and AI12-0390-1 are implemented.
+	[VCS Label A4_1H] Check that an explicitly aliased parameter has
+	the same accessibility level as a normal parameter unless compared
+	to the return object. Check that master of the function call is
+	properly determined statically.
+	[VCS Label A4_1T] Corrected so that it is not affected by whether
+	AI12-0345-1, AI12-0402-1, and AI12-0390-1 are implemented.
 
 B413004 [Modified] VCS Label: A4_1J
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
 
+B41327B [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B415001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 C415001 [Modified] VCS Label: A4_1P
 	[VCS Label A4_1N] Return @119 fails an accessibility check 
 	unless C is aliased.
@@ -282,21 +366,42 @@
 	discriminated or to statically match that of the formal types of
 	the parameters.
 
-B431007 [Pending New] New VCS Label: A4_1P
-			Required after 2020-07-01
+B416001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required after 2021-10-01
+	Commented out Priv2 test case as it is the subject of AI12-0428-1.
+
+B431007 [New] VCS Label: A4_1P
 	Check that record aggregates are not allowed for types whose
 	components aren't visible.
 
-B432002 [Pending New] New VCS Label: A4_1P
-			Required after 2020-07-01
+B432002 [New] VCS Label: A4_1P
 	Check that all of the extensions of an extension aggregate are
 	record extensions.
 
-B432003 [Pending New] New VCS Label: A4_1P
-			Required after 2020-07-01
+B432003 [New] VCS Label: A4_1P
 	Check that the ancestor subtype_mark of an extension aggregate
 	does not denote a view with unknown discriminants.
 
+B43201A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B43201C [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B43202C [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B433002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B433003 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 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.
@@ -355,14 +460,30 @@
 B457001 [Modified] VCS Label: A4_1F
 	Fixed overlong lines. Added location indicators.
 
+B457002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B457004 [Modified] VCS Label: A4_1F
 	There should not be an ERROR tag @282; Single_Highest @290 should
 	be Single_High. Added location indicators.
 
+B457005 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B457007 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B458001 [New] VCS Label: A4_1F
 	Check that a quantified expression has to be surrounded in
 	parentheses if it is not already surrounded by them.
 
+B460002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 C460014 [New] VCS Label: A4_1C
 	Check that Constraint_Error is raised appropriately when
 	converting access-to-classwide to another access type.
@@ -387,6 +508,10 @@
 	& 144 as those parameters are used in functions, making that an
 	Ada 2012 feature, and this is an Ada 2005 test.
 
+B480002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B480004 [New] VCS Label: A4_1G
 	Check that an allocator is illegal if the access type has a
 	Storage_Size that is statically zero.
@@ -412,6 +537,10 @@
 	Moved error tags to more usual locations, added error location
 	indicators.
 
+B49005A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B4A010C [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -459,6 +588,11 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
+B551001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators; moved incorrectly located error
+	tags.
+
 B551002 [Modified] VCS Label: A4_1N
 	Revised test to remove dependence on Ada.Iterator_Interfaces.
 
@@ -660,6 +794,14 @@
 	Default_Value, the value of the actual parameter is passed in
 	without any predicate check.
 
+B650003 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B650005 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B65005A [Modified] VCS Label: A4_1D
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -704,6 +846,10 @@
 	Check that a dispatching nonreturning procedure can only be
 	overridden by a nonreturning procedure.
 
+B660001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B660002 [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1
 			Required in ACATS 4.2
 	Added error location indicators.
@@ -720,6 +866,11 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
+B67001C [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Moved many error tags to the correct position; added error
+	location indicators.
+
 B680001 [Modified] VCS Label: A4_1F
 	The immediately enclosing expression function @140 does not
 	declare a parameter A, but A is used @141. Added location
@@ -728,6 +879,19 @@
 B730006 [Modified] VCS Label: A4_1C
 	Corrected format of error tags; added location indicators.
 
+B730007 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Fixed overlong lines, header formatting issues, added error
+	location indicators.
+
+B730008 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B730009 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B730011 [New] VCS Label: A4_1C
 	Test various rules about completions of private types and
 	extensions; replaces test B74001A.
@@ -772,6 +936,10 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
+B740002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B740003 [Modified] VCS Label: A4_1H
 	[VCS Label A4_1A] Modified criteria @75 so that it doesn't look
 	like an error tag to the grading tools; also fixed an overlong
@@ -785,6 +953,15 @@
 B74001B [Withdrawn] VCS Label: A4_1C
 	Replaced by B730012.
 
+B74101A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+B74104A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators; added Optional	Error tag for D
+	component (that matches missing discriminant).
+
 B74203E [Withdrawn] VCS Label: A4_1D
 	Replaced by B730013.
 
@@ -803,6 +980,58 @@
 	Checks that expression functions that return immutably limited
 	types are built-in-place.
 
+B830001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Split test into 6 files; added error location indicators.
+
+B830003 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that illegal homographs are detected in specifications of
+	generic packages. Replaces B83004A.
+
+B830004 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that illegal homographs are detected in body of
+	generic packages. Replaces B83004B.
+
+B830005 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that illegal homographs are detected in subunits of the
+	bodies of generic packages. Replaces B83004D.
+
+B830006 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that illegal homographs of expression functions are detected
+	in generic packages.
+
+B83001A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Moved many error tags to the correct position; added error
+	location indicators.
+
+B83003A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Moved many error tags to the correct position; added error
+	location indicators.
+
+B83003B [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Moved many error tags to the correct position; added error
+	location indicators.
+
+B83004A [Withdrawn] Org VCS Label: A4_1W
+	Replaced in part by test B830003, the rest was redundant with
+	B83004B.
+
+B83004B [Withdrawn] Org VCS Label: A4_1W
+	Replaced by test B830004.
+
+B83004C [Withdrawn] Org VCS Label: A4_1W
+	Redundant with B83004D.
+
+B83004D [Withdrawn] Org VCS Label: A4_1W
+	Replaced by test B830005.
+
 B83027B [Modified] VCS Label: A4_1G
 	The discriminant @90 needs a default expression as all or none of
 	the discriminants of a type need defaults. Also added error
@@ -959,6 +1188,15 @@
 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
+	Commented out test case 149; fixed overlong lines, added error
+	location indicators.
+
+B950002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B95007B [Modified] VCS Label: A4_1A
 	Fixed error markers @62,66,70 to match ACATS standards.
 
@@ -969,6 +1207,10 @@
 	Replaced by C620002; it violated the anti-order dependence 
 	rules of 6.4.1.
 
+B95094A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 B952005 [New] VCS Label: A4_1M
 	Check the overriding indicators work properly on task and
 	protected entries.
@@ -1021,6 +1263,10 @@
 	with a nonstatic expression, or an expression of a type other than
 	Boolean.
 
+BA21A01 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 BB42001 [New] VCS Label: A4_1C
 	[VCS Label A4_1A] Check that the arguments of a pragma Assert
 	have to have the correct types.
@@ -1050,7 +1296,46 @@
 CC3601C [Modified] VCS Label: A4_1E
 	Moved “=” for type Rec in order that it not violate 4.5.2(9.8/4).
 
-BC40003 [Pending New] VCS Label: A4_1J
+BC10001 [Pending New] New VCS Label: A4_1W
+			Required after 2022-01-01
+	Check that generic formal parts cannot be prepended to task or
+	protected specifications. Replaces BC2001D and BC2001E.
+
+BC1201F [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC1201G [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC1201H [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC1201I [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC2001D [Withdrawn] Org VCS Label: A4_1W
+	Replaced by test BC10001.
+
+BC2001E [Withdrawn] Org VCS Label: A4_1W
+	Replaced by test BC10001.
+
+BC30001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC3013A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC3018A [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC40003 [New] VCS Label: A4_1J
 	[VCS A4_1H] Checks that the subtype of the actual for a generic
 	formal object with a null exclusion must exclude null.
 	[VCS A4_1J] Revised test to eliminate cases whose result would be
@@ -1092,6 +1377,14 @@
 	Check that formal interface types cannot be used in contexts that
 	do not allow abstract types.
 
+BC60001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
+BC60002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators.
+
 BC60005 [New] VCS Label: A4_1J
 	[VCS Label A4_1H] Checks that the subtype of a parameter or result
 	of the actual subprogram for a generic formal subprogram where the
@@ -1131,6 +1424,11 @@
 CD2A31C [Withdrawn] VCS Label: A4_1D
 	Replaced by CD30012.
 
+BD11001 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators; improved error tags for freezing
+	subtests.
+
 BD30001 [New] VCS Label: A4_1D
 	Check Legality Rules are enforced when Size is specified by an
 	aspect specification for a type.
@@ -1205,6 +1503,10 @@
 	Changed to use Storage_Size rather than Size so that the static
 	expression rule of 13.14(7.2/3) is not triggered.
 
+BDE0007 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
+			Required in ACATS 4.2
+	Added error location indicators; stripped SAIC development junk.
+
 CXAC009 [New] VCS Label: A4_1D
 	Check that Stream_IO.File_Type has Preelaborable_Initialization.
 
@@ -1215,6 +1517,57 @@
 	[VCS Label A4_1H] Added “return;” @171; if the file can't be
 	opened, the Read_File trial is complete.
 
+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
+	error tags – this test was designed expecting only that something
+	in each marked construct would be rejected (unlike most tests).
+
+BXAI006 [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
+	error tags – this test was designed expecting only that something
+	in each marked construct would be rejected (unlike most tests).
+
+BXAI007 [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
+	error tags – this test was designed expecting only that something
+	in each marked construct would be rejected (unlike most tests).
+
+BXAI008 [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
+	error tags – this test was designed expecting only that something
+	in each marked construct would be rejected (unlike most tests).
+
+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
+	error tags – this test was designed expecting only that something
+	in each marked construct would be rejected (unlike most tests).
+
+BXAIA04 [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
+	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 [Pending New] VCS Label: A4_1U
 			Required after 2021-07-01
 	[VCS Label A4_1T] Check that Ada.Containers.Vectors is
@@ -1273,6 +1626,11 @@
 	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
+	Added “#include <stdlib.h>” @f1:57, as this is required by
+	standard C for the call to Malloc.
+
 CXB3019 [Modified] VCS Label: A4_1S
 	Added missing failures if Program_Error is not raised when
 	expected.
@@ -1384,12 +1742,10 @@
 F350B00 [New] VCS Label: A4_1R
 	A foundation for real specified Default_Value tests.
 
-F360A00 [Pending New] New VCS Label: A4_1S
-			Required after 2021-04-01
+F360A00 [New] VCS Label: A4_1S
 	A foundation for discrete specified Default_Component_Value tests.
 
-F360B00 [Pending New] New VCS Label: A4_1S
-			Required after 2021-04-01
+F360B00 [New] VCS Label: A4_1S
 	A foundation for real specified Default_Component_Value tests.
 
 F611A00 [New] VCS Label: A4_1C
@@ -1451,7 +1807,7 @@
 
 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_1V.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_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.
 
 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.]
 
@@ -1468,10 +1824,16 @@
 B74001A
 B74001B
 B74203E
+B83004A
+B83004B
+B83004C
+B83004D
 B85002A
 B85003A
 B85003B
 BA1101E
+BC2001D
+BC2001E
 C95072A
 CD1009A
 CD1009B
@@ -1487,30 +1849,95 @@
 (Refer to the main list for details)
 
 B32201A	ACATS 4.2
+B324001	ACATS 4.2
 B33101A	ACATS 4.2
+B35901C	ACATS 4.2
+B36102A	ACATS 4.2
+B370002	ACATS 4.2
 B38103A	ACATS 4.2
 B38103B	ACATS 4.2
 B38103C	ACATS 4.2
 B38103D	ACATS 4.2
 B38103E	ACATS 4.2
-B3A2018	2021-04-01 [VCS Label A4_1T]
+B393005	ACATS 4.2
+B393008	ACATS 4.2
+B393009	ACATS 4.2
+B394001	ACATS 4.2
+B394A01	ACATS 4.2
+B394A02	ACATS 4.2
+B394A03	ACATS 4.2
+B394A04	ACATS 4.2
+B394A05	ACATS 4.2
+B41327B	ACATS 4.2
+B415001	ACATS 4.2
+B43201A	ACATS 4.2
+B43201C	ACATS 4.2
+B43202A	ACATS 4.2
+B433002	ACATS 4.2
+B433003	ACATS 4.2
+B457002	ACATS 4.2
+B457005	ACATS 4.2
+B457007	ACATS 4.2
+B460002	ACATS 4.2
+B480002	ACATS 4.2
 B48002A	ACATS 4.2
 B48002G	ACATS 4.2
 B48003B	ACATS 4.2
 B48003E	ACATS 4.2
 B490003	ACATS 4.2
+B49005A	ACATS 4.2
+B551001	ACATS 4.2
 B56001A	ACATS 4.2
 B57001B	ACATS 4.2
 B611006	2021-07-01 [VCS Label A4_1V]
+B650003	ACATS 4.2
+B650005	ACATS 4.2
+B660001	ACATS 4.2
 B660002	ACATS 4.2
 B660003	ACATS 4.2
 B66001A	ACATS 4.2
 B66001B	ACATS 4.2
+B67001C	ACATS 4.2
+B730007	ACATS 4.2
+B730008	ACATS 4.2
+B730008	ACATS 4.2
+B740002	ACATS 4.2
+B74101A	ACATS 4.2
+B74104A	ACATS 4.2
+B830001	ACATS 3.2
+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
+BC1201F	ACATS 4.2
+BC1201G	ACATS 4.2
+BC1201H	ACATS 4.2
+BC1201I	ACATS 4.2
+BC30001	ACATS 4.2
+BC3013A	ACATS 4.2
+BC3018A	ACATS 4.2
 BC51019	ACATS 4.2
 BC51020	ACATS 4.2
 BC51B02	ACATS 4.2
 BC51C01	ACATS 4.2
 BC51C02	ACATS 4.2
+BC60001	ACATS 4.2
+BC60002	ACATS 4.2
+BD11001	ACATS 4.2
+BDE0007	ACATS 4.2
+BXAI005	ACATS 4.2
+BXAI006	ACATS 4.2
+BXAI007	ACATS 4.2
+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
 
 Modified Tests
 
@@ -1653,7 +2080,7 @@
 B360001
 B393012
 B393013
-B3A2018 [VCS Label A4_1H]
+B3A2018
 B431007
 B432002
 B432003
@@ -1729,6 +2156,10 @@
 C350B02
 C354004
 C35A001
+C360A01
+C360A02
+C360B01
+C360B02
 C3A0030
 C452002
 C452003
@@ -1774,6 +2205,8 @@
 CXB3024
 F350A00
 F350B00
+F360A00
+F360B00
 F611A00
 F611B00
 FDD2B00
@@ -1782,12 +2215,15 @@
 
 (Refer to the main list for details)
 
+B324004	2022-01-01
 B641003	2021-10-01
 B651004	2021-10-01
-C360A01	2021-04-01
-C360A02	2021-04-01
-C360B01	2021-04-01
-C360B02	2021-04-01
+B830003	2022-01-01
+B830004	2022-01-01
+B830005	2022-01-01
+B830006	2022-01-01
+BC10001	2022-01-01
+C324006	2022-01-01
 C641002	2021-10-01
 C641003	2021-10-01
 CXAIB01	2021-07-01
@@ -1798,7 +2234,5 @@
 CXAIB06	2021-07-01
 CXAIB07	2021-07-01
 CXAIB08	2021-07-01
-F360A00	2021-04-01
-F360B00	2021-04-01
 FXAIB00	2021-07-01
 

Questions? Ask the ACAA Technical Agent