CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2009/07/02 00:11:45	1.61
+++ acats/docs/mod_list.txt	2012/07/21 04:47:47	1.62
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0L
-July 1, 2009
+Version 3.0M
+July 20, 2012
 
 
 What is this?
@@ -9,29 +9,54 @@
 corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the test
 suite for the current version of Ada (often known as "Ada 2005") that became
 current with the approval and publication of Amendment 1 by ISO as ISO/IEC
-8652:1995/AMD 1:2007.
+8652:1995/AMD 1:2007. (Tests for "Ada 2012" will not be added to the test suite
+until after that revised standard finishes standardization, expected in late
+2012 or early 2013.)
+
+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.
 
-ACATS Test Modification List version 2.6C for ACATS 2.6 remains current 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:
 
-This list contains a number of test status changes; there are no new or modified
-tests.
+Test BXE2012 is correct to remove an unintentional illegality. Test CXC6003 is
+modified to repair a test case that could be illegal; it now depends on a new
+constant in IMPDEFC. IMPDEF is repaired to remove a misleading comment. Test
+B954003 is modified so that it is not trying to requeue on entries of constants.
+Test B960001 is corrected so that the OK case is formatted properly with the
+expected parameters. Test B433001 is corrected so that the aggregates in
+subtests O15 through O18 have the correct number of elements for each dimension.
+
+New tests B950001 and B954005 test that target objects of protected entries and
+procedure calls, renames, requeues, and more are variables. New test CXC7006
+tests package Task_Termination.
+
+Tests CD2B11A and CD2B15C were withdrawn as they did not allow rounding up of a
+specified Storage_Size. They have been replaced by two new tests CDB0001 and
+CDB0002 which allow rounding up to an implementation-defined limit.
 
 New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between July 1, 2009 and October
-1, 2009 will become required for conformity assessments on April 1, 2010. New
-tests inserted between April 1, 2009 and July 1, 2009 will become required for
-conformity assessments on January 1, 2010. New tests inserted between January 1,
-2009 and April 1, 2009 will become required for conformity assessments on
-October 1, 2009. New tests inserted before January 1, 2009 are now required for
-conformity assessments. The effective dates of tests are marked in the lists.
+assessments using ACATS 3.0. 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 January 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
 agent@ada-auth.org.
 
+Ada 2012 compatibility:
+
+This test suite is designed for Ada 2005. In general, tests have not been
+checked for compatibility with Ada 2012 (the upcoming revision of the Ada
+Standard). As such, some tests may be incompatible with Ada 2012; please report
+any such 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.
+
+It is known the 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.
+
 Notice:
 
 The ACAA has created and maintains the Ada Conformity Assessment Test Suite for
@@ -42,12 +67,12 @@
 
 List explanation:
 
-Test numbers given are for the basic test.  Categories are "Withdrawn" (the test
-should not be processed for Ada conformity assessments); "Allowed Modification"
+Test numbers given are for the basic test.  Categories are “Withdrawn” (the test
+should not be processed for Ada conformity assessments); “Allowed Modification”
 (either the original test or the modified one should be processed for Ada
-conformity assessments); "Modified" (the modified test must be processed for Ada
-conformity assessments); "Pending New" (the test does not need to be processed
-for Ada conformity assessments, but will be added in the future); "New" (the
+conformity assessments); “Modified” (the modified test must be processed for Ada
+conformity assessments); “Pending New” (the test does not need to be processed
+for Ada conformity assessments, but will be added in the future); “New” (the
 test is processed for Ada conformity assessments).
 
 ACATS version labels are provided with all new and modified tests. Use this
@@ -258,8 +283,7 @@
 	Check that a tagged incomplete type cannot be completed with an
 	untagged type.
 
-B3A1005 [Pending New] New VCS Label:A3_0F
-			Required after 2009-07-01
+B3A1005 [New] VCS Label:A3_0F
 	Check that a primitive operation of an incomplete type declared
 	in a private part cannot be given unless the completion of the
 	private type is also in the same private part.
@@ -303,12 +327,16 @@
 	Deadlock: returns @75,83 call an entry on a task that will not be
 	activated until the return statement finishes.
 
-B431003 [Allowed Modification] New VCS Label:A3_0K Org VCS Label: A3_0
-			Required after 2009-10-01
+B431003 [Modified] VCS Label:A3_0K
 	Test cases were added to check that an aggregate that gives all
 	of the visible components (but not the hidden ones) is not
 	accepted.
 
+B433001 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Changed definition of Test_Array_2 and uses so aggregates are
+	have correct dimensionality.
+
 C433001 [Modified] VCS Label:A3_0J
 	Messages @85, 107 should refer to Second_Component and messages
 	@88, 110 should refer to Last_Component.
@@ -348,6 +376,11 @@
 B740003 [Modified] VCS Label:A3_0D
 	The error @f1-106 can also be reported @f1-104.
 
+C761006 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Rewrite test to not fail if the deallocated object is finalized
+	twice. (This is allowed by AI95-0179-1.)
+
 B831001 [Modified] VCS Label:A3_0F
 	VCS Label A3_0D: The generic @f0-82 is illegal because of
 	AI05-0073-1. "abstract" was removed from @f0-81, @f1-755, and
@@ -382,6 +415,25 @@
 	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
+	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)).
+
+B954003 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	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
+	Check that the target object of a requeue is a variable.
+
+B960001 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Fixed formatting and parameters of OK call @82.
+
 C990001 [Modified] VCS Label:A3_0B
 	Added function returning a task as an attribute prefix case from
 	C34008A.
@@ -404,16 +456,43 @@
 	Check that a type derived from a generic formal tagged type
 	inherits primitives properly in an instance.
 
+CD2B11A [Withdrawn] Org VCS Label: A3_0M
+	This test has been replaced by new test CDB0002.
+
+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
+	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.)
+
+CDB0002 [Pending New] New VCS Label:A3_0M
+			Required after 2013-04-01
+	Check that operations on values of an access type are not affected
+	if Storage_Size is specified for the type. (Updated version of
+	CD2B11A.)
 
+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.
+
+
 ===== Annex C =====
 
 BXC3002 [Modified] VCS Label:A3_0C
 	Declaration @103 is not illegal as Amendment repealed the relevant
 	rule.
 
-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.
+CXC6003 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Fixed potentially illegal test case. Now depends on ImpdefC.a.
+
+CXC7006 [Pending New] New VCS Label:A3_0M
+			Required after 2013-04-01
+	Check that package Task_Termination operates as expected.
+
 
 ===== Annex D =====
 
@@ -426,6 +505,13 @@
 	Type Is_Limited_With_Attrs @80 does not have available stream
 	attributes, but is assumed to have them.
 
+BXE2012 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Move stream attribute definitions to line 145 in the visible part
+	so that Good_Private_Type supports external streaming, as
+	intended.
+
+
 ===== Annex F =====
 
 [None.]
@@ -438,7 +524,16 @@
 
 [None.]
 
+===== Support =====
 
+IMPDEF [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Removed misleading comment @196; the following constant is not a
+	named number.
+
+IMPDEFC [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
+			Required after 2013-01-01
+	Added Minimum_Atomic_Component_Size for CXC6003.
 
 
 
@@ -449,8 +544,7 @@
 (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_3_0K.Zip and Tar files on the ACAA web site.  (Note that there is no
-separate set of files for list 3.0L, as they are unchanged.)
+Mod_3_0M.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.
@@ -477,6 +571,8 @@
 B58001A
 C38006A
 C41306A
+CD2B11A
+CD2B15C
 
 
 
@@ -484,7 +580,13 @@
 
 (Refer to the main list for details)
 
-B431003	2009-10-01
+B433001	2013-01-01
+B954003	2013-01-01
+B960001	2013-01-01
+BXE2012	2013-01-01
+CXC6003	2013-01-01
+IMPDEF	2013-01-01
+IMPDEFC	2013-01-01
 
 
 Modified Tests
@@ -495,6 +597,7 @@
 B394A03
 B394A04
 B394A05
+B431003
 B740003
 B831001
 B831002
@@ -565,6 +668,10 @@
 
 (Refer to the main list for details)
 
-None.
+B950001	2013-04-01
+B954005	2013-04-01
+CDB0001	2013-04-01
+CDB0002	2013-04-01
+CXC7006	2013-04-01
 
 

Questions? Ask the ACAA Technical Agent