CVS difference for 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