CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2015/03/20 06:50:35	1.74
+++ acats/docs/mod_list.txt	2015/05/16 01:03:29	1.75
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0E
-March 19, 2015
+Version 4.0F
+May 15, 2015
 
 
 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.1F for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1G 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,72 +22,63 @@
 
 Changes from the last list:
 
-New test C324003 checks the example found in RM subclause 3.2.4, including the
-use of aspect Predicate_Failure and the evaluation order of predicates.
+Since this is the first list of a new quarter, one modified test (CXAI027)
+changed status; the modification is now a required part of conformity
+assessment.
+
+Replaced the qualified expression case in C324002, as AI12-0100-1 (part of the
+upcoming Corrigendum) makes it clear that the check is performed. New tests
+C324004 and C324005 check that ignoring predicates works as expected.
+
+New tests B415001 and B415002 test various legality rules associated with aspect
+Implicit_Dereference.
+
+Corrected C415001 to eliminate a violation of the anti-aliasing rules
+(6.4.1(6.17/3)).
+
+New tests B416002, B416A01, C416A01, and C416A02 check various rules associated
+with generalized indexing.
+
+New test B433003 checks that an aggregate in the return expression of an
+expression function or the expression of a return statement cannot have an
+others choice if the function result subtype is unconstrained. New test C433006
+checks that the return expression of an expression function can provide an
+applicable index constraint.
+
+New tests C732002, C732A02, C732B01, and C732B02 test additional cases for type
+invariants.
+
+New tests B831004 and B831005 check that overriding indicators are properly
+enforced for primitive subprograms of types derived from generic formal types.
+
+New test C831001 checks that the operation of calls are not changed by
+overriding indicators.
+
+New test B840002 checks usage of package use clauses. New test B840003 checks
+that use all type clauses don't make too much visible.
+
+New test CXA4037 checks an old correction to Ada.Strings.Fixed.Find_Token.
+
+New tests BXB3001, BXB3002, BXB3003, BXB3004, CXB3001, CXB3002, CXB3003, and
+CXB3004 test aspect Unchecked_Union.
+
+New tests posted between April 1, 2015 and June 30, 2015 will become required
+for conformity assessments on January 1, 2016. New tests posted between January
+1, 2015 and March 31, 2015 will become required for conformity assessments on
+October 1, 2015. New tests posted between October 1, 2014 and December 31, 2014
+will become required for conformity assessments on July 1, 2015. New tests
+posted before September 30, 2014 are now required for conformity assessments.
+All tests posted to modification lists for other versions of the ACATS are
+included in ACATS 4.0 if appropriate and thus are required for conformity
+assessment using ACATS 4.0 The effective dates of tests are marked in the lists.
 
-An error in test C433004 was corrected; this changed the required date.
-Similarly, an error in test BDB3A01 was corrected; this changed the required
-date.
-
-New tests C552001 and C552002 test the operation of array component iterators.
-New tests B552001, B552A04, and B552A05 test legality rules for each kind of
-iterator. New tests B551001 and B551002 test legality rules for aspects
-Default_Iterator and Iterator_Element, respectively.
-
-In test B730009, the completion of Priv12 at line 131 violates 7.3(10.1/3); this
-is corrected by adding limited to the full type declaration.
-
-New test B730010 checks that 7.3(10.1/3) is enforced.
-
-Corrected two errors in test B732001. Corrected two errors in CC51010. As these
-are new tests that were issued this quarter, these corrections do not change the
-required date of the test.
-
-New test CA21002 checks that the Pure and Preelaborate aspects can be specified
-with a value imported from another package.
-
-New test CC51011 was removed pending the resolution of AI12-0155-1; the
-operations declared in package Inner necessarily violate the freezing rule that
-all types in a profile that is being frozen are completely defined.
-
-New test CXAG001 checks the use of Ada.Directories. New test CXAG002 checks the
-use of Ada.Directories.Hierarchical_File_Names.
-
-New tests CXAH001, CXAH002, and CXAH003 were missing Applicability Criteria.
-This only changes the header of the test; no Ada code was changed. As these are
-new tests that were issued this quarter, these corrections do not change the
-required date of the tests.
-
-Additional items are added to Impdef to support some of these new tests.
-
-A number of new tests had overlong lines, unintended tab characters, and other
-violations of ACATS test lexical rules. These have been corrected. Some of these
-changes caused the required dates to change. These tests include B3A1008,
-B3A1009, B3A2017, B457004, B480002, B438003, B640001, B732C01, B732C02, BA12017,
-BXAI005, BXAI006, BXAI007, BXAI008, BXAIA03, BXAIA04, C391003, C3A1003, C3A1004,
-C431002, C433002, C433003, C433005, C550001, C640002, C732001, C732A00, C732C00,
-C760015, CB30002, CDB3A01, CXA5016, CXAC008, F732A00, F732C00, and FDB3A00.
-
-A number of existing, older tests had overlong lines, unintended tab characters,
-and other violations of ACATS test lexical rules. These have been corrected.
-Test affected are BDD2004, BDD2005, C540002, C552A01, C552A02, CC30003, CC30004,
-CD30006, and CD30007.
-
-New tests posted between January 1, 2015 and March 31, 2015 will become required
-for conformity assessments on October 1, 2015. New tests posted between October
-1, 2014 and December 31, 2014 will become required for conformity assessments on
-July 1, 2015. New tests posted between July 1, 2014 and September 30, 2014 will
-become required for conformity assessments on April 1, 2015. All tests posted to
-modification lists for other versions of the ACATS are included in ACATS 4.0 if
-appropriate and thus are required for conformity assessment using ACATS 4.0 The
-effective dates of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
 
 2015 Corrigendum:
 
-With ACATS Modification List 4.0B, we have started including tests for
+Beginning with ACATS Modification List 4.0B, we have included tests for
 corrections (including new features) in the upcoming 2015 Corrigendum. Most of
 these corrections have already been approved by WG 9, and those that haven't
 been are expected to be approved at their next meeting. All of these changes are
@@ -96,9 +87,9 @@
 
 Implementers can request grading modifications for any tests containing 2015
 Corrigendum changes until the Corrigendum is approved as a whole by WG 9
-(expected at their late June 2015 meeting). Note that most such tests will not
-be required until after that meeting anyway, as new tests have a six month
-review period before being required.
+(expected at their late June 2015 meeting). Note that all such tests will not be
+required until after that meeting anyway, as new tests have a six month review
+period before being required.
 
 Notice:
 
@@ -146,11 +137,35 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+C324001 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
+			Required after 2015-07-01
+	Eliminated overlong lines.
+
+C324002 [Allowed Modification] New VCS Label: A4_0F Org VCS Label: A4_0
+			Required after 2015-10-01
+	[VCS Label A4_0E] Eliminated overlong lines.
+	[VCS Label A4_0F] Replaced last test case (qualified expressions),
+	as that check is required by the Corrigendum.
+
 C324003 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	Check that predicates are checked in the correct order and that
 	the specified exception is raised.
 
+C324004 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check predicate checks are not performed for static and dynamic
+	subtype predicates when the assertion policy is Ignore, but
+	memberships, the Valid attribute, and for loops continue to use
+	the predicates -- case A: global assertion policy pragmas
+
+C324005 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check predicate checks are not performed for static and dynamic
+	subtype predicates when the assertion policy is Ignore, but
+	memberships, the Valid attribute, and for loops continue to use
+	the predicates -- case B: specific assertion policy pragmas
+
 B393011 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
 	Check that an abstract routine of an abstract partial view
@@ -209,6 +224,48 @@
 	type or outside of the generic.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
+B415001 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check various rules associated with the specification of aspect
+	Implicit_Dereference.
+
+B415002 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the object denoted by a generalized reference cannot
+	be used as a variable if the discriminant has an
+	access-to-constant type.
+
+C415001 [Allowed Modification] New VCS Label: A4_0F Org VCS Label: A4_0
+			Required after 2015-10-01
+	Expression @155-6 violates 6.4.1(6.17/3).
+
+B416002 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that a generalized indexing is illegal in a variable context
+	if no Variable_Indexing is specified and Constant_Indexing
+	specifies a function returning an ordinary object.
+
+B416A01 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	When both Constant_Indexing and Variable_Indexing are
+	specified, check that a generalized indexing is illegal if it is
+	called in variable contexts when the prefix is a constant and
+	Constant_Indexing specifies a function returning an ordinary
+	object.
+
+C416A01 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the name specified for a Constant_Indexing or
+	Variable_Indexing aspect can refer to a set of overloaded
+	functions, with two or more parameters, and that all of those
+	functions can be used in a generalized indexing.
+
+C416A02 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the overloaded routines can be added to an inherited
+	indexing aspect and the new routines can be used in a generalized
+	indexing.
+
 C431002 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0B] Check that a component association of others =>
@@ -237,8 +294,15 @@
 	components are specified by <>.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-C433003 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
+B433003 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that an others choice is not allowed in an array
+	aggregate that is used as the return expression of an expression
+	function or the expression of a return statement if the result
+	subtype of the function is unconstrained.
+
+C433003 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
 	[VCS Label A4_0B] Check that for each association with a box in
 	an array aggregate, the component is initialized by default
 	(scalar types with Default_Values).
@@ -260,6 +324,13 @@
 	expression of a return statement.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
+C433006 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the constraint of the constrained
+	array subtype of a function return is used to determine the
+	bounds of an array aggregate with an others choice in the
+	return expression of an expression function.
+
 B457002 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
 	Check that 'others' must be last and alone in a case expression.
@@ -392,12 +463,32 @@
 	conversions.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
+C732002 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check some differences between specific and class-wide type
+	invariants.
+
 C732A01 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0D] Check that the failure of a Type_Invariant check
 	raises Assertion_Error (constrained array).
 	[VCS Label A4_0E] Eliminated overlong lines.
 
+C732A02 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the failure of a Type_Invariant check raises
+	Assertion_Error (part of unconstrained array).
+
+C732B01 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the failure of a Type_Invariant check raises
+	Assertion_Error (discriminated record).
+
+C732B02 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that the failure of a Type_Invariant check raises
+	Assertion_Error (access-to-record).
+
 B732C01 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0D] Check that the aspect Type_Invariant can only
@@ -428,6 +519,33 @@
 	within a subprogram.
 	[VCS Label A4_0E] Eliminate overlong lines.
 
+C831001 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that overriding indicators do not change the dynamic effect
+	of calls.
+
+B831004 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that overriding indicators are properly enforced for types
+	derived from a generic formal type. (Nested generic specification
+	cases.)
+
+B831005 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that overriding indicators are properly enforced for types
+	derived from a generic formal type. (Library unit and body cases.)
+
+B840002 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check a package use clause cannot denote a limited view or a
+	non-package.
+
+B840003 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check a use all type clause does not make non-primitives or
+	class-wide operations that aren't directly declare where a
+	primitive operation would be visible.
+
 BA12017 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0C] Check that a limited with clause is not allowed
@@ -512,6 +630,11 @@
 	approved) and made changes required by AI12-0121-1.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
+CXA4037 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check Ada.Strings.Fixed.Find_Token against rule from 2001
+	Corrigendum.
+
 CXA5016 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0C] Check operation of attribute Machine_Rounding.
@@ -641,11 +764,43 @@
 	not allow direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-CXAI027 [Allowed Modification] New VCS Label: A4_0B Org VCS Label: A4_0
-			Required after 2015-04-01
+CXAI027 [Modified] VCS Label: A4_0B
 	Corrected the name of the package that is reported as being
 	tested.
 
+BXB3001 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(8/2).
+
+BXB3002 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(9/3).
+
+BXB3003 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(11/2).
+
+BXB3004 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check that rules for the application of aspect Unchecked_Union are
+	enforced.
+
+CXB3019 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(23/2).
+
+CXB3020 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(24/2).
+
+CXB3021 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(25/2).
+
+CXB3022 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Check B.3.3(26/2).
+
 ===== Annex C =====
 
 [None.]
@@ -673,11 +828,24 @@
 
 ===== Support =====
 
+F416A00 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Foundation for tests B416A01, C416A01, and C416A02.
+
 F732A00 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0D] Foundation for test C732A01.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
+F732A00 [Allowed Modification] New VCS Label: A4_0F Org VCS Label: A4_0E
+			Required after 2016-01-01
+	[VCS Label A4_0F] Added types and operations to support test
+	C732A02. They are only needed for that test.
+
+F732B00 [Pending New] New VCS Label: A4_0F
+			Required after 2016-01-01
+	Foundation for tests C732B01 and C732B02.
+
 F732C00 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0D] Foundation for tests B732C01, B732C02, and
@@ -696,10 +864,10 @@
 	removed obsolete .AW file constants (these are not used as test
 	source has been provided in UTF-8 format since the release of
 	ACATS 3.0). The change is only needed for those tests, it has no
-	effect on any other tests.
-	[VCS Label A4_0E] Added a constant and function used by test
-	CXAG001. The change is only needed for those tests, it has no
 	effect on any other tests.
+	[VCS Label A4_0E] Added a constant and function used by tests
+	CXAG001 and CXAG002. The change is only needed for those tests,
+	it has no effect on any other tests.
 
 
 
@@ -711,7 +879,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_0E.Zip and Tar files on the ACAA web site.
+Mod_4_0F.Zip and Tar files on the ACAA web site.
 
 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.
@@ -743,11 +911,12 @@
 B730009	2015-07-01
 BDD2004	2015-07-01
 BDD2005	2015-07-01
+C324001	2015-07-01
+C324002	2015-10-01
 CC30003	2015-07-01
 CC30004	2015-07-01
 CD30006	2015-07-01
 CD30007	2015-07-01
-CXAI027	2015-04-01
 IMPDEF	2015-07-01 [Only needed for new tests CXAG001, CXAG0002,
 		            CXAH001, CXAH002, and CXAH003]
 
@@ -756,7 +925,7 @@
 
 (Refer to the main list for details)
 
-None.
+CXAI027
 
 
 
@@ -778,8 +947,13 @@
 B3A1009	2015-10-01
 B3A1010	2015-10-01
 B3A2017	2015-10-01
+B415001	2016-01-01
+B415002	2016-01-01
+B416002	2016-01-01
+B416A01	2016-01-01
 B431005	2015-07-01
 B431006	2015-07-01
+B433003	2016-01-01
 B457002	2015-10-01
 B457003	2015-10-01
 B457004	2015-10-01
@@ -798,6 +972,10 @@
 B732001	2015-10-01
 B732C01	2015-10-01
 B732C02	2015-10-01
+B831004	2016-01-01
+B831005	2016-01-01
+B840002	2016-01-01
+B840003	2016-01-01
 BA12017	2015-10-01
 BA15003	2015-07-01
 BC60001	2015-07-01
@@ -814,28 +992,44 @@
 BXAIA02	2015-07-01
 BXAIA03	2015-10-01
 BXAIA04	2015-10-01
+BXB3001	2016-01-01
+BXB3002	2016-01-01
+BXB3003	2016-01-01
+BXB3004	2016-01-01
 C324003	2015-10-01
+C324004	2016-01-01
+C324005	2016-01-01
 C3A1003	2015-10-01
 C3A1004	2015-10-01
 C3A2004	2015-07-01
+C416A01	2016-01-01
+C416A02	2016-01-01
 C431002	2015-10-01
 C433002	2015-10-01
 C433003	2015-10-01
 C433004	2015-10-01
 C433005	2015-10-01
+C433006	2016-01-01
 C550001	2015-10-01
 C552001	2015-10-01
 C552002	2015-10-01
 C640002	2015-10-01
+C732001	2015-10-01
+C732002	2016-01-01
 C732A01	2015-10-01
+C732A02	2016-01-01
+C732B01	2016-01-01
+C732B02	2016-01-01
 C732C01	2015-10-01
 C760014	2015-04-01
 C760015	2015-10-01
+C831001	2016-01-01
 CA21002	2015-10-01
 CB30001	2015-07-01
 CB30002	2015-10-01
 CC51010	2015-10-01
 CDB3A01	2015-10-01
+CXA4037	2016-01-01
 CXA5016	2015-07-01
 CXAA021	2015-07-01
 CXAA022	2015-07-01
@@ -849,7 +1043,13 @@
 CXAH001	2015-10-01
 CXAH002	2015-10-01
 CXAH003	2015-10-01
+CXB3019	2016-01-01
+CXB3020	2016-01-01
+CXB3021	2016-01-01
+CXB3022	2016-01-01
+F416A00	2016-01-01
 F732A00	2015-10-01
+F732B00	2016-01-01
 F732C00	2015-10-01
 FDB3A00	2015-10-01
 

Questions? Ask the ACAA Technical Agent