CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2017/08/10 03:16:13	1.85
+++ acats/docs/mod_list.txt	2017/12/23 00:31:17	1.86
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1E
-August  9, 2017
+Version 4.1F
+December 22, 2017
 
 
 What is this?
@@ -22,23 +22,35 @@
 
 Changes from the last list:
 
-A number of tests changed status on July 1st; see the lists for the details.
+A number of tests changed status on October 1st; see the lists for the details.
 
-Test CDE0002 was modified to use Storage_Size, an aspect that does not have to
-be a static expression. If the aspect requires a static expression, the second
-sentence of 13.14(7.2/3) necessarily applies, so X is illegal as it is frozen
-before it is fully defined.
-
-Test CC3601C was modified to move the declaration of “=” for type Rec directly
-after the type. Otherwise, it violates 4.5.2(9.8/4) by being declared after the
-type is frozen.
-
-New tests posted between July 1, 2017 and September 30, 2017 will become
-required for conformity assessments on April 1, 2018. New tests posted between
-April 1, 2017 and June 30, 2017 will become required for conformity assessments
-on January 1, 2018. New tests posted between January 1, 2017 and March 31, 2017
-will become required for conformity assessments on October 1, 2017. New tests
-posted before January 1, 2017 are required for conformity assessments. The
+B457001 contains many overlong lines.
+
+B457004 contains two errors: correct code mistakenly marked as an error, and a
+misspelled object name.
+
+New test B458001 checks that parentheses are required around a quantified
+expression if the context does not provide them on both sides.
+
+B611007 contains two violations of a new rule introduced by AI12-0166-1. As this
+is an Ada 2020 rule, we don't want to require it be enforced, but as the AI is a
+Binding Interpretation (a language correction), we also don't want to it to not
+be enforced in Ada 2012 compilers.
+
+B680001 contains a reference to A @141, but the local declaration of the
+enclosing expression function does not declare an A.
+
+C452002 reports an incorrect test number when executed.
+
+CC51010 had a main subprogram name that did not follow the rules laid out in the
+ACATS User's Guide, clause 4.3.3.
+
+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 between April 1, 2017 and June
+30, 2017 will become required for conformity assessments on January 1, 2018. New
+tests posted before April 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
@@ -48,34 +60,27 @@
 
 ACATS 4.1 introduces new test grading tools.
 
-When the ACATS was designed (as the ACVC in the early 1980s), the intention
-always was that running it would give a simple and clear Pass or Fail result.
-However, grading of tests (particularly of B and L Tests) is somewhat subjective
-and very time-consuming. (Test grading typically involved poring over compiler
-listings of the entire ACATS with a large highlighter.) The subjectivity was
-acceptable in the days of common formal testing, as the formal testers would
-enforce a common grading standard (even if no one could describe what that was),
-but in an age of self-testing, it reduces the value of the ACATS.
+When the ACATS was designed (as the ACVC in the early 1980s), the intention always was that running it would give a simple and clear Pass or Fail result. However, grading of tests (particularly of B and L Tests) is somewhat subjective and very time-consum
ing. (Test grading typically involved poring over compiler listings of the entire ACATS with a large highlighter.) The subjectivity was acceptable in the days of common formal testing, as the formal testers would enforce a common grading standard (even if 
no one could describe what that was), but in an age of self-testing, it reduces the value of the ACATS.
 
 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);
+    • 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 off lines
-  in a listing, it's hard to notice that some test or portion of a test is
-  missing).
+    • 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
+      off lines in a listing, it's hard to notice that some test or portion of a
+      test is missing).
 
 The tools also will optionally give feedback to implementers about quality of
 error message positioning and of error cascades (does one error generate
@@ -139,28 +144,23 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-C350001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C350001 [New] VCS Label: A4_1D
 	Check that the object form of the Image attribute is implemented.
 
 C352001 [Modified] VCS Label: A4_1D
 	Corrected Failed message @267 to reflect intended result.
 
-B354002 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B354002 [New] VCS Label: A4_1D
 	Test basic requirements for the Mod attribute.
 
-C354004 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C354004 [New] VCS Label: A4_1D
 	Test basic operation of the Mod attribute.
 
-B35A001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B35A001 [New] VCS Label: A4_1D
 	Check Legality Rules are enforced when Small is specified by an
 	aspect specification.
 
-C35A001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C35A001 [New] VCS Label: A4_1D
 	Check that Small can be specified by an aspect specification.
 
 B38003D [Modified] VCS Label: A4_1A
@@ -179,36 +179,48 @@
 	Split Pack6 so possible error sets don't intersect; fixed
 	overlong lines.
 
-C452002 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C452002 [New] VCS Label: A4_1D
 	Check that overloading resolution of Ada 2012 membership
 	operations works as intended.
 
-C453001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+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.
 
 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
+	Fixed overlong lines. Added location indicators.
+
+B457004 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1
+			Required after 2018-04-01
+	There should not be an ERROR tag @282; Single_Highest @290 should
+	be Single_High. Added location indicators.
 
-C460014 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B458001 [Pending New] New VCS Label: A4_1F
+			Required after 2018-07-01
 	Check that Constraint_Error is raised appropriately when
 	converting access-to-classwide to another access type.
 
-C460015 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+C460014 [New] VCS Label: A4_1C
 	Check that Constraint_Error is raised appropriately when
+	converting access-to-classwide to another access type.
+
+C460015 [New] VCS Label: A4_1C
+	Check that Constraint_Error is raised appropriately when
 	converting access-to-limited-classwide to another access type.
 
-B470001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B470001 [New] VCS Label: A4_1D
 	Check that qualified expressions are a constant view of the
 	expression, even if the expression is a variable object.
 
-C470001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C470001 [New] VCS Label: A4_1D
 	Check that qualified expressions are a name, and thus can be used
 	as a prefix and other places a name is required.
 
@@ -255,6 +267,11 @@
 	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.
+
 B611008 [New] VCS Label: A4_1A
 	Check various rules about the use of the Result attribute.
 
@@ -278,8 +295,7 @@
 B611013 [New] VCS Label: A4_1A
 	For a discrete X, check that X'Old has the nominal subtype of X.
 
-B611014 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B611014 [New] VCS Label: A4_1C
 	[VCS Label A4_1B] If an Old attribute reference occurs in at a
 	place where it is potentially unevaluated, check that the prefix
 	must statically denote an object.
@@ -294,8 +310,7 @@
 	Pre'Class and Post'Class, nor are they allowed on operations of
 	those types.
 
-B611017 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B611017 [New] VCS Label: A4_1C
 	[VCS Label A4_1B] Check that Pre'Class cannot be specified for
 	an overriding of a subprogram that does not specify Pre'Class.
 	[VCS Label A4_1C] Declaration of New_Proc @358 is not overriding
@@ -304,14 +319,12 @@
 	this rule does not apply to instances of Gen2. Added an example
 	using a generic derived type.
 
-B611018 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B611018 [New] VCS Label: A4_1C
 	[VCS Label A4_1B] Check 6.1.1(10-16/3).
 	[VCS Label A4_1C] Type T08 @230 and @241 needs to be declared
 	abstract.
 
-B611019 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B611019 [New] VCS Label: A4_1C
 	[VCS Label A4_1B] Check 6.1.1(17/3).
 	[VCS Label A4_1C] The declaration of Get_Count @112
 	never overrides primitives of the actual type by 12.3(18), thus
@@ -336,12 +349,11 @@
 	[VCS Label A4_1C] The main subprogram name was corrected to follow
 	the rules of the ACATS User's Guide, clause 4.3.3.
 
-C611A04 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C611A04 [New] VCS Label: A4_1D
 	[VCS Label A4_1C] Check that the correct expressions are evaluated
 	for class-wide preconditions and postconditions of an interface
 	type, and that they are evaluated at the correct point.
-	[VCS Label A4_1D] Fixed too long lines.
+	[VCS Label A4_1D] Fixed overlong lines.
 
 C611B01 [New] VCS Label: A4_1C
 	[VCS Label A4_1A] Check that X'Old has the tag of X and not the
@@ -355,12 +367,11 @@
 	[VCS Label A4_1C] The main subprogram name was corrected to follow
 	the rules of the ACATS User's Guide, clause 4.3.3.
 
-C611B03 [Pending New] New  VCS Label: A4_1D
-			Required after 2017-10-01
+C611B03 [New] VCS Label: A4_1D
 	[VCS Label A4_1C] Check that X'Old has the tag of X and not the
 	tag of the nominal subtype of X (for Post'Class of an interface
 	type).
-	[VCS Label A4_1D] Fixed too long lines.
+	[VCS Label A4_1D] Fixed overlong lines.
 
 B62001C [Modified] VCS Label: A4_1A
 	Changed error @35 to be optional, as the syntax error @33 is
@@ -385,49 +396,47 @@
 	tagged type does an accessibility check on the tag of the result
 	object when the result expression is class-wide.
 
-B651001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B651001 [New] VCS Label: A4_1D
 	Check that a return statement cannot apply to a nonreturning
 	procedure, and that a renames-as-body of a nonreturning procedure
 	has to be a nonreturning procedure (pragma No_Return version).
 
-C651001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C651001 [New] VCS Label: A4_1D
 	Check that a nonreturning procedure can raise an exception and
 	raises Program_Error otherwise (pragma No_Return version).
 
-B651002 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B651002 [New] VCS Label: A4_1D
 	Check that a return statement cannot apply to a nonreturning
 	procedure, and that a renames-as-body of a nonreturning procedure
 	has to be a nonreturning procedure (aspect No_Return version).
 
-C651002 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+C651002 [New] VCS Label: A4_1D
 	Check that a nonreturning procedure can raise an exception and
 	raises Program_Error otherwise (aspect No_Return version).
 
-B651003 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B651003 [New] VCS Label: A4_1D
 	Check that an aspect No_Return can only be given on a procedure or
 	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
+	The immediately enclosing expression function @140 does not
+	declare a parameter A, but A is used @141. Added location
+	indicators.
+
 B730006 [Modified] VCS Label: A4_1C
 	Corrected format of error tags; added location indicators.
 
-B730011 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B730011 [New] VCS Label: A4_1C
 	Test various rules about completions of private types and
 	extensions; replaces test B74001A.
 
-B730012 [Pending New] New VCS Label: A4_1C
-			Required after 2017-10-01
+B730012 [New] VCS Label: A4_1C
 	Test various rules about completions of private types and
 	extensions in generic units; replaces test B74001B.
 
-B730013 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+B730013 [New] VCS Label: A4_1D
 	Test operations available for a private type; replaces test
 	B74203E.
 
@@ -510,8 +519,7 @@
 B95007B [Modified] VCS Label: A4_1A
 	Fixed error markers @62,66,70 to match ACATS standards.
 
-BA21005 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+BA21005 [New] VCS Label: A4_1D
 	Test that Pure and Preelaborate aspects cannot be specified late,
 	with a nonstatic expression, or an expression of a type other than
 	Boolean.
@@ -546,6 +554,11 @@
 			Required after 2018-01-01
 	Moved “=” for type Rec in order that it not violate 4.5.2(9.8/4).
 
+CC51010 [Allowed Modification] New VCS Label: A4_1F Org VCS Label: A4_1
+			Required after 2018-04-01
+	The main subprogram name was corrected to follow the rules of the
+	ACATS User's Guide, clause 4.3.3.
+
 CD1009A [Withdrawn] VCS Label: A4_1D
 	Has one of the objectives of, and thus redundant with, test
 	CD2A31C (now CD30012).
@@ -570,35 +583,29 @@
 CD2A31C [Withdrawn] VCS Label: A4_1D
 	Replaced by CD30012.
 
-BD30001 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+BD30001 [New] VCS Label: A4_1D
 	Check Legality Rules are enforced when Size is specified by an
 	aspect specification for a type.
 
-BD30002 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+BD30002 [New] VCS Label: A4_1D
 	Check Legality Rules are enforced when Alignment is specified by
 	an aspect specification for a type.
 
-BD30003 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+BD30003 [New] VCS Label: A4_1D
 	Check Legality Rules are enforced when Component_Size is specified
 	by an aspect specification.
 
-CD30010 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+CD30010 [New] VCS Label: A4_1D
 	Check that Component_Size can be specified via an aspect
 	specification.
 
-CD30011 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+CD30011 [New] VCS Label: A4_1D
 	Merges legacy tests CD1009B and CD2A21C to eliminate duplication
 	(CD1009B has the same objective as one of the objectives of
 	CD2A21C) while adding modern formatting and applicability
 	criteria.
 
-CD30012 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+CD30012 [New] VCS Label: A4_1D
 	Merges legacy tests CD1009A and CD2A31C to eliminate duplication
 	(CD1009A has the same objective as one of the objectives of
 	CD2A31C) while adding modern formatting and applicability
@@ -613,8 +620,7 @@
 	Changed to use Storage_Size rather than Size so that the static
 	expression rule of 13.14(7.2/3) is not triggered.
 
-CXAC009 [Pending New] New VCS Label: A4_1D
-			Required after 2017-10-01
+CXAC009 [New] VCS Label: A4_1D
 	Check that Stream_IO.File_Type has Preelaborable_Initialization.
 
 CXB3023 [New] VCS Label: A4_1A
@@ -742,13 +748,13 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1E.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1F.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
 navigate to the appropriate directory (folder), and select the test you want.
 Select the revision you want (usually the most recent) and it will be retrieved
-for you. Tests are stored in directories that correspond to the test's prefix.
+for you. Tests are stored in directories that correspond to the test’s prefix.
 For instance, the test CD92001.A will be found in the CD directory. You can also
 browse the differences between versions of a test. [In case of a conflict, the
 files in the ACATS VCS should be considered the 'official' versions.]
@@ -780,7 +786,13 @@
 
 (Refer to the main list for details)
 
+B457001	2018-04-01
+B457004	2018-04-01
+B611007	2018-04-01 [VCS Label A4_1F]
+B680001	2018-04-01
+C452002	2018-04-01 [VCS Label A4_1F]
 CC3601C	2018-01-01
+CC51010	2018-04-01
 CDE0002	2018-01-01
 
 
@@ -849,37 +861,69 @@
 
 (Refer to the main list for details)
 
+B354002
+B35A001
 B611001
 B611002
 B611003
 B611004
 B611005
 B611006
-B611007
+B611007 [VCS Label A4_1A]
 B611008
 B611009
 B611010
 B611011
 B611012
 B611013
+B611014
 B611015
 B611016
+B611017
+B611018
+B611019
+B651001
+B651002
+B641003
+B730011
+B730012
+B730013
 B750A07
+BA21005
 BB42001
 BB42002
 BB42003
+BD30001
+BD30002
+BD30003
+C350001
+C354004
+C35A001
 C3A0030
+C452002 [VCS Label A4_1D]
+C453001
+C460014
+C460015
+C470001
 C480001
 C611A01
 C611A02
 C611A03
+C611A04
 C611B01
 C611B02
+C611B03
 C650B04
+C651001
+C651002
 CB42001
 CB42002
 CB42003
 CD11001
+CD30010
+CD30011
+CD30012
+CXAC009
 F611A00
 F611B00
 
@@ -889,36 +933,8 @@
 Pending New Tests
 
 (Refer to the main list for details)
+
+B458001	2018-07-01
+
 
-B354002	2017-10-01
-B35A001	2017-10-01
-B611014	2017-10-01
-B611017	2017-10-01
-B611018	2017-10-01
-B611019	2017-10-01
-B651001	2017-10-01
-B651002	2017-10-01
-B651003	2017-10-01
-B730011	2017-10-01
-B730012	2017-10-01
-B730013	2017-10-01
-BA21005	2017-10-01
-BD30001	2017-10-01
-BD30002	2017-10-01
-BD30003	2017-10-01
-C350001	2017-10-01
-C354004	2017-10-01
-C452002	2017-10-01
-C453001	2017-10-01
-C460014	2017-10-01
-C460015	2017-10-01
-C470001	2017-10-01
-C611A04	2017-10-01
-C611B03	2017-10-01
-C651001	2017-10-01
-C651002	2017-10-01
-CD30010	2017-10-01
-CD30011	2017-10-01
-CD30012	2017-10-01
-CXAC009	2017-10-01
 

Questions? Ask the ACAA Technical Agent