CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2022/07/01 06:43:23	1.106
+++ acats/docs/mod_list.txt	2022/09/25 08:38:47	1.107
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1AA
-June 30, 2022
+Version 4.1BB
+September 25, 2022
 
 
 What is this?
@@ -22,17 +22,20 @@
 
 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 C458002, C458003, C458A01, and C458A02 (as well as the associated
-founcation F458A00) test that quantified expressions containing all types of
-iterators operate as expected. Thanks to Brad Moore for these tests.
-
-New tests CXA4038 and CXA4039 check that the operations Slice,
-(Un)bounded_Slice, and To_(Wide_)String have the correct behavior for
-Bounded_Strings, Bounded_Wide_Strings, Unbounded_Strings, and
-Unbounded_Wide_Strings. The first of these tests replaces CXA4034 (which only
-checked exception cases for Slice).
+New test B433004 checks that an others choice is not allowed in an aggregate
+that appears as the dependent expression of a conditional expression in an
+unconstrained context.
+
+New test C433007 checks that an aggregate with an others choice can be assigned
+into an array variable even if the nominal subtype of the variable is
+unconstrained.
+
+Test B611004 was modified to replace most of the OK lines with ERROR lines.
+Class-wide aspects are only allowed on tagged types and primitive subprograms,
+and most of the subprogram bodies in this test are not primitive. This somewhat
+obscures the objective of the test, but that cannot be helped.
 
 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
@@ -43,12 +46,12 @@
 tests until the time when the next ACATS version (ACATS 4.2) is issued (most
 likely in the next quarter).
 
-New tests posted between April 1, 2022 and June 30, 2022 will become required
-for conformity assessments on January 1, 2023. New tests posted between January
-1, 2022 and March 31, 2022 will become required for conformity assessments on
-October 1, 2022. New tests posted between October 1, 2021 and December 31, 2021
-will become required for conformity assessments on July 1, 2022. New tests
-posted before October 1, 2021 are required for conformity assessments. The
+New tests posted between July 1, 2022 and September 30, 2022 will become
+required for conformity assessments on April 1, 2023. New tests posted between
+April 1, 2022 and June 30, 2022 will become required for conformity assessments
+on January 1, 2023. New tests posted between January 1, 2022 and March 31, 2022
+will become required for conformity assessments on October 1, 2022.  New tests
+posted before January 1, 2022 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
@@ -70,18 +73,18 @@
 As such, we're introducing a long-overdue set of automated grading tools. These
 tools are intended to:
 
-    • Greatly reduce the effort to grade an ACATS test run (and, hopefully to
-      reduce the cost of formal testing to make it a more practical option);
+    * Greatly reduce the effort to grade an ACATS test run (and, hopefully to
+    reduce the cost of formal testing to make it a more practical option);
 
-    • Ensure that all users of the ACATS grade tests in the same way, thus
+    * Ensure that all users of the ACATS grade tests in the same way, thus
       making it more valid to compare ACATS results between different
       implementations and different testers;
 
-    • Give implementers certainty as to whether a particular test result is
+    * Give implementers certainty as to whether a particular test result is
       passing (whether the location of an error is “close enough” to the
       canonical position);
 
-    • Be able to detect process errors (especially errors of omission) – that
+    * Be able to detect process errors (especially errors of omission) – that
       is, tests improperly run (for instance, files compiled in the wrong order
       where the ACATS requires an order), or not run at all (if one is checking
       off lines in a listing, it's hard to notice that some test or portion of a
@@ -113,21 +116,21 @@
 
 List explanation:
 
-Test numbers given are for the basic test.  Categories are “Withdrawn” (the test
-should not be processed for Ada conformity assessments); “Allowed Modification”
+Test numbers given are for the basic test.  Categories are "Withdrawn" (the test
+should not be processed for Ada conformity assessments); "Allowed Modification"
 (either the original test or the modified one should be processed for Ada
-conformity assessments); “Modified” (the modified test must be processed for Ada
-conformity assessments); “Pending New” (the test does not need to be processed
-for Ada conformity assessments, but will be added in the future); “New” (the
+conformity assessments); "Modified" (the modified test must be processed for Ada
+conformity assessments); "Pending New" (the test does not need to be processed
+for Ada conformity assessments, but will be added in the future); "New" (the
 test is processed for Ada conformity assessments).
 
 ACATS version labels are provided with all new and modified tests. Use this
 label to retrieve the test from the ACATS VCS. See “How to get new and modified
 tests”.
 
-In citations, line numbers are given relative to the start of a test file in the
-format of '@<line#,line#,...>'; if a test program comprises more than one file,
-then the particular file will be indicated by "fn", where "n" is the
+In citations, line numbers are given relative to the start of a test file in
+the format of '@<line#,line#,...>'; if a test program comprises more than one
+file, then the particular file will be indicated by "fn", where "n" is the
 test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... "
 denotes test file b38103e1.ada. In cases where there are two or more rationales
 for different errors in a test program, these different rationales with their
@@ -479,8 +482,19 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
-B440001 [Pending New] New VCS Label: A4_1Y
-			Required after 2022-07-01
+B433004 [Pending New] New VCS Label: A4_1BB
+			Required after 2023-04-01
+	Check that an others choice is not allowed in an aggregate that
+	appears as the dependent expression of a conditional expression
+	in an unconstrained context.
+
+C433007 [Pending New] New VCS Label: A4_1BB
+			Required after 2023-04-01
+	Check that an aggregate with an others choice can be assigned
+	into an array variable even if the nominal subtype of the variable
+	is unconstrained.
+
+B440001 [New] VCS Label: A4_1Y
 	Check that the operands of a membership test are
 	simple_expressions, not choice_expressions.
 
@@ -738,9 +752,15 @@
 	subprograms of tagged types. (Normal tagged types and interfaces.)
 
 B611004 [New] VCS Label: A4_1A
-	Check that Pre'Class and Post'Class are not
+	[VCS Label A4_1A] Check that Pre'Class and Post'Class are not
 	allowed on subprograms acting as completions.
 
+B611004 [Allowed Modification] New VCS Label: A4_1BB Org VCS Label: A4_1
+			Required after 2023-01-01
+	[VCS Label A4_1BB] All of the cases previously marked OK other
+	than the first are illegal as the subprogram is not a primitive
+	subprogram, and that is required by 13.1.1(16/4).
+
 B611005 [New] VCS Label: A4_1A
 	Check that Pre and Post are not allowed on
 	abstract subprograms and null procedures.
@@ -906,8 +926,7 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
-B650007 [Pending New] New VCS Label: A4_1Y
-			Required after 2022-07-01
+B650007 [New] VCS Label: A4_1Y
 	Check that an extended return statement containing the reserved
 	word aliased is only allowed if the type of the return object is
 	immutably limited.
@@ -1559,14 +1578,12 @@
 	CD2A31C) while adding modern formatting and applicability
 	criteria.
 
-CD30013 [Pending New] New VCS Label: A4_1Y
-			Required after 2022-07-01
+CD30013 [New] VCS Label: A4_1Y
 	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
+CD30014 [New] New VCS Label: A4_1Y
 	Check that Program_Error is raised if two distinct declarations of
 	tagged types have the same external tag. Part 2: Aspect
 	specifications.
@@ -1946,7 +1963,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1AA.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1BB.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
@@ -2037,6 +2054,7 @@
 B551001	ACATS 4.2
 B56001A	ACATS 4.2
 B57001B	ACATS 4.2
+B611004	2023-01-01 [VCS Label A4_1BB]
 B650003	ACATS 4.2
 B650005	ACATS 4.2
 B660001	ACATS 4.2
@@ -2234,6 +2252,7 @@
 B431007
 B432002
 B432003
+B440001
 B452001
 B452002
 B458001
@@ -2241,7 +2260,7 @@
 B611001
 B611002
 B611003
-B611004
+B611004 [VCS Label A4_1A]
 B611005
 B611006
 B611007
@@ -2259,9 +2278,9 @@
 B611019
 B631001
 B641003
+B650007
 B651001
 B651002
-B641003
 B651004
 B730011
 B730012
@@ -2358,6 +2377,8 @@
 CD30010
 CD30011
 CD30012
+CD30013
+CD30014
 CDD2B01
 CDD2B02
 CDD2B03
@@ -2389,19 +2410,18 @@
 
 B431008	2022-10-01
 B431009	2022-10-01
-B440001	2022-07-01
+B433004	2023-04-01
 B490004	2022-10-01
-B650007	2022-07-01
 C431003	2022-10-01
 C431004	2022-10-01
+C433007	2023-04-01
 C458002	2023-01-01
 C458003	2023-01-01
 C458A01	2023-01-01
 C458A02	2023-01-01
-CD30013	2022-07-01
-CD30014	2022-07-01
 CXA4038	2023-01-01
 CXA4039	2023-01-01
 F458A00	2023-01-01
 REPORT	ACATS 4.2
 VERSION	ACATS 4.2
+

Questions? Ask the ACAA Technical Agent