CVS difference for acats/docs/mod_list.txt
--- acats/docs/mod_list.txt 2002/07/23 01:13:36 1.36
+++ acats/docs/mod_list.txt 2003/03/15 04:14:08 1.37
@@ -1,29 +1,62 @@
ACATS Test Modification List
-Version 2.5C
-July 22, 2002
+Version 2.5D
+March 14, 2003
Changes from the last list:
-Test C761010 has been improved to avoid calling Report.Comment after
-Report.Result. (This is defined to be non-conforming behavior by the ACATS
-documentation.)
-
-Test BC3009C was changed to include only the direct instantiation of "self"
-(this is illegal because "self" isn't generic within the unit). New L-Tests
-(LC30001, LC30002, LC30003) were added to check the main, post- compilation
-rule across library units. This is more user-oriented (as recursive
-instantiation is much more likely to occur in separate library units than in
-one unit), and properly handles the post-compilation rule.
-
-New tests inserted between July 1, 2002 and October 1, 2002 will become
-required for conformity assessments on April 1, 2003. New tests inserted
-between April 1, 2002 and July 1, 2002 will become required for conformity
-assessments on January 1, 2003. New tests added to the ACATS before January 1,
-2002 are now required for conformity assessments. The effective dates of tests
-are marked in the lists.
+As two quarters have passed, a number of tests have changed categories (check
+the lists for details).
+B34005Q, B34005T, C34005P, and C34005V all contain type conversions prohibited
+by the recently approved AI-246. These conversions and supporting code have
+been removed from the tests.
+
+Test B36201A checks that 'First, etc. cannot be used on unconstrained arrays.
+Several of the subtests use 'Base on a constrained array subtype to produce an
+unconstrained array subtype. However, since 'Base is not defined for composite
+types in Ada 95, these subtests are not checking the test objective. They have
+been removed.
+
+C940004 contains a race condition, in that Task3 can become queued on the
+'printer' before Task2. Code has been added to insure that Task2 is queued
+before proceeding.
+
+Test C954012 contains a termination bug and a race condition. The termination
+bug is that both conditions need to be False before Report.Result is called,
+but the test author used "and" rather than "or" in the while loop. The test
+deadlocks if all of the tasks have been processed through Distributor.Input
+before Credit_Overload.Set_True is called, because then the guard is never
+re-evaluated and the tasks queued on Wait_for_Underload are never processed. To
+solve this problem, an extra entry was added to Distributor, and Line_Driver
+was modified to call it once Credit_Overloaded becomes False.
+
+CD10002 was corrected to derive the correct types on lines 465-6. These types
+are commented to be "indirect" derivations, yet they are identical to the
+derivations above them. The types were supposed to be Nt10 and Nt11.
+
+Test BDE0009 and BDE0010 are new tests that check the freezing rules clarified
+by AI-0106 and subsequently issued in Technical Corrigendum 1.
+
+Test BXH4003 assumed that instantiations of Enumeration_IO and Integer_IO are
+illegal by H.4(8/1). However, since we do not know the contents of these
+packages, we cannot know if they are really illegal. They have been replaced by
+generic packages with library-level allocators so that the instantiations are
+known to be illegal.
+
+The ACAA would like to remind ACATS users that a base test suite update is not
+planned for 2003. There has been insufficient change to the test suite to
+justify the expensive of developing a new baseline. The ACAA will give 90 days
+notice of a new baseline test suite, as required by the ACAA procedures.
+
+New tests inserted between January 1, 2003 and April 1, 2003 will become
+required for conformity assessments on October 1, 2003. New tests inserted
+between July 1, 2002 and October 1, 2002 will become required for conformity
+assessments on April 1, 2003. New tests added to the ACATS before July 1, 2002
+are now required for conformity assessments. The effective dates of tests are
+marked in the lists.
+
Questions about this document? Contact the ACAA Technical Agent at
agent@ada-auth.org.
@@ -63,38 +96,53 @@
Name Category Version label (effective date; old version label)
Short description.
+
+B34005Q [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ Type conversions @141, 142 are illegal by AI-246.
+
+B34005T [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ Type conversions @152, 153 are illegal by AI-246.
+
+C34005P [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ Type conversions @282, 286, 291 are illegal by AI-246.
+
+C34005V [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ Type conversions @388, 391, 392 are illegal by AI-246.
+
+B36201A [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ The Base attribute @70, 71, 72, 81 is illegal (the prefix is not
+ scalar), and thus cases do not check the test objective.
-C380001 [Pending New] New VCS Label: A2_5B
- Required after 2003-01-01
+C380001 [New] New VCS Label: A2_5B
Check that checks are made properly when a per-object expression
contains an attribute whose prefix denotes the current instance of
the type (Technical Corrigendum 1, 3.8(18/1)).
-C380002 [Pending New] New VCS Label: A2_5B
- Required after 2003-01-01
+C380002 [New] New VCS Label: A2_5B
Check that an expression in a per-object discriminant constraint
which is part of a named association is evaluated once for each
association. (Technical Corrigendum 1, 3.8(18.1/1)).
-C380003 [Pending New] New VCS Label: A2_5B
- Required after 2003-01-01
+C380003 [New] New VCS Label: A2_5B
Check that per-object expressions are evaluated as specified for
- protected components (Technical Corrigendum 1, 3.6(22/1),
- 3.8(18/1)).
+ protected components (Technical Corrigendum 1, 3.6(22/1),
+ 3.8(18/1)).
-C380004 [Pending New] New VCS Label: A2_5B
- Required after 2003-01-01
+C380004 [New] New VCS Label: A2_5B
Check that per-object expressions are evaluated as specified for
- entry families and protected components (Technical Corrigendum 1,
- 3.6(22/1), 3.8(18/1)).
+ entry families and protected components (Technical Corrigendum 1,
+ 3.6(22/1), 3.8(18/1)).
-C390010 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
- Required after 2002-10-01
+C390010 [Modified] VCS Label: A2_5B
Pragma Elaborate_All (Report); was added @49 in order to ensure
Program_Error is not during elaboration.
-C3A2003 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
- Required after 2002-10-01
+C3A2003 [Modified] VCS Label: A2_5B
Pragma Elaborate_All (Report); was added @92 in order to ensure
Program_Error is not during elaboration.
@@ -102,18 +150,15 @@
Commented out subtest at @145, as it conflicts with the under
consideration AI-229.
-C460002 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
- Required after 2002-10-01
+C460002 [Modified] VCS Label: A2_5B
Pragma Elaborate_All (Report); was added @93 in order to ensure
Program_Error is not during elaboration.
-B460006 [Pending New] New VCS Label: A2_5B
- Required after 2003-01-01
+B460006 [New] New VCS Label: A2_5B
Check that conversions between a tagged and untagged type are not
- considered view conversions. (Technical Corrigendum 1, 4.6(5/1)).
+ considered view conversions. (Technical Corrigendum 1, 4.6(5/1)).
-C761010 [Allowed Modification] New VCS Label: A2_5C Org VCS Label: A2_5
- Required after 2003-01-01
+C761010 [Modified] VCS Label: A2_5C
Type TC_Control and related items were added to prevent
Report.Comment from being called after Report.Result.
@@ -127,8 +172,7 @@
the subprogram is frozen, and it renames the subprogram itself.
(Technical Corrigendum 1, 8.5.4(5/1)).
-C854002 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
- Required after 2002-10-01
+C854002 [Modified] VCS Label: A2_5B
Pragma Elaborate_All (Report); was added @83 in order to ensure
Program_Error is not raised during elaboration.
@@ -137,6 +181,16 @@
if it occurs before the subprogram is frozen. (Technical
Corrigendum 1, 8.5.4(5/1)).
+C940004 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ Task3 can legally be queued before Task2, leading to test failure.
+
+C954012 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
+ Required after 2003-07-01
+ If all of the tasks have been processed through Distributor.Input
+ before Credit_Overload.Set_True, the guard is never re-evaluated
+ and the tasks queued on Wait_for_Underload are never processed.
+
LC30001 [Pending New] New VCS Label: A2_5C
Required after 2003-04-01
Check that a partition containing recursive instantiation cannot
@@ -152,12 +206,10 @@
Check that a partition containing recursive instantiation cannot
be executed (three levels).
-BC3009C [Allowed Modification] New VCS Label: A2_5C Org VCS Label: A2_5
- Required after 2003-01-01
+BC3009C [Modified] VCS Label: A2_5C
Test cases checking a post-compilation rule were removed.
-CC51008 [Pending New] New VCS Label: A2_5B
- Required after 2003-01-01
+CC51008 [New] New VCS Label: A2_5B
Check that operations are inherited for a formal derived type
whose ancestor is also a formal type as described in the
standard as modified by TC1. (Technical Corrigendum 1,
@@ -168,6 +220,10 @@
representation items are not. Corrigendum 7.3(5), 13.1(10),
13.1(11/1).
+CD10002 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5A
+ Required after: 2003-07-01
+ Type derivations @465-6 are not indirect as commented.
+
CD72A02 [Modified] VCS Label: A2_5A
The test description @37-38 refers to a non-existent test.
@@ -199,6 +255,15 @@
FDD2A00 [New] New VCS Label: A2_5A
Foundation for stream attribute tests.
+BDE0009 [Pending New] New VCS Label: A2_5D
+ Required after 2003-10-01
+ Check that implicit calls are freezing.
+
+BDE0010 [Pending New] New VCS Label: A2_5C
+ Required after 2003-10-01
+ Check that implicit_derefences, object names, and implicit
+ conversions are freezing.
+
===== Annex C =====
[None]
@@ -221,7 +286,11 @@
===== Annex H =====
-[None]
+BXH4003 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5A
+ Required after: 2003-07-01
+ The instantiations @158, 167, 187, 197 are not necessarily illegal
+ by H.4(8/1).
+
@@ -233,7 +302,7 @@
(www.adaic.org). It also can be accessed directly at www.ada-auth.org.
The complete set of official new and modified tests are available in the
-Mod_2_5C Zip and Tar files on the ACAA web site.
+Mod_2_5D 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.
@@ -263,12 +332,15 @@
(Refer to the main list for details)
-BC3009C 2003-01-01
-C390010 2002-10-01
-C3A2003 2002-10-01
-C460002 2002-10-01
-C761010 2003-01-01
-C854002 2002-10-01
+B34005Q 2003-07-01
+B34005V 2003-07-01
+B36201A 2003-07-01
+BXH4003 2003-07-01
+C34005P 2003-07-01
+C34005V 2003-07-01
+C940004 2003-07-01
+C954012 2003-07-01
+CD10002 2003-07-01
Modified Tests
@@ -276,6 +348,12 @@
(Refer to the main list for details)
B3A2009
+BC3009C
+C390010
+C3A2003
+C460002
+C761010
+C854002
CD72A02
@@ -283,10 +361,16 @@
(Refer to the main list for details)
+B460006
B854001
BDD2002
+C380001
+C380002
+C380003
+C380004
C761012
C854003
+CC51008
CD10002
CDD2A01
CDD2A02
@@ -298,12 +382,8 @@
(Refer to the main list for details)
-B460006 2003-01-01
-C380001 2003-01-01
-C380002 2003-01-01
-C380003 2003-01-01
-C380004 2003-01-01
-CC51008 2003-01-01
+BDE0009 2003-10-01
+BDE0010 2003-10-01
LC30001 2003-04-01
LC30002 2003-04-01
LC30003 2003-04-01
Questions? Ask the ACAA Technical Agent