CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2015/09/05 01:18:35	1.77
+++ acats/docs/mod_list.txt	2015/12/11 03:32:49	1.78
@@ -1,120 +1,58 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0H
-September 3, 2015
+Version 4.0J
+December 10, 2015
 
 
 What is this?
 
-This is the ACATS modification list for ACATS 4.0. This document includes test
-corrections, test removals, and new tests for ACATS 4.0. ACATS 4.0 is the
-current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
-(usually known as "Ada 2012").
-
-ACATS Modification List version 3.1J for ACATS 3.1 is the current list for that
-test suite. ACATS 3.1 should be used for testing implementations that support
-Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
-continue to be maintained as necessary for the foreseeable future.
-
-ACATS 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 implementations of the second
-edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will
-continue to be maintained as necessary for the foreseeable future.
+This is the ACATS modification list for ACATS 4.0. This document includes test corrections, test removals, and new tests for ACATS 4.0. ACATS 4.0 is the current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012 (usually known as "Ad
a 2012").
 
+ACATS Modification List version 3.1K for ACATS 3.1 is the current list for that test suite. ACATS 3.1 should be used for testing implementations that support Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will continue to be ma
intained as necessary for the foreseeable future.
+
+ACATS 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 implementations of the second edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will continue to be maint
ained as necessary for the foreseeable future.
+
 Changes from the last list:
+
+Note that there is no modification list 4.0I, as I can be confused with 1.
+
+Many tests changed status on October 1st, this list reflects those changes.
+
+Test C416A02 required an incorrect trace.
+
+New tests B457006, B457007, C457006, C457007, and B860001 check various syntax and resolution rules for conditional expressions.
+
+New tests C457005 and C540003 check that case statements and expressions operate properly when given values that don't meet an ignored static predicate.
 
-A number of tests changed status on July 1st, this list reflects those changes.
+New tests BD11002 and CD11001 check visibility rules for aspect specifications.
 
-Test C324003 calls a non-existent function Name in the Predicate_Failure
-messages. The function was added.
+Tests CD33001 and CD33002 were effectively renamed to CD30008 and CD30009 as the original names violate the ACATS naming conventions by referring to a non-existent subclause.
 
-New test C390012 checks that Ada.Tags.Generic_Dispatching_Constructor operates
-properly.
+New tests CXB3023 and CXB3024 check that a value of an unchecked union type can be passed to C code and used as expected.
 
-Type New_Window in test C416A02 uses the components of its parent type in the
-implementations of various routines in the package body C416A02_A. Since the
-parent type is private, these components aren't visible. The package C416A02_A
-was made a child of the foundation F416A00 to correct this problem; various
-other errors were also corrected.
-
-New tests C650A02, C650B01, C650B02, and C650B03 check that functions that
-return tagged types return objects with the appropriate tag. A new foundation
-F650B00 was created for the latter three tests.
-
-Obj52 in test B750A01 and Comp52 in test B750A02 qualified the expression to the
-wrong type.
-
-New tests B750A04, B750A05, B750A06, B750A07, B750A08, B750A09, B750A10,
-B750A011, B750A12, and B750A13 test that only legal expressions are allowed in
-various contexts for a limited type.
-
-Test CXAC008 had a message in subtest 8 that incorrectly identified the failure
-as in subtest 2.
-
-Foundation F552A00 was corrected to return a value rather than a reference for
-the Bingo_Balls example, else the use of 'Access on a component of a cursor
-fails its accessibility check.
-
-New tests posted between July 1, 2015 and September 30, 2015 will become
-required for conformity assessments on April 1, 2016. New tests posted between
-April 1, 2015 and June 30, 2015 will become required for conformity assessments
-on January 1, 2016. New tests posted between January 1, 2015 and March 31, 2015
-will become required for conformity assessments on October 1, 2015. New tests
-posted before December 31, 2014 are now required for conformity assessments. All
-tests posted to modification lists for other versions of the ACATS are included
-in ACATS 4.0 if appropriate and thus are required for conformity assessment
-using ACATS 4.0 The effective dates of tests are marked in the lists.
+New tests posted between October 1, 2015 and December 31, 2015 will become required for conformity assessments on July 1, 2016. New tests posted between July 1, 2015 and September 30, 2015 will become required for conformity assessments on April 1, 2016. 
New tests posted between April 1, 2015 and June 30, 2015 will become required for conformity assessments on January 1, 2016. New tests posted before March 31, 2015 are now required for conformity assessments. All tests posted to modification lists for othe
r versions of the ACATS are included in ACATS 4.0 if appropriate and thus are required for conformity assessment using ACATS 4.0 The effective dates of tests are marked in the lists. 
 
-Questions about this document? Contact the ACAA Technical Agent at
-agent@ada-auth.org.
+Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org.
 
 2015 Corrigendum:
 
-Beginning with ACATS Modification List 4.0B, we have included tests for
-corrections (including new features) in the upcoming 2015 Corrigendum. Most of
-these corrections have already been approved by WG 9, and those that haven't
-been are expected to be approved at their next meeting. All of these changes are
-technically corrections to Ada 2012; as such we will assume all such corrections
-are implemented for Ada 2012 compilers.
-
-Implementers can request grading modifications for any tests containing 2015
-Corrigendum changes until the Corrigendum is approved as a whole by SC22
-(expected fall 2015 meeting).
+Beginning with ACATS Modification List 4.0B, we have included tests for corrections (including new features) in the upcoming 2015 Corrigendum. All of these corrections have already been approved by WG 9. All of these changes are technically corrections to
 Ada 2012; as such we will assume all such corrections are implemented for Ada 2012 compilers.
 
 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 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:
+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”.
+
+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 Ada standard as available at
-http://www.adaic.org/resources/add-contentstandards/12rm/html/RM-TOC.html.
+These references are to the Ada standard as available at http://www.adaic.org/resources/add-contentstandards/12rm/html/RM-TOC.html.
 
 
 
@@ -129,8 +67,7 @@
 C324001 [Modified] VCS Label: A4_0E
 	Eliminated overlong lines.
 
-C324002 [Allowed Modification] New VCS Label: A4_0F Org VCS Label: A4_0
-			Required after 2015-10-01
+C324002 [Modified] VCS Label: A4_0F
 	[VCS Label A4_0E] Eliminated overlong lines.
 	[VCS Label A4_0F] Replaced last test case (qualified expressions),
 	as that check is required by the Corrigendum.
@@ -159,47 +96,40 @@
 			Required after 2016-04-01
 	Check the operation of Ada.Tags.Generic_Dispatching_Constructor.
 
-C391003 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C391003 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a type extension can be declared in
 	a more nested scope than its parent type, and that overridden
 	subprograms of that extension can be dispatched to.
 	[VCS Label A4_0E] Eliminate an overlong line.
 
-B393011 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+B393011 [New] VCS Label: A4_0D
 	Check that an abstract routine of an abstract partial view
 	overridden by a non-abstract routine in the private part requires
 	overriding when it is inherited if the private part is not visible
 	where it is inherited.
 
-C3A1003 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C3A1003 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a dereference of an
 	access-to-tagged-incomplete type can be passed as a parameter.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-C3A1004 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C3A1004 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a parameter of a tagged incomplete
 	type can be passed as a parameter.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B3A1008 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B3A1008 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a dereference of an
 	access-to-incomplete type cannot be used as a prefix.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B3A1009 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B3A1009 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a dereference of an
 	access-to-incomplete view cannot be used as a prefix. Check that
 	a parameter of an incomplete view cannot be used as a prefix.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B3A1010 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+B3A1010 [New] VCS Label: A4_0D
 	Check that a dereference of an access-to-formal incomplete type
 	cannot be used as a prefix. Check that a parameter of a tagged
 	formal incomplete type cannot be used as a prefix.
@@ -208,8 +138,7 @@
 	Check that the type of the prefix of 'Access is used to resolve
 	the expected type of the use of the attribute.
 
-B3A2017 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B3A2017 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check P'Access is not allowed in a generic body
 	if P is declared in the generic (including in the parent of a
 	child or in a formal package) and the access type is a formal
@@ -221,16 +150,15 @@
 	Check various rules associated with the specification of aspect
 	Implicit_Dereference.
 
+C415001 [Modified] VCS Label: A4_0F
+	Expression @155-6 violates 6.4.1(6.17/3).
+
 B415002 [Pending New] New VCS Label: A4_0F
 			Required after 2016-01-01
 	Check that the object denoted by a generalized reference cannot
 	be used as a variable if the discriminant has an
 	access-to-constant type.
 
-C415001 [Allowed Modification] New VCS Label: A4_0F Org VCS Label: A4_0
-			Required after 2015-10-01
-	Expression @155-6 violates 6.4.1(6.17/3).
-
 B416002 [Pending New] New VCS Label: A4_0F
 			Required after 2016-01-01
 	Check that a generalized indexing is illegal in a variable context
@@ -252,16 +180,17 @@
 	functions, with two or more parameters, and that all of those
 	functions can be used in a generalized indexing.
 
-C416A02 [Pending New] New VCS Label: A4_0H
-			Required after 2016-04-01
+C416A02 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
 	[VCS Label A4_0F] Check that the overloaded routines can be added
 	to an inherited indexing aspect and the new routines can be used
 	in a generalized indexing.
 	[VCS Label A4_0H] Correct package C416A02_A to be a child of the
 	foundation.
+	[VCS Label A4_0J] Remove .K from line @211 so test reflects
+	expected trace.
 
-C431002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C431002 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Check that a component association of others =>
 	<> in a record or extension aggregate may have any number of
 	associated components, including none. (Case 2: Null records and
@@ -279,8 +208,10 @@
 	variant, the value of the governing discriminant of a variant in
 	a record aggregate cannot be non-static.
 
-C433002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B43102A [Withdrawn] VCS Label: A4_0C
+	Replaced by B431006.
+
+C433002 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Check that no array components can be outside
 	of the index subtype for an array aggregate, even when the
 	components are specified by <>.
@@ -293,23 +224,20 @@
 	function or the expression of a return statement if the result
 	subtype of the function is unconstrained.
 
-C433003 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C433003 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Check that for each association with a box in
 	an array aggregate, the component is initialized by default
 	(scalar types with Default_Values).
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-C433004 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C433004 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Check that for each association with a box in
 	an array aggregate, the component is initialized by default
 	(array types with Default_Component_Values).
 	[VCS Label A4_0E] Object O6 @136 expects the wrong result.
 	Eliminated overlong lines.
 
-C433005 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C433005 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Check that the constraint of the constrained
 	array subtype of a function return is used to determine the
 	bounds of an array aggregate with an others choice in the
@@ -323,36 +251,60 @@
 	bounds of an array aggregate with an others choice in the
 	return expression of an expression function.
 
-B457002 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+B457002 [New] VCS Label: A4_0D
 	Check that 'others' must be last and alone in a case expression.
 
-B457003 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+B457003 [New] VCS Label: A4_0D
 	Check that 'else' cannot be omitted for an if expression if the
 	type of the expression is not a boolean type.
 
-B457004 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B457004 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that case choice coverage and staticness
 	are enforced for case expressions.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B457005 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+B457005 [New] VCS Label: A4_0D
 	Check that all or none of the dependent expressions of a
 	conditional expression can be dynamically tagged if the type of
 	the expression is a specific tagged type.
+
+C457005 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	When the selecting expression of a case expression is a name with
+	a static nominal subtype and has a static predicate, the static
+	predicate is disabled, and the value of the selecting expression
+	does not satisfy the predicate, check that the others choice is
+	returned, or, if there is no others choice, that Constraint_Error
+	is raised.
+
+B457006 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that an if expression has to be surrounded by parentheses
+	if it is not already surrounded by them.
+
+C457006 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that overloaded functions can be resolved when they appear
+	as dependent expressions in a conditional expression. Part 1:
+	Enumeration literals.
+
+B457007 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that if the type of a conditional expression is not
+	determined by the resolution rules, it is illegal.
+
+C457007 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that literals can be resolved when they appear as dependent
+	expressions in a conditional expression.
 
-B480002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B480002 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that an initialized allocator for an
 	access type with a class-wide designated type does not create an
 	object whose type is more local than the access type.
 	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
 
-B480003 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B480003 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that an uninitialized allocator for an
 	access type with a class-wide designated type does not create an
 	object whose type is more local than the access type.
@@ -361,31 +313,34 @@
 C540002 [Modified] VCS Label: A4_0E
 	Eliminated overlong lines.
 
-C550001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C540003 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	When the selecting expression of a case statement is a name with
+	a static nominal subtype and has a static predicate, the static
+	predicate is disabled, and the value of the selecting expression
+	does not satisfy the predicate, check that the others choice is
+	returned, or, if there is no others choice, that Constraint_Error
+	is raised.
+
+C550001 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check that for loops iterate properly over
 	subtypes with static predicates.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B551001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B551001 [New] VCS Label: A4_0E
 	Check legality rules for aspect Default_Iterator.
 
-B551002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B551002 [New] VCS Label: A4_0E
 	Check legality rules for aspect Iterator_Element.
 
-B552001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B552001 [New] VCS Label: A4_0E
 	Check legality rules for array component iterators from the 2015
 	Corrigendum.
 
-C552001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C552001 [New] VCS Label: A4_0E
 	Check correct operation of array component iterators.
 
-C552002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C552002 [New] VCS Label: A4_0E
 	Check correct operation of array component iterators where the
 	array has convention Fortran.
 
@@ -395,24 +350,20 @@
 C552A02 [Modified] VCS Label: A4_0E
 	Eliminated violations of ACATS lexical rules.
 
-B552A04 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B552A04 [New] VCS Label: A4_0E
 	Check legality rules for container element iterators (most of
 	the checked rules are from the 2015 Corrigendum).
 
-B552A05 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B552A05 [New] VCS Label: A4_0E
 	Check legality rules for generalized iterators from the 2015
-	Corrigendum).
+	Corrigendum.
 
-B640001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B640001 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check that abstract nondispatching operations
 	do not participate in resolution.
 	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
 
-C640002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C640002 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check that an abstract nondispatching operator
 	provides a way to eliminate an unwanted predefined operator.
 	[VCS Label A4_0E] Eliminate overlong lines.
@@ -456,20 +407,17 @@
 B730009 [Modified] VCS Label: A4_0E
 	Completion of Priv12 @131 violates 7.3(10.1/3).
 
-B730010 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B730010 [New] VCS Label: A4_0E
 	Check 7.3(10.1/3).
 
-B732001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B732001 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check various resolution and legality rules for
 	aspect Type_Invariant.
 	[VCS Label A4_0E] Length @80 should have return type Natural.
 	Changed Is_Valid to Is_Clean @95, 97, 146 so that the inherited
 	routine doesn't come into play.
 
-C732001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C732001 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that assertion checks are made after
 	assignments to and calls with actuals of appropriate view
 	conversions.
@@ -480,8 +428,7 @@
 	Check some differences between specific and class-wide type
 	invariants.
 
-C732A01 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C732A01 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that the failure of a Type_Invariant check
 	raises Assertion_Error (constrained array).
 	[VCS Label A4_0E] Eliminated overlong lines.
@@ -501,21 +448,18 @@
 	Check that the failure of a Type_Invariant check raises
 	Assertion_Error (access-to-record).
 
-B732C01 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B732C01 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that the aspect Type_Invariant can only
 	be specified on private types, private extensions, and full types
 	that complete one of the others.
 	[VCS Label A4_0E] Eliminate overlong lines.
 
-C732C01 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+C732C01 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that the failure of a Type_Invariant check
 	raises Assertion_Error (tagged record).
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-B732C02 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B732C02 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that the aspect Type_Invariant'Class can
 	only be specified on private types, private extensions, and
 	interfaces.
@@ -591,8 +535,7 @@
 C760014 [New] VCS Label: A4_0A
 	Check that Ada.Finalization is declared pure.
 
-C760015 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+C760015 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Check that a controlled type can be declared
 	within a subprogram.
 	[VCS Label A4_0E] Eliminate overlong lines.
@@ -624,8 +567,13 @@
 	class-wide operations that aren't directly declare where a
 	primitive operation would be visible.
 
-BA12017 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+B860001 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that the selecting expression of a case statement or case
+	expression cannot be resolved if information from the case choices
+	is needed to resolve it.
+
+BA12017 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check that a limited with clause is not allowed
 	on a descendant of the named package.
 	[VCS Label A4_0E] Eliminated overlong line.
@@ -633,8 +581,7 @@
 BA15003 [New] VCS Label: A4_0C
 	Check that a library unit pragma must apply to a library unit.
 
-CA21002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CA21002 [New] VCS Label: A4_0E
 	Check that Pure and Preelaborate aspects can be specified with an
 	object declared in another package.
 
@@ -643,8 +590,7 @@
 	statement, and that the message can be retrieved with
 	Exception_Message.
 
-CB30002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CB30002 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Check that the optional message parameter is
 	supported in a raise expression, and that the message can be
 	retrieved with Exception_Message.
@@ -656,8 +602,7 @@
 CC30004 [Modified] VCS Label: A4_0E
 	Eliminated overlong lines and tab characters.
 
-CC51010 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
+CC51010 [New] VCS Label: A4_0D
 	[VCS Label A4_0D] Check that a generic unit with a tagged
 	incomplete formal type can be instantiated with an incomplete view
 	of a type from a limited withed package, and that operations in
@@ -695,16 +640,42 @@
 
 CD30007 [Modified] VCS Label: A4_0E
 	Eliminated overlong lines.
+
+CD30008 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Renaming of previous test CD33001 (there is no subclause 13.3.3).
+	The test is unchanged other than renaming the units involved
+	and fixing an overlong line.
+
+CD30009 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Renaming of previous test CD33002 (there is no subclause 13.3.3).
+	The test is unchanged other than renaming the units involved
+	and fixing an overlong line.
+
+CC33001 [Withdrawn] VCS Label: A4_0J
+	Renamed to CD30008, as there is no subclause 13.3.3.
+
+CC33002 [Withdrawn] VCS Label: A4_0J
+	Renamed to CD30009, as there is no subclause 13.3.3.
+
+CD11001 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that appropriate entities are visible in an aspect
+	specification.
+
+BD11002 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that entities in the private part of a package are not
+	visible in aspect specifications given in the visible part.
 
-BDB3A01 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BDB3A01 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test resolution and legality rules for
 	pragma and aspect Default_Storage_Pool.
 	[VCS Label A4_0E] Declaration of Pool @53 is missing the TC_Id
 	discriminant.
 
-CDB3A01 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CDB3A01 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that aspect Default_Storage_Pool changes
 	the default storage pool for a generic instantiation.
 	[VCS Label A4_0E] Eliminated overlong line.
@@ -723,8 +694,7 @@
 	Check Ada.Strings.Fixed.Find_Token against rule from 2001
 	Corrigendum.
 
-CXA5016 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CXA5016 [New] VCS Label: A4_0E
 	[VCS Label A4_0C] Check operation of attribute Machine_Rounding.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
@@ -755,30 +725,25 @@
 	[VCS Label A4_0E] Eliminated overlong lines.
 	[VCS Label A4_0H] Corrected a failure message.
 
-CXAG001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CXAG001 [New] VCS Label: A4_0E
 	Check that Ada.Directories can be used to create and delete
 	directories.
 
-CXAG002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CXAG002 [New] VCS Label: A4_0E
 	Check that Ada.Directories.Hierarchical_File_Names exists and
 	works as expected.
 
-CXAH001 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CXAH001 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Test that package Environment_Variables can be
 	used to read environment variables.
 	[VCS Label A4_0E] Added missing Applicability Criteria.
 
-CXAH002 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CXAH002 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Test that package Environment_Variables can be
 	used to modify environment variables.
 	[VCS Label A4_0E] Added missing Applicability Criteria.
 
-CXAH003 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+CXAH003 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Test the two parameter Value in package
 	Environment_Variables.
 	[VCS Label A4_0E] Added missing Applicability Criteria.
@@ -797,26 +762,22 @@
 	Test that package Bounded_Hashed_Sets does not allow reverse
 	iterators.
 
-BXAI005 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BXAI005 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that package Hashed_Sets does not allow
-	direct writing of set lements.
+	direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAI006 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BXAI006 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that package Ordered_Sets does not allow
 	direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAI007 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BXAI007 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that package Bounded_Hashed_Sets does not
 	allow direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAI008 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BXAI008 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that package Bounded_Ordered_Sets does not
 	allow direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
@@ -829,14 +790,12 @@
 	Test that package Indefinite_Hashed_Set does not allow reverse
 	iterators.
 
-BXAIA03 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BXAIA03 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that package Indefinite_Hashed_Sets does
 	not allow direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAIA04 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+BXAIA04 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Test that package Indefinite_Ordered_Sets does
 	not allow direct writing of set elements.
 	[VCS Label A4_0E] Eliminated overlong lines.
@@ -878,6 +837,16 @@
 			Required after 2016-01-01
 	Check B.3.3(26/2).
 
+CXB3023 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that a value of an unchecked union type (defined with
+	pragma Unchecked_Union) can be passed to a C function.
+
+CXB3024 [Pending New] New VCS Label: A4_0J
+			Required after 2016-07-01
+	Check that a value of an unchecked union type (defined with
+	aspect Unchecked_Union) can be passed to a C function.
+
 ===== Annex C =====
 
 [None.]
@@ -919,8 +888,7 @@
 			Required after 2016-04-01
 	Foundation for tests C650B01, C650B02, and C650B03.
 
-F732A00 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+F732A00 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Foundation for test C732A01.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
@@ -933,14 +901,12 @@
 			Required after 2016-01-01
 	Foundation for tests C732B01 and C732B02.
 
-F732C00 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+F732C00 [New] VCS Label: A4_0E
 	[VCS Label A4_0D] Foundation for tests B732C01, B732C02, and
 	C732C01.
 	[VCS Label A4_0E] Eliminated overlong lines.
 
-FDB3A00 [Pending New] New VCS Label: A4_0E
-			Required after 2015-10-01
+FDB3A00 [New] VCS Label: A4_0E
 	[VCS Label A4_0B] Foundation for test BDB3A01 and CDB3A01.
 	[VCS Label A4_0E] Eliminated overlong line.
 
@@ -955,25 +921,23 @@
 	CXAG001 and CXAG002. The change is only needed for those tests,
 	it has no effect on any other tests.
 
+IMPDEF [Allowed Modification] New VCS Label: A4_0J Org VCS Label: A4_0E
+			Required after 2016-04-01
+	[VCS Label A4_0J] Added constants for the external names for the
+	imported routines in tests CXB3023 and CXB3024. The change is only
+	needed for those tests, it has no effect on any other test.
+
 
+
 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 at www.ada-auth.org.
+The official home of the ACATS test suite is the ACAA web site. The site can be accessed at www.ada-auth.org.
 
-The complete set of official new and modified tests are available in the
-Mod_4_0H.Zip and Tar files on the ACAA web site.
+The complete set of official new and modified tests are available in the Mod_4_0J.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 4.0 is available in various formats on the ACAA web site.
 
@@ -984,6 +948,8 @@
 (Refer to the main list for details)
 
 B43102A
+CD33001
+CD33002
 
 
 
@@ -993,9 +959,7 @@
 
 B750A01	2016-01-01
 B750A02	2016-01-01
-C324002	2015-10-01
-C415001	2015-10-01
-
+IMPDEF	2016-04-01 [Only needed for new tests CXB3023 and CXB3024]
 
 
 Modified Tests
@@ -1006,6 +970,8 @@
 BDD2004
 BDD2005
 C324001
+C324002
+C415001
 CXAI027
 CC30003
 CC30004
@@ -1019,22 +985,70 @@
 
 (Refer to the main list for details)
 
+B393011
+B3A1008
+B3A1009
+B3A1010
+B3A2017
 B431005
 B431006
+B457002
+B457003
+B457004
+B457005
+B480002
+B480003
+B551001
+B551002
+B552001
+B552A04
+B552A05
 B640001
 B650005
 B650006
+B730010
+B732001
+B732C01
+B732C02
+BA12017
 BA15003
 BC60001
+BDB3A01
 BXAI001
 BXAI002
 BXAI003
 BXAI004
+BXAI005
+BXAI006
+BXAI007
+BXAI008
 BXAIA01
 BXAIA02
+BXAIA03
+BXAIA04
+C391003
+C3A1003
+C3A1004
 C3A2004
+C431002
+C433002
+C433003
+C433004
+C433005
+C550001
+C552001
+C552002
+C640002
+C732001
+C732A01
+C732C01
 C760014
+C760015
+CA21002
 CB30001
+CB30002
+CC51010
+CDB3A01
 CXA5016
 CXAA021
 CXAA022
@@ -1042,37 +1056,28 @@
 CXAB003
 CXAB004
 CXAB005
+CXAG001
+CXAG002
+CXAH001
+CXAH002
+CXAH003
+F732A00
+F732C00
+FDB3A00
+
 
 
 Pending New Tests
 
 (Refer to the main list for details)
 
-B393011	2015-10-01
-B3A1008	2015-10-01
-B3A1009	2015-10-01
-B3A1010	2015-10-01
-B3A2017	2015-10-01
 B415001	2016-01-01
 B415002	2016-01-01
 B416002	2016-01-01
 B416A01	2016-01-01
 B433003	2016-01-01
-B457002	2015-10-01
-B457003	2015-10-01
-B457004	2015-10-01
-B457005	2015-10-01
-B480002	2015-10-01
-B480003	2015-10-01
-B551001	2015-10-01
-B551002	2015-10-01
-B552001	2015-10-01
-B552A04	2015-10-01
-B552A05	2015-10-01
-B730010	2015-10-01
-B732001	2015-10-01
-B732C01	2015-10-01
-B732C02	2015-10-01
+B457006	2016-07-01
+B457007	2016-07-01
 B750A04	2016-04-01
 B750A05	2016-04-01
 B750A06	2016-04-01
@@ -1087,17 +1092,11 @@
 B831005	2016-01-01
 B840002	2016-01-01
 B840003	2016-01-01
-BA12017	2015-10-01
+B860001	2016-07-01
 BC60002	2016-01-01
 BC60003	2016-01-01
 BC60004	2016-01-01
-BDB3A01	2015-10-01
-BXAI005	2015-10-01
-BXAI006	2015-10-01
-BXAI007	2015-10-01
-BXAI008	2015-10-01
-BXAIA03	2015-10-01
-BXAIA04	2015-10-01
+BD11002	2016-07-01
 BXB3001	2016-01-01
 BXB3002	2016-01-01
 BXB3003	2016-01-01
@@ -1106,54 +1105,36 @@
 C324004	2016-01-01
 C324005	2016-01-01
 C390012	2016-04-01
-C3A1003	2015-10-01
-C3A1004	2015-10-01
 C416A01	2016-01-01
-C416A02	2016-04-01
-C431002	2015-10-01
-C433002	2015-10-01
-C433003	2015-10-01
-C433004	2015-10-01
-C433005	2015-10-01
+C416A02	2016-07-01
 C433006	2016-01-01
-C550001	2015-10-01
-C552001	2015-10-01
-C552002	2015-10-01
-C640002	2015-10-01
+C457005	2016-07-01
+C457006	2016-07-01
+C457007	2016-07-01
+C540003	2016-07-01
 C650A02	2016-04-01
 C650B01	2016-04-01
 C650B02	2016-04-01
 C650B03	2016-04-01
-C732001	2015-10-01
 C732002	2016-01-01
-C732A01	2015-10-01
 C732A02	2016-01-01
 C732B01	2016-01-01
 C732B02	2016-01-01
-C732C01	2015-10-01
-C760015	2015-10-01
 C831001	2016-01-01
-CA21002	2015-10-01
-CB30002	2015-10-01
-CC51010	2015-10-01
 CC60001	2016-01-01
-CDB3A01	2015-10-01
+CD11001	2016-07-01
+CD30008	2016-07-01
+CD30009	2016-07-01
 CXA4037	2016-01-01
 CXAC008	2016-04-01
-CXAG001	2015-10-01
-CXAG002	2015-10-01
-CXAH001	2015-10-01
-CXAH002	2015-10-01
-CXAH003	2015-10-01
 CXB3019	2016-01-01
 CXB3020	2016-01-01
 CXB3021	2016-01-01
 CXB3022	2016-01-01
+CXB3023	2016-07-01
+CXB3024	2016-07-01
 F416A00	2016-01-01
 F650B00	2016-04-01
-F732A00	2015-10-01
 F732B00	2016-01-01
-F732C00	2015-10-01
-FDB3A00	2015-10-01
 
 

Questions? Ask the ACAA Technical Agent