CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2018/03/17 04:41:52	1.88
+++ acats/docs/mod_list.txt	2018/06/14 06:58:43	1.89
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1G
-March 16, 2018
+Version 4.1H
+June 13, 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.1R for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1S 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,68 +22,46 @@
 
 Changes from the last list:
 
-A handful of tests changed status on January 1st; see the lists for the details.
+A handful of tests changed status on April 1st; see the lists for the details.
 
-Tests B392002, B392005, BA12010, and BDB0A01 were modified to use Possible Error
-tags in order to reflect intent (Possible Error hasn't been created when these
-tests were built).
+New test B3A2018 checks accessibility rules for function calls and explicitly
+aliased parameters. (This covers cases not covered by the older test B641002.)
 
-Test B3A2009 was modified to remove tabs (not allowed by the test format
-standards).
+Modified the grading criteria for test B740003 to note that processing the main
+subprogram is optional.
 
-New test B480004 checks that an allocator is illegal for an access type with
-Storage_Size zero. Related new test BDB2001 checks that a call on an instance of
-Unchecked_Deallocation is illegal for the same access types.
+Tests B85002A, B85003A, and B85003B were replaced by new tests B851005, B851006,
+and B851007 which test the “known to be constrained” rules as they now exist.
 
-Test B750A07 was modified to allow errors to be reported anywhere in multi-line
-expressions.
+New test B853001 checks that renamed limited views are not used in a unit that
+doesn't with the original package.
 
-Test B83027B was modified to eliminate an unrelated illegality (all or no
-discriminants need defaults for a single type).
+New test B854002 checks that null exclusions match properly in subprogram
+renaming.
 
-Test B83027D and BC51016 were modified to fix the format of an error tag.
+New test BA12018 checks that names that are mentioned but not named in a private
+with are also private.
 
-Test B83E01B was modified to remove possible error cascades and to better follow
-test standards.
+New tests BC40003, BC54004, and BC60005 check that null exclusions match
+properly in a generic instantiation.
 
-New tests C760A02 and C760A03 check that functions that return immutably limited
-types do not use a temporary object (the result should be built-in-place).
+Test CXAG003 was corrected to avoid unexpected exceptions when the file system
+is Case_Sensitive.
 
-Test BA11007 was split into six files to eliminate the need for cross-unit error
-correction and to provide better error handling.
+Support file Tctouch.Ada was modified to avoid reporting Trace Overflow more
+than once (if a compiler bug causes Touch to be called thousands of times, the
+result files were unmanageable). Support file Special.A was modified to add
+additional tests that have optional units (those that don't need to be
+processed).
 
-Tests BA1001D, BA1020F, and BA11013 were corrected to document that the main
-unit is optional and does not need to be processed.
+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 between October 1, 2017 and December 31, 2017
+will become required for conformity assessments on July 1, 2018. New tests
+posted before October 1, 2017 are required for conformity assessments. The
+effective dates of tests are marked in the lists.
 
-New test BA14001 replaces legacy test BA1101E with a modern format test that
-also includes test cases for Ada 95 unit types. Related new test BA14002
-includes test cases for private with.
-
-New test BA14003 checks a violation of 10.1.4(5) for private with.
-
-New test CXAG003 checks the function Name_Case_Equivalence (added by Ada 2012).
-
-Test BXC6A03 was modified to reflect AI05-0218-1.
-
-Tests B37309B, B37310B, B37311A, B392003, B392004, B393001, B393007, B393010,
-B3A2007, B3A2008, B3A2011, B3A2012, B3A2016, B4A010C, B540001, B540002, B54B01B,
-B54B001C, B54B02B, B54B02C, B54B02D, B54B04A, B54B04B, B54B05A,  B55B12B,
-B55B12C, B552A01, and BDD2003 were modified to better reflect realistic error
-handling.
-
-A message in the grading tool (GRADE.A) was corrected so that the correct flag
-is displayed (the grading result is unaffected). Three tests with optional units
-were added to the list in SPECIAL.A, part of the test summary tool (the
-summaries are used by the grading tool).
-
-New tests posted between January 1, 2018 and March 31, 2018 will become required
-for conformity assessments on October 1, 2018. New tests posted between October
-1, 2017 and December 31, 2017 will become required for conformity assessments on
-July 1, 2018. New tests posted between July 1, 2017 and September 30, 2017 will
-become required for conformity assessments on April 1, 2018. New tests posted
-before July 1, 2017 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.
 
@@ -102,14 +80,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);
+
     • 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
       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
       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
@@ -251,6 +233,18 @@
 	Added additional error locations to directly support common error
 	reporting strategies. Fixed overlong lines.
 
+C3A0030 [New] VCS Label: A4_1A
+	Check that an access discriminant is only null excluding if it
+	includes a null exclusion.
+
+B3A1001 [Modified] VCS Label: A4_1A
+	Split Pack6 so possible error sets don't intersect; fixed
+	overlong lines.
+
+B3A1002 [Modified] VCS Label: A4_1A
+	Split Pack6 so possible error sets don't intersect; fixed
+	overlong lines.
+
 B3A2007 [Allowed Modification] New VCS Label: A4_1G Org VCS Label: A4_1
 			Required after 2018-07-01
 	Added additional error locations to directly support common error
@@ -280,27 +274,19 @@
 			Required after 2018-07-01
 	Added additional error locations to directly support common error
 	reporting strategies.
-
-C3A0030 [New] VCS Label: A4_1A
-	Check that an access discriminant is only null excluding if it
-	includes a null exclusion.
 
-B3A1001 [Modified] VCS Label: A4_1A
-	Split Pack6 so possible error sets don't intersect; fixed
-	overlong lines.
+B3A2018 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	Check that an explicitly aliased parameter has the same
+	accessibility level as a normal parameter unless compared to the
+	return object. Check that master of the function call is properly
+	determined statically.
+
+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.
 
-B3A1002 [Modified] VCS Label: A4_1A
-	Split Pack6 so possible error sets don't intersect; fixed
-	overlong lines.
-
-C452002 [New] VCS Label: A4_1D
-	Check that overloading resolution of Ada 2012 membership
-	operations works as intended.
-
-C452002 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1D
-			Required after 2018-04-01
-	Fixed incorrect test number passed to Report.
-
 C453001 [New] VCS Label: A4_1D
 	Check that modular adding operators wrap around rather than
 	raising Constraint_Error.
@@ -308,12 +294,10 @@
 B455002 [Modified] VCS Label: A4_1A
 	Corrected casing of error tags and fixed overlong lines.
 
-B457001 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1
-			Required after 2018-04-01
+B457001 [Modified] VCS Label: A4_1F
 	Fixed overlong lines. Added location indicators.
 
-B457004 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1
-			Required after 2018-04-01
+B457004 [Modified] VCS Label: A4_1F
 	There should not be an ERROR tag @282; Single_Highest @290 should
 	be Single_High. Added location indicators.
 
@@ -452,14 +436,12 @@
 	to OK (as the inherited Proc4 routine is abstract and thus is not
 	subject to	the new rule).
 
-B611007 [New] VCS Label: A4_1A
-	Check that Pre'Class and Post'Class are not allowed on entries
-	and protected subprograms of untagged task and protected types.
-
-B611007 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1A
-			Required after 2018-04-01
-	Corrected preconditions @77 and @110 not to violate the new rule
-	added by Binding Interpretation AI12-0166-1.
+B611007 [New] VCS Label: A4_1F
+	[VCS Label A4_1A] Check that Pre'Class and Post'Class are not
+	allowed on entries and protected subprograms of untagged task and
+	protected types.
+	[VCS Label A4_1F] Corrected preconditions @77 and @110 not to
+	violate the new rule added by Binding Interpretation AI12-0166-1.
 
 B611008 [New] VCS Label: A4_1A
 	Check various rules about the use of the Result attribute.
@@ -608,8 +590,7 @@
 	generic procedure, that the expression has to be nonstatic, and
 	that the aspect is not given on an instance or null procedure.
 
-B680001 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1
-			Required after 2018-04-01
+B680001 [Modified] VCS Label: A4_1F
 	The immediately enclosing expression function @140 does not
 	declare a parameter A, but A is used @141. Added location
 	indicators.
@@ -662,9 +643,15 @@
 	reporting strategies.
 
 B740003 [Modified] 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.
+	[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.
+
 B74001A [Withdrawn] VCS Label: A4_1C
 	Replaced by B730011.
 
@@ -712,6 +699,41 @@
 B83F02C [Modified] VCS Label: A4_1A
 	Updated many optional error markers to match ACATS standards.
 
+B85002A [Withdrawn] VCS Label: A4_1H
+	Replaced by B851005.
+
+B85003A [Withdrawn] VCS Label: A4_1H
+	Replaced by B851007.
+
+B85003B [Withdrawn] VCS Label: A4_1H
+	Replaced by B851007.
+
+B851005 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	Checks that “known to be constrained” is properly enforced for
+	renames. Part 1: “Normal” cases (no generics or access cases).
+
+B851006 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	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.
+
+B853001 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	Checks that a renamed limited view cannot be used where there is
+	not a with for the original package.
+
+B854002 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	When parameter or result has a null exclusion for a subprogram
+	rename, check that the subtype of the corresponding parameter or
+	result of the renamed subprogram must exclude null.
+
 B91003A [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -768,6 +790,11 @@
 	Revised to use Possible Error tags, and added error location
 	indicators.
 
+BA12018 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	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
 	Replaces test BA1101E with modern format and additional test cases
@@ -815,9 +842,13 @@
 
 CC3601C [Modified] VCS Label: A4_1E
 	Moved “=” for type Rec in order that it not violate 4.5.2(9.8/4).
+
+BC40003 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	Checks that the subtype of the actual for a generic formal object
+	with a null exclusion must exclude null.
 
-CC51010 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1
-			Required after 2018-04-01
+CC51010 [Modified] VCS Label: A4_1F
 	The main subprogram name was corrected to follow the rules of the
 	ACATS User's Guide, clause 4.3.3.
 
@@ -825,6 +856,17 @@
 			Required after 2018-07-01
 	Corrected bad error tag, and added error location indicators.
 
+BC54004 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	Checks that the null exclusion of the formal type and of the
+	actual subtype for a generic formal access type must match.
+
+BC60005 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	Checks that the subtype of a parameter or result of the actual
+	subprogram for a generic formal subprogram where the corresponding
+	parameter or result has a null exclusion must exclude null.
+
 CD1009A [Withdrawn] VCS Label: A4_1D
 	Has one of the objectives of, and thus redundant with, test
 	CD2A31C (now CD30012).
@@ -904,10 +946,13 @@
 CXAC009 [New] VCS Label: A4_1D
 	Check that Stream_IO.File_Type has Preelaborable_Initialization.
 
-CXAG003 [Pending New] New VCS Label: A4_1G
-			Required after 2018-10-01
-	Check that function Ada.Directories.Name_Case_Equivalence exists
-	and that it is reflects the handling of file names.
+CXAG003 [Pending New] New VCS Label: A4_1H
+			Required after 2019-01-01
+	[VCS Label A4_1G] Check that function
+	Ada.Directories.Name_Case_Equivalence exists and that it
+	reflects the handling of file names.
+	[VCS Label A4_1H] Added “return;” @171; if the file can't be
+	opened, the Read_File trial is complete.
 
 CXB3023 [New] VCS Label: A4_1A
 	Check that a value of an unchecked union type (defined with
@@ -1030,15 +1075,20 @@
 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_1G Org VCS Label: A4_1C
-			Required after 2018-07-01
-	Added three tests 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.
 
 SUMMARY.A [Modified] VCS Label: A4_1C
 	Corrected identification of main subprograms in modern tests.
 	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
+	Added code so that Touch only reports buffer overflow once. Fixed
+	the Id string.
+
 
 
 How to get new and modified tests:
@@ -1047,7 +1097,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1G.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1H.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
@@ -1072,6 +1122,9 @@
 B74001A
 B74001B
 B74203E
+B85002A
+B85003A
+B85003B
 BA1101E
 CD1009A
 CD1009B
@@ -1102,8 +1155,6 @@
 B3A2011	2018-07-01
 B3A2012	2018-07-01
 B3A2016	2018-07-01
-B457001	2018-04-01
-B457004	2018-04-01
 B4A010C	2018-07-01
 B540001	2018-07-01
 B540002	2018-07-01
@@ -1118,8 +1169,7 @@
 B55B12B	2018-07-01
 B55B12C	2018-07-01
 B552A01	2018-07-01
-B611007	2018-04-01 [VCS Label A4_1F]
-B680001	2018-04-01
+B740003	2018-10-01 [VCS Label A4_1H]
 B750A07	2018-07-01 [VCS Label A4_1G]
 B83027B	2018-07-01
 B83027D	2018-07-01
@@ -1133,11 +1183,9 @@
 BDB0A01	2018-07-01
 BDD2003	2018-07-01
 BXC6A03	2018-07-01
-C452002	2018-04-01 [VCS Label A4_1F]
-CC51010	2018-04-01
-GRADE.C	2018-07-01 [VCS Label A4_1G]
-SPECIAL.C	2018-07-01 [VCS Label A4_1G]
-
+GRADE.A	2018-07-01 [VCS Label A4_1G]
+SPECIAL.A	2018-10-01 [VCS Label A4_1H]
+TCTOUCH.ADA	2018-10-01
 
 
 Modified Tests
@@ -1148,10 +1196,13 @@
 B3A1001
 B3A1002
 B455002
+B457001
+B457004
 B62001C
 B62001D
 B63005A
 B65005B
+B680001
 B730006
 B73001A
 B73001B
@@ -1162,7 +1213,7 @@
 B73001G
 B73001H
 B732C02
-B740003
+B740003 [VCS Label A4_1A]
 B83F02C
 B95007B
 B91003A
@@ -1176,6 +1227,7 @@
 C352001
 C52101A
 CC3601C
+CC51010
 CDE0002
 CXD2007
 CXDB001
@@ -1214,7 +1266,7 @@
 B611004
 B611005
 B611006
-B611007 [VCS Label A4_1A]
+B611007
 B611008
 B611009
 B611010
@@ -1245,7 +1297,7 @@
 C354004
 C35A001
 C3A0030
-C452002 [VCS Label A4_1D]
+C452002
 C453001
 C460014
 C460015
@@ -1281,13 +1333,23 @@
 
 (Refer to the main list for details)
 
+B3A2018	2019-01-01
 B458001	2018-07-01
 B480004	2018-10-01
+B851005	2019-01-01
+B851006	2019-01-01
+B851007	2019-01-01
+B853001	2019-01-01
+B854002	2019-01-01
+BA12018	2019-01-01
 BA14001	2018-10-01
 BA14002	2018-10-01
 BA14003	2018-10-01
+BC40003	2019-01-01
+BC54004	2019-01-01
+BC60005	2019-01-01
 BDB2001	2018-10-01
 C760A02	2018-10-01
 C760A03	2018-10-01
-CXAG003	2018-10-01
+CXAG003	2019-01-01
 

Questions? Ask the ACAA Technical Agent