CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2013/03/29 05:55:34	1.64
+++ acats/docs/mod_list.txt	2013/05/31 00:01:53	1.65
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0N
-March 28, 2013
+Version 3.0P
+May 30, 2013
 
 
 What is this?
@@ -13,33 +13,30 @@
 as "Ada 2012") will be added to a separate version of the test suite (to be
 created in the near future).
 
+Note: There is no ACATS Test Modification List 3.0O to avoid confusion between
+'0' and 'O'.
+
 ACATS Test Modification List version 2.6D for ACATS 2.6 is the current list for
 that test suite. ACATS 2.6 should be used for testing Ada 95 implementations,
 and will continue to be maintained as necessary for the foreseeable future.
 
 Changes from the last list:
 
-A number of tests modified by previous lists are now required for conformity
-assessments (this means that their category is now "Modified").
+A number of tests added by previous lists are now required for conformity
+assessments (this means that their category is now "New").
 
-Tests BC54002 and BC54003 have test cases that are marked as OK, but actually
-violate AI05-0288-1 (a binding interpretation). These cases are removed from
-these tests for ACATS 3.0.
-
-Test CD10001 specifies the Storage_Size for an access type, and then checks that
-the Storage_Size atttribute returns exactly that value. However, rounding up of
-the size is allowed, and the test should allow limited rounding based on the
-(recently added) Impdef constant Maximum_Adjustment_To_Specified_Storage_Size.
+Test CDB0001 is corrected to eliminate a redundant test. Test CD00001 is
+corrected to add a missing comma.
 
-Test B951002 is a new test that checks 9.5.1(2) is enforced. The ACAA has had
-occasional reports that compilers did not make this check properly.
+Test CXAA020 is a new test that checks that enumeration output observes the
+rules of bounded line output (as confirmed by AI05-0036-1).
 
 New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between January 1, 2013 and
-April 1, 2013 will become required for conformity assessments on October 1,
-2013. New tests inserted between July 1, 2012 and October 1, 2012 will become
-required for conformity assessments on April 1, 2013. New tests inserted before
-July 1, 2012 are now required for conformity assessments. The effective dates of
+assessments using ACATS 3.0. New tests inserted between April 1, 2013 and July
+1, 2013 will become required for conformity assessments on January 1, 2014. New
+tests inserted between January 1, 2013 and April 1, 2013 will become required
+for conformity assessments on October 1, 2013. New tests inserted before October
+1, 2012 are now required for conformity assessments. The effective dates of
 tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
@@ -53,14 +50,18 @@
 such tests (other than those listed below) that you identify to the agent at
 agent@ada-auth.org. Tests that are known to be incompatible are listed below.
 
-* Tests B3A1A01 and B38105A are incompatible with AI05-0151-1 which is part of
+  Tests B3A1A01 and B38105A are incompatible with AI05-0151-1 which is part of
   Ada 2012. These tests will be withdrawn or replaced in the Ada 2012 ACATS.
+
+  Test B3A1003 does not allow completing an incomplete type with a private type;
+  that is allowed by AI05-0162-1 which is part of Ada 2012. This test will be
+  replaced in the Ada 2012 ACATS.
 
-* Test C452001 fails if record equality composes for untagged record types,
+  Test C452001 fails if record equality composes for untagged record types,
   which is required by Ada 2012. This test will be replaced in the Ada 2012
   ACATS.
 
-* Tests BC54002 and BC54003 have test cases that violate the binding
+  Tests BC54002 and BC54003 have test cases that violate the binding
   interpretation of AI05-0288-1 which is part of Ada 2012. These cases are
   commented out in this test suite, but will be replaced as required errors in
   the Ada 2012 ACATS.
@@ -101,7 +102,7 @@
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
 These references are to the consolidated Ada standard as available at
-http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TOC.html.
+http://www.adaic.com/standards/05rm/html/RM-TOC.html.
 
 
 
@@ -382,6 +383,12 @@
 	VCS Label A3_0E: Return statement @108 violates 3.9.2(9/1); remove
 	'Class from type PA_Class.
 
+B730007 [Pending New] New VCS Label: A3_0P
+			Required after 2014-01-01
+	If the ancestor subtype of a private extension has constrained
+	discriminants, the parent subtype of the full view must have a
+	statically matching constraint.
+
 B740003 [Modified] VCS Label: A3_0D
 	The error @f1-106 can also be reported @f1-104.
 
@@ -423,8 +430,7 @@
 	Check that the legality rules for renamings that include a
 	null_exclusion are enforced.
 
-B950001 [Pending New] New VCS Label: A3_0M
-			Required after 2013-04-01
+B950001 [New] VCS Label: A3_0M
 	Check that the target object of a call, renames, actual for a
 	formal subprogram, or prefix of 'Access to a protected entry or
 	procedure is a variable. (Tests 9.5(7.1/3)).
@@ -438,8 +444,7 @@
 	Change parameters @64, @70, @88, @90, @97, @124 to have mode "in 	out" so that requeuing on the entry of a constant is not
 	attempted.
 
-B954005 [Pending New] New VCS Label: A3_0M
-			Required after 2013-04-01
+B954005 [New] VCS Label: A3_0M
 	Check that the target object of a requeue is a variable.
 
 B960001 [Modified] VCS Label: A3_0M
@@ -477,9 +482,11 @@
 	Removed test cases Instance07, Instance08, Instance12, and
 	Instance14 as they violate Binding Interpretation AI05-0288-1.
 
-CD10001 [Allowed Modification] New VCS Label: A3_0N Org VCS Label: A3_0
-			Required after 2013-07-01
-	Assertion @274 should allow rounding up of Storage_Size.
+CD10001 [Allowed Modification] New VCS Label: A3_0P Org VCS Label: A3_0
+			Required after 2013-10-01
+	VCS Label A3_0N: Assertion @274 should allow rounding up of
+	Storage_Size.
+	VCS Label A3_3P: Added missing comma in call @278.
 
 CD2B11A [Withdrawn] Org VCS Label: A3_0M
 	This test has been replaced by new test CDB0002.
@@ -487,18 +494,24 @@
 CD2B15C [Withdrawn] Org VCS Label: A3_0M
 	This test has been replaced by new test CDB0001.
 
-CDB0001 [Pending New] New VCS Label: A3_0M
-			Required after 2013-04-01
+CDB0001 [New] VCS Label: A3_0M
 	If Storage_Size is specified for an access type, check that
 	Storage_Error is raised by an allocator when insufficient storage
 	is available. (Updated version of CD2B15C.)
+        [Allowed Modification] New VCS Label: A3_0P Org VCS Label: A3_0M
+			Required after 2013-10-01
+	Removed redundant test @85, replaced with "else".
 
-CDB0002 [Pending New] New VCS Label: A3_0M
-			Required after 2013-04-01
+CDB0002 [New] VCS Label: A3_0M
 	Check that operations on values of an access type are not affected
 	if Storage_Size is specified for the type. (Updated version of
 	CD2B11A.)
 
+CXAA020 [Pending New] New VCS Label: A3_0P
+			Required after 2014-01-01
+	Check that the handling of too-long lines is appropriate for
+	enumeration output.
+
 CXB3006 [Modified] VCS Label: A3_0J
 	Calls @258, 264 are ambigiuous because of new routines added by
 	Ada 2005; the calls should be qualified with the wchar_array type.
@@ -513,8 +526,7 @@
 CXC6003 [Modified] VCS Label: A3_0M
 	Fixed potentially illegal test case. Now depends on ImpdefC.a.
 
-CXC7006 [Pending New] New VCS Label: A3_0M
-			Required after 2013-04-01
+CXC7006 [New] VCS Label: A3_0M
 	Check that package Task_Termination operates as expected.
 
 
@@ -603,7 +615,8 @@
 
 BC54002	2013-07-01
 BC54003	2013-07-01
-CD10001	2013-07-01
+CD10001	2013-10-01
+CDB0001	2013-10-01
 
 
 Modified Tests
@@ -660,6 +673,8 @@
 B851002
 B851003
 B851004
+B950001
+B954005
 C393013
 C3A0016
 C3A0017
@@ -682,6 +697,9 @@
 C851001
 C851002
 CC30003
+CDB0001
+CDB0002
+CXC7006
 F3A1A00
 F650A00
 
@@ -692,11 +710,7 @@
 
 (Refer to the main list for details)
 
-B950001	2013-04-01
+B730007	2014-01-01
 B951002	2013-10-01
-B954005	2013-04-01
-CDB0001	2013-04-01
-CDB0002	2013-04-01
-CXC7006	2013-04-01
-
+CXAA020	2014-01-01
 

Questions? Ask the ACAA Technical Agent