CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2018/09/10 00:47:19	1.90
+++ acats/docs/mod_list.txt	2018/12/21 04:23:08	1.91
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1J
-September 9, 2018
+Version 4.1K
+December 20, 2018
 
 
 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.1T for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1U 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,31 +22,29 @@
 
 Changes from the last list:
 
-Note: There is no ACATS Modification list 4.1I as it could be confused with a 1.
+A handful of tests changed status on October 1st; see the lists for the details.
 
-A handful of tests changed status on July 1st; see the lists for the details.
+New test B452001 checks that memberships against objects require a visible
+equality operation.
 
-Test B413004 triggers the issue of AI12-0289-1. Since the objective is
-unrelated, we add explicit null exclusions to avoid it.
+New test C452003 checks that memberships of general access-to-object types work
+as defined when applied to anonymous access-to-tagged types.
 
-Test B851004 and BC40003 were corrected to remove cases that conflict with the
-proposed changes of AI12-0287-1, and added cases to preserve testing of the
-original rules.
-
-Tests B854002 and BC60005 have an incorrectly worded second objective. The test
-code is unchanged.
-
-New test B854003 checks various rules on the use of renames-as-bodies. New test
-B854004 checks that a subprogram that requires overriding cannot be renamed. New
-test B854005 checks that renaming a prefixed view is illegal if renaming the
-prefix would be illegal.
-
-New tests posted between July 1, 2018 and September 30, 2018 will become
-required for conformity assessments on April 1, 2019. New tests posted between
-April 1, 2018 and June 30, 2018 will become required for conformity assessments
-on January 1, 2019. New tests posted between January 1, 2018 and March 31, 2018
-will become required for conformity assessments on October 1, 2018. New tests
-posted before January 1, 2018 are required for conformity assessments. The
+New tests C452A01, C452A02, and C452A03 check that language-defined types
+properly implement equality.
+
+Test B851007 was corrected to fix incorrect types and parameter modes. This
+changes the effective date for this test.
+
+New test B831006 checks that giving overriding indicators on operations declared
+in a protected body are always illegal.
+
+New tests posted between October 1, 2018 and December 31, 2018 will become
+required for conformity assessments on July 1, 2019. New tests posted between
+July 1, 2018 and September 30, 2018 will become required for conformity
+assessments on April 1, 2019. New tests posted between April 1, 2018 and June
+30, 2018 will become required for conformity assessments on January 1, 2019. New
+tests posted before April 1, 2018 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
@@ -258,11 +256,36 @@
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
 
+B452001 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	Check that a membership that contains choice expressions is
+	illegal for a limited type that does not have equality.
+
 C452002 [New] VCS Label: A4_1F
 	[VCS Label A4_1D] Check that overloading resolution of Ada 2012
 	membership operations works as intended.
 	[VCS Label A4_1F] Fixed incorrect test number passed to Report.
 
+C452003 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	Check that memberships of general access-to-object types work as
+	defined.
+
+C452A01 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	Check that “=” for language-defined private types behaves as if it
+	is predefined. Part 1: core types.
+
+C452A02 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	Check that “=” for language-defined private types behaves as if it
+	is predefined. Part 2: types of the Ada.Strings subsystem.
+
+C452A03 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	Check that “=” for language-defined private types behaves as if it
+	is predefined. Part 3: Annex C types.
+
 C453001 [New] VCS Label: A4_1D
 	Check that modular adding operators wrap around rather than
 	raising Constraint_Error.
@@ -305,8 +328,7 @@
 	& 144 as those parameters are used in functions, making that an
 	Ada 2012 feature, and this is an Ada 2005 test.
 
-B480004 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+B480004 [New] VCS Label: A4_1G
 	Check that an allocator is illegal if the access type has a
 	Storage_Size that is statically zero.
 
@@ -603,13 +625,10 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B740003 [Modified] VCS Label: A4_1A
+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
 	line.
-
-B740003 [Allowed Modification] New VCS Label: A4_1H Org VCS Label: A4_1A
-			Required after 2018-10-01
 	[VCS Label A4_1H] Modified grading to document that processing the
 	main is optional. Added error location indicators.
 
@@ -629,13 +648,11 @@
 	[VCS Label A1_1G] Adjusted error indicators to allow the error to
 	be reported anywhere in a multi-line expression.
 
-C760A02 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+C760A02 [New] VCS Label: A4_1G
 	Checks that functions that return immutably limited types are
 	built-in-place.
 
-C760A03 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+C760A03 [New] VCS Label: A4_1G
 	Checks that expression functions that return immutably limited
 	types are built-in-place.
 
@@ -647,6 +664,11 @@
 B83027D [Modified] VCS Label: A4_1G
 	Corrected bad error tag, and added error location indicators.
 
+B831006 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	Checks that overriding indicators cannot be given on any
+	subprogram declaration in a protected body.
+
 B83E01B [Modified] VCS Label: A4_1G
 	Removed possible error cascades, reformatted some error tags, and
 	added error location indicators.
@@ -679,10 +701,12 @@
 	Checks that “known to be constrained” is properly enforced for
 	renames. Part 2: Access cases.
 
-B851007 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
-	Checks that “known to be constrained” is properly enforced for
-	renames. Part 3: Generic cases.
+B851007 [Pending New] New VCS Label: A4_1K
+			Required after 2019-07-01
+	[VCS Label A4_1H] Checks that “known to be constrained” is
+	properly enforced for renames. Part 3: Generic cases.
+	[VCS Label A4_1K] Corrected types of declaration @198 and @214,
+	and mode @328.
 
 B853001 [Pending New] New VCS Label: A4_1H
 			Required after 2019-01-01
@@ -769,17 +793,14 @@
 	Check that names mentioned but not named in a private with are
 	also treated as privately withed.
 
-BA14001 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+BA14001 [New] VCS Label: A4_1G
 	Replaces test BA1101E with modern format and additional test cases
 	for Ada 95 compilation units.
 
-BA14002 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+BA14002 [New] VCS Label: A4_1G
 	Similar to BA14001, testing private with.
 
-BA14003 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+BA14003 [New] VCS Label: A4_1G
 	Checks that a unit is illegal if it depends on two versions of the
 	same unit.
 
@@ -904,8 +925,7 @@
 	Revised to use Possible Error tags, and added error location
 	indicators.
 
-BDB2001 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
+BDB2001 [New] VCS Label: A4_1G
 	Check that a call on an instance of Unchecked_Deallocation is
 	illegal if the access type has a Storage_Size that is statically
 	zero.
@@ -1042,13 +1062,12 @@
 GRD_DATA.A [Modified] VCS Label: A4_1D
 	Increased table sizes as the new tests have caused grading the
 	entire ACATS to exceed the old limits.
-
-SPECIAL.A [Modified] VCS Label: A4_1C
-	Added test BA21005 to the list of optional main subprograms.
 
-SPECIAL.A [Allowed Modification] New VCS Label: A4_1H Org VCS Label: A4_1C
-			Required after 2018-10-01
-	Added seven tests to the list of optional main subprograms.
+SPECIAL.A [Modified] VCS Label: A4_1H
+	[VCS Label A4_1C] Added test BA21005 to the list of optional main
+	subprograms.
+	[VCS Label A4_1H] Added seven tests to the list of optional main
+	subprograms.
 
 SPECIAL.A [Allowed Modification] New VCS Label: A4_1J Org VCS Label: A4_1H
 			Required after 2019-01-01
@@ -1059,8 +1078,7 @@
 	Changed the unit name for subunits to be the full expanded name
 	including the parent name.
 
-TCTOUCH.ADA [Allowed Modification] New VCS Label: A4_1H Org VCS Label: A4_1
-			Required after 2018-10-01
+TCTOUCH.ADA [Modified] VCS Label: A4_1H
 	Added code so that Touch only reports buffer overflow once. Fixed
 	the Id string.
 
@@ -1072,7 +1090,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1J.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1K.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
@@ -1115,11 +1133,8 @@
 (Refer to the main list for details)
 
 B413004	2019-01-01
-B740003	2018-10-01 [VCS Label A4_1H]
 B851004	2019-01-01
-SPECIAL.A	2018-10-01 [VCS Label A4_1H]
 SPECIAL.A	2019-01-01 [VCS Label A4_1J]
-TCTOUCH.ADA	2018-10-01
 
 
 Modified Tests
@@ -1177,7 +1192,7 @@
 B73001G
 B73001H
 B732C02
-B740003 [VCS Label A4_1A]
+B740003
 B83027B
 B83027D
 B83E01B
@@ -1224,10 +1239,11 @@
 LXH4009
 LXH4013
 LXH4014
-GRADE   [VCS Label A4_1G]
+GRADE
 GRD_DATA
-SPECIAL [VCS Label A4_1C]
+SPECIAL [VCS Label A4_1H]
 SUMMARY
+TCTOUCH.ADA
 
 
 New Tests
@@ -1237,6 +1253,7 @@
 B354002
 B35A001
 B458001
+B480004
 B611001
 B611002
 B611003
@@ -1263,6 +1280,9 @@
 B730012
 B730013
 B750A07
+BA14001
+BA14002
+BA14003
 BA21005
 BB42001
 BB42002
@@ -1270,6 +1290,7 @@
 BD30001
 BD30002
 BD30003
+BDB2001
 C350001
 C354004
 C35A001
@@ -1290,6 +1311,8 @@
 C650B04
 C651001
 C651002
+C760A02
+C760A03
 CB42001
 CB42002
 CB42003
@@ -1311,23 +1334,22 @@
 (Refer to the main list for details)
 
 B3A2018	2019-01-01
-B480004	2018-10-01
+B452001	2019-07-01
+B831006	2019-07-01
 B851005	2019-01-01
 B851006	2019-01-01
-B851007	2019-01-01
+B851007	2019-07-01
 B853001	2019-01-01
 B854002	2019-04-01
 B854003	2019-04-01
 B854004	2019-04-01
 BA12018	2019-01-01
-BA14001	2018-10-01
-BA14002	2018-10-01
-BA14003	2018-10-01
 BC40003	2019-04-01
 BC54004	2019-01-01
 BC60005	2019-04-01
-BDB2001	2018-10-01
-C760A02	2018-10-01
-C760A03	2018-10-01
+C452003	2019-07-01
+C452A01	2019-07-01
+C452A02	2019-07-01
+C452A03	2019-07-01
 CXAG003	2019-01-01
 

Questions? Ask the ACAA Technical Agent