CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2005/12/21 23:34:56	1.46
+++ acats/docs/mod_list.txt	2006/12/20 01:28:52	1.47
@@ -1,30 +1,45 @@
 ACATS Test Modification List
 
-Version 2.5M
-December 21, 2005
+Version 2.5N
+December 19, 2006
 
 
 Changes from the last list:
 
-A junk comment was removed from CC3016F.
+Test CXD8002 was modified to eliminate errors caused by rounding values down
+when converted. Test CXF2001 reports the wrong block name in a failure message
+at the end of the test. C96004A and C96007A have been modified to work for both
+Ada 95 and Ada 2005.
+
+New test C460013 has been created to check that null-excluding access
+parameters do not allow null values. This test also checks that the not null
+syntax is allowed; this syntax is now required even for Ada 95 compilers (see
+AI-447). Allowing not null in Ada 95 compilers eases transition to Ada 2005
+(access parameters and discriminants that include not null will not change
+behavior when moved to Ada 2005 compilers).
+
+It has been reported that there are a number of tests (roughly 25) that return
+limited objects that are incompatible with Ada 2005. (Specifically, 6.5(5.5/2).
+Ada 95 allows only cases that are illegal in Ada 2005, so it is impossible to
+fix these tests so that they will be compatible with both versions of Ada. As
+such, they will not be fixed in this version of the test suite (which is
+primarily targeted to Ada 95); they should be fixed in the first Ada 2005
+version of the test suite (expected in the spring). Please contact the agent
+(see below) if you need the list of affected tests (note that the ACAA has not
+confirmed that these tests are incompatible, thus we're not publishing the list
+here).
 
-The second alignment check in CD90001 should be "/=" rather than "=". A similar
-error was corrected in the first alignment check in 1997.
-
 Note that there is no version 2.5I of the list. As ISO requires with the Ada
 standard, we do not use the letters I and O in version numbers, to avoid
 confusion when reading.
+
+The ACAA would like to remind ACATS users that a base test suite update is
+planned by April 2007. This is expected to be the last Ada 95 test suite.
 
-The ACAA would like to remind ACATS users that a base test suite update is not
-planned for the near future. There has been insufficient change to the test
-suite to justify the expense of developing a new baseline. The ACAA will give
-90 days notice of a new baseline test suite, as required by the ACAA
-procedures.
-
-New tests inserted between January 1, 2006 and April 1, 2006 will become
-required for conformity assessments on October 1, 2006. No new tests were
-inserted between January 1, 2004 and January 1, 2006. New tests added to the
-ACATS before January 1, 2004 are now required for conformity assessments. The
+New tests inserted between October 1, 2006 and January 1, 2007 will become
+required for conformity assessments on July 1, 2007. No new tests were inserted
+between January 1, 2004 and October 1, 2006. New tests added to the ACATS
+before January 1, 2004 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
@@ -120,8 +135,7 @@
 	consideration AI-229.
 
 C456001 [New] VCS Label: A2_5F
-	Merged C45622A and useful parts of C45624A. C45622A will be
-	withdrawn when this test becomes effective.
+	Merged C45622A and useful parts of C45624A.
 
 C45624A [Withdrawn] VCS Label: A2_5J
 	This test is replaced by C456001.
@@ -138,6 +152,12 @@
 	Pragma Elaborate_All (Report); was added @93 in order to ensure
 	Program_Error is not during elaboration.
 
+C460013 [Pending New] New VCS Label: A2_5N
+			Required after 2007-07-01
+	Check that null excluding subtypes do not allow null values:
+	access parameters. Includes a check for the not null syntax
+	as required in Ada 95 by AI-447.
+
 B460006 [New] New VCS Label: A2_5B
 	Check that conversions between a tagged and untagged type are not
 	considered view conversions. (Technical Corrigendum 1, 4.6(5/1)).
@@ -177,6 +197,14 @@
 	before Credit_Overload.Set_True, the guard is never re-evaluated
 	and the tasks queued on Wait_for_Underload are never processed.
 
+C96004A [Allowed Modification] New VCS Label: A2_5N Org VCS Label: A2_5
+			Required after 2007-04-01
+	Adjusted so that the test will work on Ada 2005 compilers.
+
+C96007A [Allowed Modification] New VCS Label: A2_5N Org VCS Label: A2_5
+			Required after 2007-04-01
+	Adjusted so that the test will work on Ada 2005 compilers.
+
 LA20001 [Modified] VCS Label: A2_5E
 	The OPTIONAL ERROR: comment @f2-52 does not have the format
 	specified by the test suite documentation.
@@ -208,8 +236,7 @@
 BC3009C [Modified] VCS Label: A2_5C
 	Test cases checking a post-compilation rule were removed.
 
-CC3016F [Allowed Modification] New VCS Label: A2_5M Org VCS Label: A2_5
-			Required after 2006-04-01
+CC3016F [Modified] VCS Label: A2_5M
 	A junk comment line @25 was removed.
 
 CC51008 [New] New VCS Label: A2_5B
@@ -229,8 +256,7 @@
 CD72A02 [Modified] VCS Label: A2_5A
 	The test description @37-38 refers to a non-existent test.
 
-CD90001 [Allowed Modification] New VCS Label: A2_5M Org VCS Label: A2_5
-			Required after 2006-04-01
+CD90001 [Modified] VCS Label: A2_5M
 	Compare @216 should be "/=", as described in the comment. A
 	similar error @191 was fixed in 1997.
 
@@ -287,13 +313,20 @@
 	The T tasks may make their second call on the entries of Checker
 	before Checker finishes processing the first set.
 
+CXD8002 [Allowed Modification] New VCS Label: A2_5N Org VCS Label: A2_5
+			Required after 2007-04-01
+	Conversion @179 may round down, causing delay to be reported
+	as too short.
+
 ===== Annex E =====
 
 [None]
 
 ===== Annex F =====
 
-[None]
+CXF2001 [Allowed Modification] New VCS Label: A2_5N Org VCS Label: A2_5
+			Required after 2007-04-01
+	Failure message @749 reports wrong block name.
 
 ===== Annex G =====
 
@@ -322,7 +355,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_2_5M.Zip and Tar files on the ACAA web site.
+Mod_2_5N.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.
@@ -354,8 +387,10 @@
 
 (Refer to the main list for details)
 
-CC3016F	2006-04-01
-CD90001	2006-04-01
+C96004A	2007-04-01
+C96007A	2007-04-01
+CXD8002	2007-04-01
+CXF2001	2007-04-01
 
 
 Modified Tests
@@ -379,8 +414,10 @@
 C92005B
 C940004
 C954012
+CC3016F
 CD10002
 CD72A02
+CD90001
 CXB3012
 CXD4009
 CXG2018
@@ -421,6 +458,6 @@
 
 (Refer to the main list for details)
 
-[None.]
+C460013	2007-07-01
 
 

Questions? Ask the ACAA Technical Agent