CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2019/12/31 22:30:14	1.95
+++ acats/docs/mod_list.txt	2020/03/21 05:32:46	1.96
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1P
-December 31, 2019
+Version 4.1Q
+March 20, 2020
 
 
 What is this?
@@ -10,7 +10,7 @@
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
-ACATS Modification List version 3.1Y for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1Z 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 maintained as necessary for the foreseeable future.
@@ -22,40 +22,28 @@
 
 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.
 
-
 Note: There is no list 4.1O, as that could be confused with 4.10.
+
+New test B350001 checks Legality Rules associated with the Default_Value aspect,
+new test B360001 does the same for the Default_Component_Value aspect.
 
-Tests B32201A, B33101A, B38103A, B38103B, B38103C, B38103D, B38103E, B48002A,
-B48002G, B48003B, B48003E, B490003, B56001A, B57001B, B660002, B660003, B66001A,
-B66001B, BC51019, BC51020, BC51B02, BC51C01, and BC51C02 were modified to add
-error location indicators (so that the grading tools can reliably grade these
-tests).
-
-Test B33001A was modified to add additional error tags as well as error location
-indicators (so that the grading tools can reliably grade these tests), and to
-modify the third test case to be more different than the second test case. (Note
-that the lack of an OK tag on T4A suggests that it was intended to be part of
-the cycle; without the change, there is no mixed array and record test case.)
-
-New tests B393012, B393013, and BC55001 check that various kinds of abstract
-types cannot be used in various contexts. (3.9.3(9/3)).
-
-New tests B431007 and B432002 check that ancestor private types don't become
-unnecessarily visible. New test B432002 checks that the ancestor subtype_mark of
-an extension aggregate is not a view with unknown discriminants.
-
-New test BDB4001 checks that the pool object for a pool that supports subpools
-is declared in the same scope as the access type (13.11.4(22-23/3)).
+Test C452004 should use Integer rather than Natural for LTemp and RTemp (two
+places).
 
-Test C415001 was modified to make the test more realistic and to eliminate a
-newly introduced error.
+New test B860002 checks that implicit conversion of access types does not allow
+too much.
 
-The maximum number of summary file records (in GRD_DATA.A) was increased as the
-ACATS has grown to exceed the old limit.
+Test BC60005 had two legal instantiations (InstG51 and InstGF51) marked as
+errors and two illegal instantiations (InstG61 and InstGF61) marked as OK.
 
-Note: Some Allowed Modification tests have a required date of "ACATS 4.2". These
+New tests BDD2006, BDD2007, CDD2B01, CDD2B02, CDD2B03, and CDD2B04 check various
+rules associated with the Stream_Size aspect; there is also a new foundation
+(FDD2B00) for these tests.
+
+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 comparison rather than the ACATS grading tools, changing
@@ -65,13 +53,13 @@
 likely before fall 2020; it will be announced at least 90 days in advance of
 issuance).
 
-New tests posted between October 1, 2019 and December 31, 2019 will become
-required for conformity assessments on July 1, 2020. New tests posted between
-July 1, 2019 and September 30, 2019 will become required for conformity
-assessments on April 1, 2020. New tests posted between April 1, 2019 and June
-30, 2019 will become required for conformity assessments on January 1, 2020. New
-tests posted before April 1, 2019 are required for conformity assessments. The
-effective dates of tests are marked in the lists.
+New tests posted between January 1, 2020 and March 31, 2020 will become required
+for conformity assessments on October 1, 2020. New tests posted between October
+1, 2019 and December 31, 2019 will become required for conformity assessments on
+July 1, 2020. New tests posted between July 1, 2019 and September 30, 2019 will
+become required for conformity assessments on April 1, 2020. New tests posted
+before July 1, 2019 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.
@@ -127,11 +115,21 @@
 
 Notice:
 
-The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language processor. This test sui
te should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
+The ACAA has created and maintains the Ada Conformity Assessment Test Suite for
+the purpose of conformity assessments conducted in accordance with the
+International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language
+processor. This test suite should not be used to make claims of conformance
+unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
 
 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” (either the original test or the modified one should be processed for Ada conformity assessmen
ts); “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 as
sessments).
+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
+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
@@ -148,7 +146,8 @@
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the consolidated Ada standard as available at http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TOC.html.
+These references are to the consolidated Ada standard as available at
+http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TOC.html.
 
 
 
@@ -173,6 +172,11 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
+B350001 [Pending New] VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that the requirements on the specification of the
+	Default_Value aspect are enforced.
+
 C350001 [New] VCS Label: A4_1D
 	Check that the object form of the Image attribute is implemented.
 
@@ -192,6 +196,11 @@
 C35A001 [New] VCS Label: A4_1D
 	Check that Small can be specified by an aspect specification.
 
+B360001 [Pending New] VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that the requirements on the specification of the
+	Default_Value aspect are enforced.
+
 B37309B [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -353,16 +362,21 @@
 	defined.
 
 C452004 [New] VCS Label: A4_1L
-	Check that memberships with multiple choices are evaluated as
-	required, and that the correct equality operation is called for
-	untagged record types.
+	[VCS Label A4_1L] Check that memberships with multiple choices are
+	evaluated as required, and that the correct equality operation is
+	called for untagged record types.
+
+C452004 [Allowed Modification] New VCS Label: A4_1Q Org VCS Label: A4_1L
+			Required after 2020-07-01
+	LTemp and RTemp @ 136 and 164 should be declared Integer rather
+	than Natural, as the numerators are of type Integer and can be
+	negative.
 
 C452005 [New] VCS Label: A4_1L
 	Check that memberships with multiple choices call the correct
 	equality operation for array types.
 
-C452006 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
+C452006 [New] VCS Label: A4_1M
 	[VCS Label A4_1L] Check that memberships with multiple choices
 	call the correct equality operation for access types.
 	[VCS Label A4_1M] Corrected to remove cases made illegal by
@@ -494,8 +508,7 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B551002 [Allowed Modification] New VCS Label: A4_1N Org VCS Label: A4_1
-			Required after 2020-01-01
+B551002 [Modified] VCS Label: A4_1N
 	Revised test to remove dependence on Ada.Iterator_Interfaces.
 
 B552A01 [Modified] VCS Label: A4_1G
@@ -874,6 +887,11 @@
 	Check that a renaming of a prefixed view is illegal if renaming
 	the prefix as an object is illegal.
 
+B860002 [Pending New] New VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that implicit conversions of access types don't allow too
+	much.
+
 B91003A [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -897,29 +915,24 @@
 B940004 [Modified] VCS Label: A4_1C
 	Split into 8 files; added location indicators.
 
-B940008 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
+B940008 [New] VCS Label: A4_1M
 	Check the overriding indicators work properly on protected
 	subprograms.
 
-B940009 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
+B940009 [New] VCS Label: A4_1M
 	Check that the mode and type of the first parameter of protected
 	operations that implement inherited subprograms is correct.
 
-B940010 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
-	Check that a protected operation and a primitive subprogram if a
+B940010 [New] VCS Label: A4_1M
+	Check that a protected operation and a primitive subprogram of a
 	tagged protected type cannot have the same profile.
 
-B940011 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
+B940011 [New] VCS Label: A4_1M
 	Check that an protected operation and the associated inherited
 	operation must subtype conform. Check that inherited operations
 	must be implemented, overridden, or be a null procedure.
 
-C940017 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
+C940017 [New] VCS Label: A4_1M
 	Check that dispatching calls can be made through a protected
 	interface and that they can be implemented with protected
 	subprograms and entries.
@@ -963,8 +976,7 @@
 C95012A [Modified] VCS Label: A4_1M
 	Revised test to replace excessive delays with Impdef constants.
 
-B952005 [Pending New] New VCS Label: A4_1M
-			Required after 2020-01-01
+B952005 [PNew] VCS Label: A4_1M
 	Check the overriding indicators work properly on task and
 	protected entries.
 
@@ -1094,6 +1106,11 @@
 	exclude null.
 	[VCS Label A4_1J] Corrected wording of the second test objective.
 
+BC60005 [Allowed Modification] New VCS Label: A4_1Q Org VCS Label: A4_1J
+			Required after 2020-07-01
+	Corrected error markers on InstG51, InstG61, InstGF51, and
+	InstGF61.
+
 CD1009A [Withdrawn] VCS Label: A4_1D
 	Has one of the objectives of, and thus redundant with, test
 	CD2A31C (now CD30012).
@@ -1160,6 +1177,7 @@
 	zero.
 
 BDB4001 [Pending New] New VCS Label: A4_1P
+			Required after 2020-07-01
 	Check that the object for a pool that supports subpools is
 	declared in the same scope as the access type that uses it.
 
@@ -1167,6 +1185,32 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
+BDD2006 [Pending New] New VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that the requirements for specifying the Stream_Size
+	attribute are enforced.
+
+BDD2007 [Pending New] New VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that the requirements for specifying the Stream_Size
+	attribute are enforced.
+
+CDD2B01 [Pending New] New VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that confirming Stream_Size attributes work as expected.
+
+CDD2B03 [Pending New] New VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that confirming Stream_Size aspects work as expected.
+
+CDD2B03 [Pending New] VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that non-confirming Stream_Size attributes work as expected.
+
+CDD2B04 [Pending New] VCS Label: A4_1Q
+			Required after 2020-10-01
+	Check that non-confirming Stream_Size aspects work as expected.
+
 CDE0002 [Modified] VCS Label: A4_1E
 	Changed to use Storage_Size rather than Size so that the static
 	expression rule of 13.14(7.2/3) is not triggered.
@@ -1279,6 +1323,10 @@
 F611B00 [New] VCS Label: A4_1A
 	Foundation for tests C611B01, C611B02, and C611B03.
 
+FDD2B00 [Pending New] New VCS Label: A4_1Q
+			Required after 2020-10-01
+	A foundation for Stream_Size aspect tests.
+
 GRADE.A [Modified] VCS Label: A4_1G
 	[VCS Label A4_1C] Allowed manual grading for tests that are
 	missing execution or linking (with no earlier errors). Corrected
@@ -1327,7 +1375,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1P.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1Q.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
@@ -1382,7 +1430,6 @@
 B48003B	ACATS 4.2
 B48003E	ACATS 4.2
 B490003	ACATS 4.2
-B551002	2020-01-01
 B56001A	ACATS 4.2
 B57001B	ACATS 4.2
 B660002	ACATS 4.2
@@ -1394,7 +1441,9 @@
 BC51B02	ACATS 4.2
 BC51C01	ACATS 4.2
 BC51C02	ACATS 4.2
+BC60005	2020-07-01 [VCS Label A4_1Q]
 C415001	2020-04-01
+C452004	2020-07-01
 GRD_DATA	2020-04-01
 
 Modified Tests
@@ -1435,9 +1484,10 @@
 B54B04A
 B54B04B
 B54B05A
+B551002
+B552A01
 B55B12B
 B55B12C
-B552A01
 B62001C
 B62001D
 B63005A
@@ -1566,6 +1616,11 @@
 B854002
 B854003
 B854004
+B940008
+B940009
+B940010
+B940011
+B952005
 BA12018
 BA14001
 BA14002
@@ -1576,7 +1631,7 @@
 BB42003
 BC40003
 BC54004
-BC60005
+BC60005 [VCS Label A4_1J]
 BD30001
 BD30002
 BD30003
@@ -1587,8 +1642,9 @@
 C3A0030
 C452002
 C452003
-C452004
+C452004 [VCS Label A4_1L]
 C452005
+C452006
 C452A01
 C452A02
 C452A03
@@ -1609,6 +1665,7 @@
 C651002
 C760A02
 C760A03
+C940017
 CB42001
 CB42002
 CB42003
@@ -1630,19 +1687,21 @@
 
 (Refer to the main list for details)
 
+B350001	2020-10-01
+B360001	2020-10-01
 B393012	2020-07-01
 B393013	2020-07-01
 B431007	2020-07-01
 B432002	2020-07-01
 B432003	2020-07-01
 B631001	2020-04-01
-B940008	2020-01-01
-B940009	2020-01-01
-B940010	2020-01-01
-B940011	2020-01-01
-B952005	2020-01-01
+B860002	2020-10-01
 BC55001	2020-07-01
-BDB4001	2010-07-01
-C452006	2020-01-01
-C940017	2020-01-01
-
+BDB4001	2020-07-01
+BDD2006	2020-10-01
+BDD2007	2020-10-01
+CDD2B01	2020-10-01
+CDD2B02	2020-10-01
+CDD2B03	2020-10-01
+CDD2B04	2020-10-01
+FDD2B00	2020-10-01

Questions? Ask the ACAA Technical Agent