CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2023/01/01 04:53:55	1.108
+++ acats/docs/mod_list.txt	2023/03/30 06:34:35	1.109
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1CC
-December 31, 2022
+Version 4.1DD
+March 29, 2023
 
 
 What is this?
@@ -22,18 +22,13 @@
 
 Changes from the last list:
 
-A handful of tests changed status on October 1st; see the lists for the details.
+A handful of tests changed status on January 1st; see the lists for the details.
 
-New test B413005 checks that prefixed views of subprograms do not allow too
-much.
+New test B3A1011 checks that 3.10.1(10.1/5) from AI12-0155-1 is enforced.
 
-New test C413007 checks that when the prefix of a prefixed view is an implicit
-dereference, Constraint_Error is raised if the access value is null.
+New test B3A1A06 checks that illegal calls as defined by 3.10.1(10/3) (from
+AI05-0151-1) are enforced.
 
-New test C433008 checks that aggregates allow others choices when they appear
-inside of a conditional expression. (The model is intended to be that
-conditional expressions have the same semantic effect as parenthesis).
-
 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
@@ -43,13 +38,13 @@
 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, 2022 and December 31, 2022 will become
-required for conformity assessments on Julyl 1, 2023. 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 before April 1, 2022 are required for conformity assessments. The
-effective dates of tests are marked in the lists.
+New tests posted between January 1, 2023 and March 31, 2023 will become required
+for conformity assessments on October 1, 2023. New tests posted between October
+1, 2022 and December 31, 2022 will become required for conformity assessments on
+July 1, 2023. New tests posted between July 1, 2022 and September 30, 2022 will
+become required for conformity assessments on April 1, 2023. New tests posted
+before July 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
 agent@ada-auth.org.
@@ -70,18 +65,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
+    • 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
@@ -98,7 +93,10 @@
 by the normal process for updating the ACATS – an ACATS Modification List like
 this one.
 
-Details on the operation of the tools can be found in the ACATS 4.1 documentation (that documentation can be found at http://www.ada-auth.org/acats-files/4.1/docs/UG-6.HTM). As always, if you have questions, contact the ACAA Technical Agent at agent@ada-a
uth.org.
+Details on the operation of the tools can be found in the ACATS 4.1
+documentation (that documentation can be found at
+http://www.ada-auth.org/acats-files/4.1/docs/UG-6.HTM). As always, if you have
+questions, contact the ACAA Technical Agent at agent@ada-auth.org.
 
 Notice:
 
@@ -370,6 +368,17 @@
 	Split Pack6 so possible error sets don't intersect; fixed
 	overlong lines.
 
+B3A1011 [Pending New] New VCS Label: A4_1DD
+			Required after 2023-10-01
+	Check that dynamically tagged dispatching calls of incomplete
+	views are illegal.
+
+B3A1A06 [Pending New] New VCS Label: A4_1DD
+			Required after 2023-10-01
+	Check that calls with actual parameters of untagged incomplete
+	views are illegal. Check that calls returning an incomplete view
+	are illegal.
+
 B3A2007 [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -582,24 +591,20 @@
 	Check that a quantified expression has to be surrounded in
 	parentheses if it is not already surrounded by them.
 
-C458002 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+C458002 [New] VCS Label: A4_1AA
 	Check the operation of quantified expressions using array element
 	iterators.
 
-C458003 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+C458003 [New] VCS Label: A4_1AA
 	Check boundary conditions for quantified expressions using
 	discrete iterators. (This test is a companion to the existing
 	C458001.)
 
-C458A01 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+C458A01 [New] VCS Label: A4_1AA
 	Check the operation of quantified expressions using generalized
 	iterators.
 
-C458A02 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+C458A02 [New] VCS Label: A4_1AA
 	Check the operation of quantified expressions using container
 	iterators.
 
@@ -756,12 +761,9 @@
 	Check that Pre'Class and Post'Class are only allowed on primitive
 	subprograms of tagged types. (Normal tagged types and interfaces.)
 
-B611004 [New] VCS Label: A4_1A
+B611004 [New] VCS Label: A4_1BB
 	[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).
@@ -902,6 +904,14 @@
 	required (and the comment that only one error need be detected is
 	bogus).
 
+B63005A [Modified] VCS Label: A4_1D
+	Added additional error locations to directly support common error
+	reporting strategies.
+
+B63005B [Modified] VCS Label: A4_1D
+	Added additional error locations to directly support common error
+	reporting strategies.
+
 B631001 [New] VCS Label: A4_1N
 	Check that a prefixed view is intrinsic.
 
@@ -936,14 +946,6 @@
 	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.
-
-B65005B [Modified] VCS Label: A4_1D
-	Added additional error locations to directly support common error
-	reporting strategies.
-
 C650B04 [New] VCS Label: A4_1A
 	Check that the result of a function that returns a class-wide
 	tagged type does an accessibility check on the tag of the result
@@ -1197,6 +1199,7 @@
 B851005 [New] VCS Label: A4_1H
 	Checks that “known to be constrained” is properly enforced for
 	renames. Part 1: “Normal” cases (no generics or access cases).
+	Replaces B85002A.
 
 B851006 [New] VCS Label: A4_1H
 	Checks that “known to be constrained” is properly enforced for
@@ -1204,7 +1207,8 @@
 
 B851007 [New] VCS Label: A4_1K
 	[VCS Label A4_1H] Checks that “known to be constrained” is
-	properly enforced for renames. Part 3: Generic cases.
+	properly enforced for renames. Part 3: Generic cases. Replaces
+	B85003A and B85003C.
 	[VCS Label A4_1K] Corrected types of declaration @198 and @214,
 	and mode @328.
 
@@ -1654,14 +1658,12 @@
 CXA4034 [Withdrawn] VCS Label: A4_1AA
 	Replaced by CXA4038.
 
-CXA4038 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+CXA4038 [New] VCS Label: A4_1AA
 	Check that the operations Slice, Bounded_Slice, and
 	To_(Wide_)String have the correct results, bounds, and exceptions
 	for Bounded_Strings and Bounded_Wide_Strings.
 
-CXA4039 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+CXA4039 [New] VCS Label: A4_1AA
 	Check that the operations Slice, Unbounded_Slice, and
 	To_(Wide_)String have the correct results, bounds, and exceptions
 	for Unbounded_Strings and Unbounded_Wide_Strings.
@@ -1895,8 +1897,10 @@
 F360B00 [New] VCS Label: A4_1S
 	A foundation for real specified Default_Component_Value tests.
 
-F458A00 [Pending New] New VCS Label: A4_1AA
-			Required after 2023-01-01
+F452A00 [New] VCS Label: A4_1K
+	A foundation used to check equality operations.
+
+F458A00 [New] VCS Label: A4_1AA
 	A foundation containing a sparse array container, used in
 	quantified expression tests.
 
@@ -1968,7 +1972,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1CC.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1DD.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
@@ -2042,7 +2046,7 @@
 B415001	ACATS 4.2
 B43201A	ACATS 4.2
 B43201C	ACATS 4.2
-B43202A	ACATS 4.2
+B43202C	ACATS 4.2
 B433002	ACATS 4.2
 B433003	ACATS 4.2
 B457002	ACATS 4.2
@@ -2059,7 +2063,6 @@
 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
@@ -2069,8 +2072,8 @@
 B66001B	ACATS 4.2
 B67001C	ACATS 4.2
 B730007	ACATS 4.2
-B730008	ACATS 4.2
 B730008	ACATS 4.2
+B730009	ACATS 4.2
 B740002	ACATS 4.2
 B74101A	ACATS 4.2
 B74104A	ACATS 4.2
@@ -2152,7 +2155,7 @@
 B62001C
 B62001D
 B63005A
-B65005B
+B63005B
 B680001
 B730006
 B73001A
@@ -2263,12 +2266,13 @@
 B452001
 B452002
 B458001
+B470001
 B480004
 B490004
 B611001
 B611002
 B611003
-B611004 [VCS Label A4_1A]
+B611004
 B611005
 B611006
 B611007
@@ -2289,6 +2293,7 @@
 B650007
 B651001
 B651002
+B651003
 B651004
 B730011
 B730012
@@ -2306,6 +2311,7 @@
 B854002
 B854003
 B854004
+B854005
 B860002
 B940008
 B940009
@@ -2360,6 +2366,10 @@
 C452A02
 C452A03
 C453001
+C458002
+C458003
+C458A01
+C458A02
 C460014
 C460015
 C470001
@@ -2393,6 +2403,8 @@
 CDD2B02
 CDD2B03
 CDD2B04
+CXA4038
+CXA4039
 CXAC009
 CXAG003
 CXAIB01
@@ -2409,6 +2421,8 @@
 F350B00
 F360A00
 F360B00
+F452A00
+F458A00
 F611A00
 F611B00
 FDD2B00
@@ -2418,18 +2432,13 @@
 
 (Refer to the main list for details)
 
+B3A1011	2023-10-01
+B3A1A06	2023-10-01
 B413005	2023-07-01
 B433004	2023-04-01
 C413007	2023-07-01
 C433007	2023-04-01
 C433008	2023-07-01
-C458002	2023-01-01
-C458003	2023-01-01
-C458A01	2023-01-01
-C458A02	2023-01-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