CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2013/05/31 00:01:53	1.65
+++ acats/docs/mod_list.txt	2013/12/31 20:30:24	1.66
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0P
-May 30, 2013
+Version 3.0Q
+December 31, 2013
 
 
 What is this?
@@ -9,9 +9,9 @@
 corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the test
 suite for the version of Ada that became current with the approval and
 publication of Amendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007 (often known
-as "Ada 2005"). Tests for third edition of Ada, ISO/IEC 8652:2012 (usually known
-as "Ada 2012") will be added to a separate version of the test suite (to be
-created in the near future).
+as "Ada 2005"). Tests for the third edition of Ada, ISO/IEC 8652:2012 (usually
+known 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'.
@@ -22,22 +22,51 @@
 
 Changes from the last list:
 
-A number of tests added by previous lists are now required for conformity
-assessments (this means that their category is now "New").
+A number of tests added or modified by previous lists are now required for
+conformity assessments (this means that their category is now "New" or
+"Modified").
+
+Test B3A0007 has been corrected to remove a test case that violates the Binding
+Interpretation of AI05-0104-1. ACAA policy is that Binding Interpretations
+(which apply to previous versions of the language as well as Ada 2012) can be
+followed for previous Ada versions, but are not enforced until the ACATS for the
+language version that they are published in. As such, the offending test case
+has been commented out for ACATS 3.x; it will be a required error in ACATS 4.0.
+
+Binding Interpretation AI05-0163-1 makes it legal for a pragma to replace a
+statement in a sequence of statements. Tests B28001F, B28001G, B28001H, B28001I,
+B28001J, B28001K, B28001L, B28001M, B28001N, B28001O, B28001P, and B28001Q all
+check that this is illegal in various contexts. As such, they are all withdrawn.
+As noted above, ACAA policy allows this extension for ACATS 3.0 but does not
+mandate that it be implemented. (To require it be implemented would require a
+C-Test rather than the existing B-Tests, so the existing tests are valueless.)
+
+New test B730008 checks that a tagged partial view has the same interfaces for
+as its completion. New test B730009 checks that a tagged partial view can be
+synchronized if and only if the completion is a synchronized type. These two
+tests check 7.3(7.1-3/2).
+
+New test BDD2004 checks that subprograms specified for stream attributes meet
+the requirements for such subprograms.
+
+New tests CXAI001, CXAI002, CXAI003, CXAI004, CXAI005, CXAI0006, CXAIA01,
+CXAIA02, CXAIA03, CXAIA04, CXAIA05, and CXAIA06 check the basic functionality of
+each of the container packages. FXAIA00 is a foundation used by some of the new
+container tests.
 
-Test CDB0001 is corrected to eliminate a redundant test. Test CD00001 is
-corrected to add a missing comma.
-
-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 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.
+assessments using ACATS 3.0. New tests inserted between October 1, 2013 and
+December 31, 2013 will become required for conformity assessments on July 1,
+2014. New tests inserted between April 1, 2013 and July 1, 2013 will become
+required for conformity assessments on January 1, 2014. New tests inserted
+before April 1, 2013 are now required for conformity assessments. The effective
+dates of tests are marked in the lists.
+
+Note: A new ACATS version, ACATS 3.1, is planned for release before April 1,
+2014 and will be required for Ada 2005 conformity assessments after April 1,
+2014. This version will include all tests required on or before January 1, 2014.
+Tests required after that date will be modified on the initial ACATS Test
+Modification List for that test suite.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
@@ -50,23 +79,49 @@
 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
-  Ada 2012. These tests will be withdrawn or replaced in the Ada 2012 ACATS.
+* Tests B38105A, B3A1005, B3A1A01, B3A1A04, and BA11014 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;
+* 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.
+
+* Test B490001 has case limbs which require parenthesis in Ada 2012; this test
+  will be corrected in the Ada 2012 ACATS.
 
-  Tests BC54002 and BC54003 have test cases that violate the binding
+* Test BC1202C declares a formal incomplete type and expects it to be illegal;
+  it was just 31 years too early (AI05-0213-1 adds this feature to Ada). This
+  test will be removed from the Ada 2012 ACATS.
+
+* Test B65001A declares in out and out parameters for functions and expects them
+  to be illegal. AI05-0143-1 adds this feature to Ada 2012. This test will be
+  replaced in the Ada 2012 ACATS with a test that operator functions cannot have
+  in out or out parameters.
+
+* AI05-0144-2 adds checks for unsafe aliasing of parameters. These checks are
+  reported to make calls illegal in the following tests: B641001, C62003A,
+  CC3017C, CD2A21A, CD2A22A, CD2A22E, CD2A23A, CD2A24A, CD2A24E, CD2A31A,
+  CD2A32A, CD2A32E. (Note: The agent has not yet verified these errors.) The
+  tests will be replaced or removed from the Ada 2012 ACATS.
+
+* Test B3A0007 has a test case that violates the binding interpretation of
+  AI05-0104-1 which is part of Ada 2012. This case is commented out in this test
+  suite, but will be replaced as a required error in the Ada 2012 ACATS.
+
+* 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.
 
-There also are commented out Ada 2012 cases in tests B950001 and B954005.
+There also are commented out Ada 2012 subtests in tests B950001, B954005,
+BDD2004, CXAI001,  CXAI002, CXAI003, CXAI004, CXAI005, CXAI0006, CXAIA01,
+CXAIA02, CXAIA03, CXAIA04, CXAIA05, and CXAIA06 which will be replaced in the
+Ada 2012 ACATS.
 
 Notice:
 
@@ -102,7 +157,7 @@
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
 These references are to the consolidated Ada standard as available at
-http://www.adaic.com/standards/05rm/html/RM-TOC.html.
+http://www.adaic.org/resources/add-contentstandards/05rm/html/RM-TOC.html.
 
 
 
@@ -114,6 +169,66 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+B28001F [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001G [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001H [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001I [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001J [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001K [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001L [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001M [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001N [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001O [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001P [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
+B28001Q [Withdrawn] Org VCS Label: A3_0Q
+	This test checks that a pragma cannot replace a statement in a
+	sequence of statements; Binding Interpretation AI05-0163-1 allows
+	a pragma to be used in this context.
+
 C34008A [Modified] VCS Label: A3_0B
 	Revised to eliminate function V @73-76 and its uses, as it
 	attempts to return an existing object of a limited type.
@@ -163,9 +278,12 @@
 	a constant.
 
 B3A0007 [New] VCS Label: A3_0D
-	Check that a null_exclusion cannot be given in a construct
-	if the subtype mark is not an access type or if it excludes
-	null.
+        [Allowed Modification] New VCS Label: A3_0Q Org VCS Label: A3_0D
+			Required after 2014-04-01
+	VCS Label A3_0D: Check that a null_exclusion cannot be given in a
+      construct if the subtype mark is not an access type or if it
+      excludes null.
+      VCS Label A3_0Q: Allocator @158 violates AI05-0104-1 (4.8(2.2/3)).
 
 B3A0008 [New] VCS Label: A3_0D
 	Check that a null_exclusion cannot be given in a construct
@@ -389,6 +507,16 @@
 	discriminants, the parent subtype of the full view must have a
 	statically matching constraint.
 
+B730008 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check that a tagged partial view and its completion must have the
+	same set of interfaces.
+
+B730009 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check that a tagged partial view can be synchronized if and only
+	if the completion is a synchronized type.
+
 B740003 [Modified] VCS Label: A3_0D
 	The error @f1-106 can also be reported @f1-104.
 
@@ -435,8 +563,7 @@
 	formal subprogram, or prefix of 'Access to a protected entry or
 	procedure is a variable. (Tests 9.5(7.1/3)).
 
-B951002 [Pending New] New VCS Label: A3_0N
-			Required after 2013-10-01
+B951002 [New] VCS Label: A3_0N
 	Check that the current instance of a protected type is a constant
 	inside of a protected function.
 
@@ -472,21 +599,18 @@
 	Check that a type derived from a generic formal tagged type
 	inherits primitives properly in an instance.
 
-BC54002 [Allowed Modification] New VCS Label: A3_0N Org VCS Label: A3_0
-			Required after 2013-07-01
+BC54002 [Modified] VCS Label: A3_0N
 	Removed test cases Instance09 and Instance12 as they violate
 	Binding Interpretation AI05-0288-1.
 
-BC54003 [Allowed Modification] New VCS Label: A3_0N Org VCS Label: A3_0
-			Required after 2013-07-01
+BC54003 [Modified] VCS Label: A3_0N
 	Removed test cases Instance07, Instance08, Instance12, and
 	Instance14 as they violate Binding Interpretation AI05-0288-1.
 
-CD10001 [Allowed Modification] New VCS Label: A3_0P Org VCS Label: A3_0
-			Required after 2013-10-01
+CD10001 [Modified] VCS Label: A3_0P
 	VCS Label A3_0N: Assertion @274 should allow rounding up of
 	Storage_Size.
-	VCS Label A3_3P: Added missing comma in call @278.
+	VCS Label A3_0P: Added missing comma in call @278.
 
 CD2B11A [Withdrawn] Org VCS Label: A3_0M
 	This test has been replaced by new test CDB0002.
@@ -494,26 +618,93 @@
 CD2B15C [Withdrawn] Org VCS Label: A3_0M
 	This test has been replaced by new test CDB0001.
 
-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".
+CDB0001 [New] VCS Label: A3_0P
+	VCS Label A3_0N: 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.)
+      VCS Label A3_0P: Removed redundant test @85, replaced with "else".
 
 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.)
 
+BDD2004 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check that subprograms specified for stream attributes meet the
+	requirements for such subprograms.
+
 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.
 
+CXAI001 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package Ada.Containers.Vectors.
+
+CXAI002 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Doubly_Linked_Lists.
+
+CXAI003 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Hashed_Maps.
+
+CXAI004 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Ordered_Maps.
+
+CXAI005 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Hashed_Sets.
+
+CXAI006 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Ordered_Sets.
+
+FXAIA00 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Foundation containing types and values to be used to check the
+	functionality of the indefinite containers.
+
+CXAIA01 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Indefinite_Vectors.
+
+CXAIA02 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Indefinite_Doubly_Linked_Lists.
+
+CXAIA03 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Indefinite_Hashed_Maps.
+
+CXAIA04 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Indefinite_Ordered_Maps.
+
+CXAIA05 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Indefinite_Hashed_Sets.
+
+CXAIA06 [Pending New] New VCS Label: A3_0Q
+			Required after 2014-07-01
+	Check the functionality defined in package
+	Ada.Containers.Indefinite_Ordered_Sets.
+
 CXB3006 [Modified] VCS Label: A3_0J
-	Calls @258, 264 are ambigiuous because of new routines added by
+	Calls @258, 264 are ambiguous because of new routines added by
 	Ada 2005; the calls should be qualified with the wchar_array type.
 
 
@@ -577,7 +768,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_0N.Zip and Tar files on the ACAA web site.
+Mod_3_0Q.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.
@@ -598,6 +789,18 @@
 
 (Refer to the main list for details)
 
+B28001F
+B28001G
+B28001H
+B28001I
+B28001J
+B28001K
+B28001L
+B28001M
+B28001N
+B28001O
+B28001P
+B28001Q
 B38101A
 B38101B
 B38101C
@@ -613,10 +816,7 @@
 
 (Refer to the main list for details)
 
-BC54002	2013-07-01
-BC54003	2013-07-01
-CD10001	2013-10-01
-CDB0001	2013-10-01
+B3A0007	2014-04-01
 
 
 Modified Tests
@@ -635,6 +835,8 @@
 B954003
 B960001
 BA12010
+BC54002
+BC54003
 BXC3002
 BXE2009
 BXE2012
@@ -644,6 +846,8 @@
 C990001
 CA11023
 CA12001
+CD10001
+CDB0001
 CXB3006
 CXC6003
 IMPDEF
@@ -658,7 +862,7 @@
 B371001
 B3A0005
 B3A0006
-B3A0007
+B3A0007 (note: Allowed modification above)
 B3A0008
 B3A1001
 B3A1002
@@ -674,6 +878,7 @@
 B851003
 B851004
 B950001
+B951002
 B954005
 C393013
 C3A0016
@@ -702,6 +907,7 @@
 CXC7006
 F3A1A00
 F650A00
+FXAIA00
 
 
 
@@ -711,6 +917,20 @@
 (Refer to the main list for details)
 
 B730007	2014-01-01
-B951002	2013-10-01
+B730008	2014-07-01
+B730009	2014-07-01
+BDD2004	2014-07-01
 CXAA020	2014-01-01
-
+CXAI001	2014-07-01
+CXAI002	2014-07-01
+CXAI003	2014-07-01
+CXAI004	2014-07-01
+CXAI005	2014-07-01
+CXAI006	2014-07-01
+CXAIA01	2014-07-01
+CXAIA02	2014-07-01
+CXAIA03	2014-07-01
+CXAIA04	2014-07-01
+CXAIA05	2014-07-01
+CXAIA06	2014-07-01
+FXAIA00	2014-07-01

Questions? Ask the ACAA Technical Agent