CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2014/01/31 05:08:07	1.67
+++ acats/docs/mod_list.txt	2014/02/27 04:48:45	1.68
@@ -1,163 +1,46 @@
-ACATS Test Modification List for ACATS 3.0
-Version 3.0Q
-December 31, 2013
+ACATS Test Modification List for ACATS 3.1
+Version 3.1A
+April 1, 2014
 
 
 What is this?
 
-This the ACATS test modification list for ACATS 3.0. This document includes test
-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 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'.
-
-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.
+This the ACATS test modification list for ACATS 3.1. This document includes test corrections, test removals, and new tests for ACATS 3.1. ACATS 3.1 is the current test suite for the version of Ada that became current with the approval and publication of A
mendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007 (often known 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).
 
+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:
+
+This is the first list for ACATS 3.1.
+
+14 new tests issued too late to be included in ACATS 3.1 are carried over to this list: B730008, B730009, CXAI001, CXAI002, CXAI003, CXAI004, CXAI005, CXAI006, CXAIA01, CXAIA02, CXAIA03, CXAIA04, CXAIA05, CXAIA06, as well as the foundation for 6 of those 
tests, FXAIA00.
 
-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.
-
-New tests that originated in the ACATS 3.0 release are required for conformity
-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 April 1, 2014.
-Tests required after that date will be modified on the initial ACATS Test
-Modification List for that test suite.
+Previously new test BDD2004 is reissued with this list to correct errors.
 
-Questions about this document? Contact the ACAA Technical Agent at
-agent@ada-auth.org.
+New tests inserted between January 1, 2014 and March 31, 2014 will become required for conformity assessments on October 1, 2014. New tests inserted between October 1, 2013 and December 31, 2013 will become required for conformity assessments on July 1, 2
014. All other tests previously inserted into ACATS 3.0 are part of ACATS 3.1 and are required for conformity assessment. 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 third edition 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.
-
-* 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;
-  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,
-  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.
-
-* 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 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.
+This test suite is designed for Ada 2005. The soon-to-released ACATS 4.0 should be used to test Ada 2012 implementations. There are a significant number of tests in ACATS 3.1 that are incompatible with the requirements of Ada 2012.
 
 Notice:
 
-The ACAA has created and maintains the Ada Conformity Assessment Test Suite for
-the purpose of conformity assessments conducted in accordance with the
-International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language
-processor. This test suite should not be used to make claims of conformance
-unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
+The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language processor. This test sui
te should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
 
 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” (either the original test or the modified one should be processed for Ada conformity assessmen
ts); “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 as
sessments).
+
+ACATS version labels are provided with all new and modified tests. Use this label to retrieve the test from the ACATS VCS. See “How to get new and modified tests”.
 
-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
-test is processed for Ada conformity assessments).
-
-ACATS version labels are provided with all new and modified tests. Use this
-label to retrieve the test from the ACATS VCS. See “How to get new and modified
-tests”.
-
-In citations, line numbers are given relative to the start of a test file in the
-format of '@<line#,line#,...>'; if a test program comprises more than one file,
-then the particular file will be indicated by "fn", where "n" is the
-test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... "
-denotes test file b38103e1.ada. In cases where there are two or more rationales
-for different errors in a test program, these different rationales with their
-respective line citations are listed on separate lines.  References to the Ada
-standards are given in the format:
+In citations, line numbers are given relative to the start of a test file in the format of '@<line#,line#,...>'; if a test program comprises more than one file, then the particular file will be indicated by "fn", where "n" is the test-program name's file-
designator numeral.  E.g., "B38103E : @f1-31, ... " denotes test file
+b38103e1.ada. In cases where there are two or more rationales for different errors in a test program, these different rationales with their respective line citations are listed on separate lines.  References to the Ada standards are given in the format:
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the consolidated Ada standard as available at
-http://www.adaic.org/resources/add-contentstandards/05rm/html/RM-TOC.html.
+These references are to the consolidated Ada standard as available at http://www.adaic.org/resources/add-contentstandards/05rm/html/RM-TOC.html.
 
 
 
@@ -169,558 +52,89 @@
 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.
-
-B371001 [New] VCS Label: A3_0D
-	Replaces the previous B371001 to include checks for the rule
-	improvements of AI05-0041-1.
-
-C38006A [Withdrawn] Org VCS Label: A3_0C
-	This test has been replaced by new test C3A0016.
-
-B38101A [Withdrawn] Org VCS Label: A3_0D
-	This test has been replaced by new test B3A1001.
-
-B38101B [Withdrawn] Org VCS Label: A3_0D
-	This test has been replaced by new test B3A1001.
-
-B38101C [Withdrawn] Org VCS Label: A3_0D
-	This test has been replaced by new test B3A1002.
-
-C393013 [New] VCS Label: A3_0D
-	Check that functions with controlling results are automatically
-	inherited correctly for null type extensions.
-
-B394A02 [Modified] VCS Label: A3_0D
-	Revised to add "B394A02." @121 in front of Interf01 so that legal
-	type is used.
-
-B394A03 [Modified] VCS Label: A3_0G
-	Decls @78,108 must be synchronized instead of limited; they
-	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
-
-B394A04 [Modified] VCS Label: A3_0G
-	Decls @76,106 must be synchronized instead of limited; they
-	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
-
-B394A05 [Modified] VCS Label: A3_0G
-	Decls @78,108 must be synchronized instead of limited; they
-	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
-
-B3A0005 [New] VCS Label: A3_0D
-	Check that a dereference of an anonymous access-to-constant type
-	is a constant.
-
-B3A0006 [New] VCS Label: A3_0D
-	Check that an anonymous access-to-variable type cannot designate
-	a constant.
-
-B3A0007 [New] VCS Label: A3_0D
-        [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
-	if the subtype mark is a generic formal type that excludes
-	null.
-
-C3A0016 [New] VCS Label: A3_0C
-	Check that a constant access-to-variable value can be used to
-	modify the designated object. This test adds general access and
-	anonymous access test cases, and as such is no longer a legacy
-	test.
-
-C3A0017 [New] VCS Label: A3_0C
-	Check that anonymous access-to-subprograms can be used in many
-	contexts, and that the associated function can be called.
-
-C3A0018 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that anonymous access-to-protected
-	subprograms can be used in many contexts, and that the associated
-	subprogram can be called.
-	VCS Label A3_0E: The wrong routine is returned @126; "protected"
-	is missing @123; @307 needs a call of Set_Factor.
-
-C3A0019 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access type.
-	Case A: null exclusion given at point of use for a general access
-	type.
-	VCS Label A3_0E: @408 must be initialized with Aux'Access.
-
-C3A0020 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access type.
-	Case B: null exclusion given in a subtype of a general access
-	type.
-	VCS Label A3_0E: @404 must be initialized with Aux'Access.
-
-C3A0021 [New] VCS Label: A3_0F
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access type.
-	Case C: null exclusion given in a general access type declaration.
-	VCS Label A3_0E: @427 must be initialized with Aux'Access.
-	VCS Label A3_0F: @409 and 432 must be initialized with Aux'Access.
-
-C3A0022 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access type.
-	Case D: null exclusion given at point of use for a pool-specific
-	access type.
-	VCS Label A3_0E: @407 must be initialized with Non_Null_Init.
-
-C3A0023 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access type.
-	Case E: null exclusion given in a subtype of a pool-specific
-	access type.
-	VCS Label A3_0E: @402 must be initialized with Non_Null_Init.
-
-C3A0024 [New] VCS Label: A3_0F
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access type.
-	Case F: null exclusion given in a pool-specific access type
-	declaration.
-	VCS Label A3_0E: @393 must be initialized with Non_Null_Init.
-	VCS Label A3_0F: @379 and 398 must be initialized with
-	Non_Null_Init.
-
-C3A0025 [New] VCS Label: A3_0G
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding anonymous
-	access-to-object type.
-	VCS Label A3_0E: @334 must be initialized with Aux'Access.
-	VCS Label A3_0G: Corrected a spelling error in the test objective.
-
-C3A0026 [New] VCS Label: A3_0G
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding anonymous
-	access-to-subprogram type.
-	VCS Label A3_0E: Expressions @385 and @407 fail accessibility
-	check. @406 must be initialized with Double'Access.
-	VCS Label A3_0G: Corrected a spelling error in the test objective.
-
-C3A0027 [New] New VCS Label: A3_0G
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding anonymous
-	access-to-protected-subprogram type.
-	VCS Label A3_0E: Expressions @393 and @416 fail accessibility
-	check. @415 must be initialized with PO.Double'Access.
-	VCS Label A3_0G: Corrected a spelling error in the test objective.
-
-C3A0028 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access-to-subprogram type.
-	VCS Label A3_0E: @409 must be initialized with Double'Access.
-
-C3A0029 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that Constraint_Error is raised when a
-	null access value is converted to a null excluding subtype of a
-	named access-to-protected-subprogram type.
-	VCS Label A3_0E: @420 must be initialized with PO.Double'Access.
-
-B3A1001 [New] VCS Label: A3_0D
-	Check that an incomplete type must be completed, and must be
-	completed in the same declaration list unless it is given
-	in the private part of a package.
-
-B3A1002 [New] VCS Label: A3_0D
-	Check that an incomplete type must be completed, and must be
-	completed in the same declaration list unless it is given
-	in the private part of a package – generic package cases.
-
-B3A1003 [New] VCS Label: A3_0E
-	VCS Label A3_0D: Check that an incomplete type cannot be
-	completed by another incomplete type, a private type, a
-	private extension, or a subtype.
-	VCS Label A3_0E: Allow errors @110 and @111.
-
-B3A1004 [New] VCS Label: A3_0D
-	Check that a tagged incomplete type cannot be completed with an
-	untagged type.
-
-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.
-
-F3A1A00 [New] VCS Label: A3_0D
-	Foundation providing types to be accessed as a limited view
-	in order to test the usage of incomplete views.
-
-B3A1A01 [New] VCS Label: A3_0F
-	VCS Label A3_0D: Check that an untagged incomplete view cannot be
-	used as the subtype mark of a parameter, and that any incomplete
-	view cannot be used as the subtype mark of the result of a
-	function.
-	VCS Label A3_0F: @140 should be named Acc11; @142 Acc12; @144
-	Acc13; and @146 Acc14. @162-173 should be removed as they
-	violate 3.10.1(9.3/2).
-
-B3A1A02 [New] VCS Label: A3_0G
-	VCS Label A3_0D: Check that an incomplete view cannot be used in
-	the subtype indication of an object declaration, component
-	declaration, or allocator.
-	VCS Label A3_0G: Corrected test objective.
-
-B3A1A03 [New] VCS Label: A3_0G
-	VCS Label A2_0D: Check that an incomplete view cannot be used in
-	a use type clause.
-	VCS Label A3_0G: Corrected test objective.
-
-B3A1A04 [New] VCS Label: A3_0F
-	Check that a tagged incomplete view cannot be used as the prefix
-	of the Class attribute used in a context that does not allow a
-	tagged incomplete view.
-
-C413006 [New] VCS Label: A3_0B
-	Created test from ashes of C41306A, including additional test
-	cases for completeness. A new test is needed as Ada 95 and Ada
-	2005 features must be used; the result is not a legacy test in
-	any way.
-
-C41306A [Withdrawn] Org VCS Label: A3_0B
-	Deadlock: returns @75,83 call an entry on a task that will not be
-	activated until the return statement finishes.
-
-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 [Modified] VCS Label: A3_0M
-	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.
-
-B58001A [Withdrawn] Org VCS Label: A3_0C
-	This test has been replaced by new test B650004.
-
-C650002 [New] VCS Label: A3_0C
-	Check that a return statement that applies to an entry body
-	or accept statement completes the body or statement.
-
-C650003 [New] VCS Label: A3_0G
-	VCS Label A3_0C: Try various ways to complete an extended return
-	statement.
-	VCS Label A3_0G: Corrected test objective.
-
-B650004 [New] VCS Label: A3_0C
-	Test that return statements cannot be in a non-callable body,
-	even when inside of a callable construct. This tests adds
-	many test cases to those in B58001A, including those for
-	extended return statements; it no longer is a legacy test for
-	that reason.
-
-F650A00 [New] VCS Label: A3_0E
-	VCS Label A3_0C: Foundation providing a limited tagged type
-	hierarchy for extended return tests.
-	VCS Label A3_0E: Eliminated illegal reference to Time component
-	@150.
-
-C650A01 [New] VCS Label: A3_0E
-	VCS Label A3_0C: Check that Constraint_Error is raised if the
-	result of an anonymous access-to-specific-tagged does not have
-	the correct tag.
-	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.
-
-B730008 [Pending New] New VCS Label: A3_0Q
+B730008 [Pending New] New VCS Label: A3_1A
 			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
+B730009 [Pending New] New VCS Label: A3_1A
 			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.
-
-C761006 [Modified] VCS Label: A3_0M
-	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
-	@f1-846.
-	VCS Label A3_0F: The rename @f1-408-9 depends on a previously
-	incorrect declaration @f1-382.
-
-B831002 [Modified] VCS Label: A3_0D
-	The declaration @309 has the wrong name (should be G) and profile
-	(Gfu should have a Boolean parameter).
-
-C851001 [New] VCS Label: A3_0E
-	Check that when renaming an object that excludes null, the
-	renamed object still excludes null even if the
-	renaming_declaration does not include a null_exclusion.
-
-B851002 [New] VCS Label: A3_0E
-	Check that the resolution and legality rules are enforced for
-	renaming of anonymous access-to-object types.
-
-C851002 [New] VCS Label: A3_0E
-	For an object renaming with an anonymous access type, check that
-	the name is resolved if there is only one interpretation with a
-	correct anonymous access type, even if other interpretations
-	exist.
-
-B851003 [New] VCS Label: A3_0E
-	Check that the resolution and legality rules are enforced for
-	renaming of anonymous access-to-subprogram types.
-
-B851004 [New] VCS Label: A3_0E
-	Check that the legality rules for renamings that include a
-	null_exclusion are enforced.
-
-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)).
-
-B951002 [New] VCS Label: A3_0N
-	Check that the current instance of a protected type is a constant
-	inside of a protected function.
-
-B954003 [Modified] VCS Label: A3_0M
-	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 [New] VCS Label: A3_0M
-	Check that the target object of a requeue is a variable.
-
-B960001 [Modified] VCS Label: A3_0M
-	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.
-
-CA11023 [Modified] VCS Label: A3_0J
-	VCS Label A3_0C: @f2-190 should be Dept2 rather than Dept1.
-	"Return False;" should be added @f2-116.
-	VCS Label A3_0J: The main subprogram should be named CA110232
-	based on the conventions given in the ACATS User's Guide.
-
-CA12001 [Modified] VCS Label: A3_0J
-	The main subprogram should be named CA120012
-	based on the conventions given in the ACATS User's Guide.
-
-BA12010 [Modified] VCS Label: A3_0D
-	The limited with @f4-67 is illegal by 10.1.2(21/2), which is
-	not the intent expressed by the error comment.
-
-CC30003 [New] VCS Label: A3_0F
-	Check that a type derived from a generic formal tagged type
-	inherits primitives properly in an instance.
-
-BC54002 [Modified] VCS Label: A3_0N
-	Removed test cases Instance09 and Instance12 as they violate
-	Binding Interpretation AI05-0288-1.
-
-BC54003 [Modified] VCS Label: A3_0N
-	Removed test cases Instance07, Instance08, Instance12, and
-	Instance14 as they violate Binding Interpretation AI05-0288-1.
-
-CD10001 [Modified] VCS Label: A3_0P
-	VCS Label A3_0N: Assertion @274 should allow rounding up of
-	Storage_Size.
-	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.
-
-CD2B15C [Withdrawn] Org VCS Label: A3_0M
-	This test has been replaced by new test CDB0001.
-
-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
+BDD2004 [Pending New] New VCS Label: A3_1A
+			Required after 2014-10-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.
+	requirements for such subprograms. This version corrects the
+	location of 'Class @230, 235, 240.
 
-CXAI001 [Pending New] New VCS Label: A3_0Q
+CXAI001 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package Ada.Containers.Vectors.
 
-CXAI002 [Pending New] New VCS Label: A3_0Q
+CXAI002 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Doubly_Linked_Lists.
 
-CXAI003 [Pending New] New VCS Label: A3_0Q
+CXAI003 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Hashed_Maps.
 
-CXAI004 [Pending New] New VCS Label: A3_0Q
+CXAI004 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Ordered_Maps.
 
-CXAI005 [Pending New] New VCS Label: A3_0Q
+CXAI005 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Hashed_Sets.
 
-CXAI006 [Pending New] New VCS Label: A3_0Q
+CXAI006 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Ordered_Sets.
 
-FXAIA00 [Pending New] New VCS Label: A3_0Q
+FXAIA00 [Pending New] New VCS Label: A3_1A
 			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
+CXAIA01 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Indefinite_Vectors.
 
-CXAIA02 [Pending New] New VCS Label: A3_0Q
+CXAIA02 [Pending New] New VCS Label: A3_1A
 			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
+CXAIA03 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Indefinite_Hashed_Maps.
 
-CXAIA04 [Pending New] New VCS Label: A3_0Q
+CXAIA04 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Indefinite_Ordered_Maps.
 
-CXAIA05 [Pending New] New VCS Label: A3_0Q
+CXAIA05 [Pending New] New VCS Label: A3_1A
 			Required after 2014-07-01
 	Check the functionality defined in package
 	Ada.Containers.Indefinite_Hashed_Sets.
 
-CXAIA06 [Pending New] New VCS Label: A3_0Q
+CXAIA06 [Pending New] New VCS Label: A3_1A
 			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 ambiguous 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.
 
-CXC6003 [Modified] VCS Label: A3_0M
-	Fixed potentially illegal test case. Now depends on ImpdefC.a.
-
-CXC7006 [New] VCS Label: A3_0M
-	Check that package Task_Termination operates as expected.
-
+[None.]
 
 ===== Annex D =====
 
@@ -729,15 +143,7 @@
 
 ===== Annex E =====
 
-BXE2009 [Modified] VCS Label: A3_0C
-	Type Is_Limited_With_Attrs @80 does not have available stream
-	attributes, but is assumed to have them.
-
-BXE2012 [Modified] VCS Label: A3_0M
-	Move stream attribute definitions to line 145 in the visible part
-	so that Good_Private_Type supports external streaming, as
-	intended.
-
+[None.]
 
 ===== Annex F =====
 
@@ -753,36 +159,20 @@
 
 ===== Support =====
 
-IMPDEF [Modified] VCS Label: A3_0M
-	Removed misleading comment @196; the following constant is not a
-	named number.
+[None.]
 
-IMPDEFC [Modified] VCS Label: A3_0M
-	Added Minimum_Atomic_Component_Size for CXC6003.
 
+How to get new and modified tests:
 
+The official home of the ACATS test suite is the ACAA web site. The site can be accessed from the Compilers and Conformance section of the Ada IC web site (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
-How to get new and modified tests:
+The complete set of official new and modified tests are available in the Mod_3_1A.Zip and Tar files on the ACAA web site.
 
-The official home of the ACATS test suite is the ACAA web site. The site can be
-accessed from the Compilers and Conformance section of the Ada IC web site
-(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_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.
-Select the revision you want (usually the most recent) and it will be retrieved
-for you. Tests are stored in directories that correspond to the test’s prefix.
-For instance, the test CD92001.A will be found in the CD directory. You can also
-browse the differences between versions of a test. [In case of a conflict, the
-files in the ACATS VCS should be considered the 'official' versions.]
+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. Select the revision you want (usually the most recent) and it will be retrieved for you. Tests are 
stored in directories that correspond to the test’s prefix. For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences between versions of a test. [In case of a conflict, the files in the ACATS VCS should be con
sidered the 'official' versions.]
 
-If you cannot get the files from the official site or you cannot get the files
-in a format appropriate for your processor, please contact your ACAL.
+If you cannot get the files from the official site or you cannot get the files in a format appropriate for your processor, please contact your ACAL.
 
-The baseline ACATS 3.0 is available in various formats on the ACAA web site.
+The baseline ACATS 3.1 is available in various formats on the ACAA web site.
 
 Summary lists:
 
@@ -790,26 +180,7 @@
 
 (Refer to the main list for details)
 
-B28001F
-B28001G
-B28001H
-B28001I
-B28001J
-B28001K
-B28001L
-B28001M
-B28001N
-B28001O
-B28001P
-B28001Q
-B38101A
-B38101B
-B38101C
-B58001A
-C38006A
-C41306A
-CD2B11A
-CD2B15C
+None.
 
 
 
@@ -817,41 +188,14 @@
 
 (Refer to the main list for details)
 
-B3A0007	2014-04-01
+None.
 
 
 Modified Tests
 
 (Refer to the main list for details)
 
-B394A02
-B394A03
-B394A04
-B394A05
-B431003
-B433001
-B740003
-B831001
-B831002
-B954003
-B960001
-BA12010
-BC54002
-BC54003
-BXC3002
-BXE2009
-BXE2012
-C34008A
-C433001
-C650003
-C990001
-CA11023
-CA12001
-CD10001
-CXB3006
-CXC6003
-IMPDEF
-IMPDEFC
+None.
 
 
 
@@ -859,54 +203,7 @@
 
 (Refer to the main list for details)
 
-B371001
-B3A0005
-B3A0006
-B3A0007 (note: Allowed modification above)
-B3A0008
-B3A1001
-B3A1002
-B3A1003
-B3A1004
-B3A1005
-B3A1A01
-B3A1A02
-B3A1A03
-B3A1A04
-B650004
-B851002
-B851003
-B851004
-B950001
-B951002
-B954005
-C393013
-C3A0016
-C3A0017
-C3A0018
-C3A0019
-C3A0020
-C3A0021
-C3A0022
-C3A0023
-C3A0024
-C3A0025
-C3A0026
-C3A0027
-C3A0028
-C3A0029
-C413006
-C650002
-C650003
-C650A01
-C851001
-C851002
-CC30003
-CDB0001
-CDB0002
-CXC7006
-F3A1A00
-F650A00
+None.
 
 
 
@@ -915,11 +212,9 @@
 
 (Refer to the main list for details)
 
-B730007	2014-01-01
 B730008	2014-07-01
 B730009	2014-07-01
-BDD2004	2014-07-01
-CXAA020	2014-01-01
+BDD2004	2014-10-01
 CXAI001	2014-07-01
 CXAI002	2014-07-01
 CXAI003	2014-07-01

Questions? Ask the ACAA Technical Agent