CVS difference for acats/docs/mod_list.txt
--- acats/docs/mod_list.txt 1999/09/24 22:23:26 1.13
+++ acats/docs/mod_list.txt 1999/10/26 21:42:56 1.14
@@ -1,129 +1,25 @@
ACATS Test Modification List
-Version 2.2E
-September 24, 1999
+Version 2.2F
+October 26, 1999
Changes from the last list:
-The ARG has begun providing tests to check that processors conform to the
-rulings it has made (AIs). Some of those tests have been added to the suite.
+Several tests have been moved to the New category, meaning that they now are
+required for conformity assessment. These are: C460011, C910003, CA20002, and
+LA20001.
+
+Tests modified before July 1, 1999 are now required.
+
+New tests inserted between October 1, 1999 and January 1, 2000 will become
+required for conformity assessments on July 1, 2000. New tests inserted between
+July 1, 1999 and October 1, 1999 will become required for conformity assessments
+on April 1, 2000. New tests inserted between April 1, 1999 and July 1, 1999
+will become required for conformity assessments on January 1, 2000. New tests
+added to the ACATS before April 1, 1999 are now required for conformity
+assessments. The effective dates of tests are marked in the lists.
-Test B392010 is a new test. It checks that 3.9.2(12) is checked, even when it is
-not known at the point of the declaration that the types are tagged.
-
-Test B730006 is a new test. It checks that the visible components of a type
-extension are only those inherited from the parent type, even if additional
-components of an ancestor type are visible. The rule checked here was confirmed
-by AI-00157.
-
-Test B830002 is a new test. It checks illegal duplication of components when
-inheriting from private extensions. This test was constructed to meet the
-requirements of Technical Corrigendum 1 (AI-00150).
-
-The applicability criteria for tests B83004B, B83004D, B83024F, BA1010D,
-CA1012A, CA2009C, CA2009F, and CA3011A have been revised. These tests are
-applicable to all Ada 95 implementations.
-
-BA150029 was repaired to remove an instantiation of a unit with errors (which
-has nothing to do with the test). This change does not change the effective date
-of the test.
-
-BA21004 is a new test designed to check that implementations don't allow too
-much when implementing the revised 10.2.1(11) from Technical Corrigendum 1
-[AI-00002].
-
-C390010 was repaired to insure that the subtype check is performed at the
-appropriate place. The test used a variable with a subtype which caused a
-premature check.
-
-Test C730003 is classified as a new test. It is a repaired version of a test
-withdrawn from ACVC 2.0.1. It is a companion test to B830002, checking that
-component names can be duplicated when the components of the ancestor type
-aren't visible. It also checks that such names still can be accessed with a view
-conversion to the ancestor type.
-
-Test C731001 is a new test. It was inspired by the examples in AARM
-7.3.1(7.a-7.v), confirmed by AI- 00035.
-
-Test C761010 is a new test to check the new requirements of Technical
-Corrigendum 1 (AI-00083). This test checks that the initialization of an object
-with an aggregate does not involve calls to Adjust.
-
-A test case was added to C840001 to check that a use type clause makes operators
-visible even when they are not visible by selection.
-
-Test C854002 is a new test constructed to the requirements of Technical
-Corrigendum 1 (AI-00064). This requires an elaboration check on a
-renames-as-body if the renames itself has not yet been elaborated.
-
-CA21001 is a new test designed to check that implementations allow
-non-pre-elaborated subunits of a preelaborated subprogram, as required by
-revised 10.2.1(11) from Technical Corrigendum 1 [AI-00002].
-
-Test CB10002 is a new test. This test repairs problems with the existing heap
-overflow test (CB1010B.ADA) - the test exhausts memory, but frees nothing (so
-Report.Result might fail for lack of memory), and might run (almost) forever on
-a virtual memory host. CB1010B.ADA will be withdrawn when this test becomes
-effective.
-
-Test CXA5012 was updated to repair Objective 3 to meet the requirements of
-Technical Corrigendum 1 (AI-00089). In particular, this is a bounded error, so
-Program_Error is allowed. It is also possible (but unlikely) that any string is
-supported as a state, so the test and Impdef were revised to allow for that
-possibility.
-
-Tests CXB3004 and CXB3006 were repaired to use a C function rather than
-Unchecked_Conversion for checking results. There is no requirement that the
-representation of char and Character, and wchar_t and Wide_Character are the
-same. This tests are classified as "Pending New", as addition test cases were
-added. Warning: The tests now have two files each (a C function and the Ada
-test). In addition, Impdef.A was modified for these tests.
-
-Test CXB3005 and CXB3007 were modified to remove Unchecked_Conversion checks,
-replacing them with uses of To_C and To_Ada. (These functions are tested
-carefully in tests CXB3004 and CXB3006). Again, there is no requirement that the
-representation of char and Character, and wchar_t and Wide_Character are the
-same.
-
-A test case was added to CXB3009 to check the case of To_Chars_Ptr when
-Nul_Check => False. This case was omitted from the original test as the standard
-didn't say what should happen; this has been repaired by AI-00140 and Technical
-Corrigendum 1.
-
-Test CXB3012 was repaired to replace Unchecked_Conversion with To_C. Again,
-there is no requirement that the representation of char and Character are the
-same. In addition, a test case was added to check that Update (Item =>
-Null_Ptr,.) raises Dereference_Error. (by AI-00039).
-
-Test CXC7004 is new. This test checks that Ada.Task_Identification.Is_Callable
-works properly on the environment task (as confirmed by AI-00206).
-
-Test CXE2002 is new. This test checks that the revised E.2(4) in Technical
-Corrigendum 1 is supported. In particular, it checks that subprograms and
-generic subprograms can be RCI units.
-
-CXG2005 was repaired to avoid printing an infinite amount of output when it
-fails.
-
-CXG2018 was repaired to widen the error bound for the Identity test.
-
-CXH3001 and CXH3003 were repaired to fix the previous repair not to assume that
-just because a value tests True, that it has the value True.
-
-LA14023 has been withdrawn; it is not an L-test. That is, all compilers must
-successfully compile and run this test. It has been replaced by CA14023, which
-is classified as a New test.
-
-Test modified before April 1, 1999 are now required.
-
-New tests inserted between July 1, 1999 and October 1, 1999 will become required
-for conformity assessments on April 1, 2000. New tests inserted between April
-1, 1999 and July 1, 1999 will become required for conformity assessments on
-January 1, 2000. New tests added to the ACATS before April 1, 1999 will become
-required for conformity assessments on October 1, 1999. The effective dates of
-tests are marked in the lists.
-
List explanation:
Test numbers given are for the basic test. Categories are "Withdrawn" (the test
@@ -178,6 +74,17 @@
tagged types even when it is not known at the point of declaration
that the types are tagged.
+B420001 [Pending New] New VCS Label: A2_2E
+ Required after 2000-04-01
+ This test checks that the null string literals with a modular
+ index subtype with a lower bound of zero are illegal if they are
+ static.
+
+C420001 [Pending New] New VCS Label: A2_2E
+ Required after 2000-04-01
+ This test checks that the null string literals with a modular
+ index subtype with a lower bound of zero raise Constraint_Error.
+
C455001 [Pending New] New VCS Label: A2_2B
Required after 2000-01-01
This test checks that universal fixed multiplying operators can be
@@ -192,8 +99,7 @@
C460008 [Modified] VCS Label: A2_2A
Decimal type operations have been split out into a separate test.
-C460011 [Pending New] New VCS Label: A2_1E
- Required after 1999-10-01
+C460011 [New] New VCS Label: A2_1E
Checks at @193 and @199 test the wrong object. (VCS Label A2_1E)
This test contains the decimal type operations formerly found in
test C460008, and some additional rounding tests for decimal type
@@ -259,8 +165,7 @@
Check that Program_Error is raised by the elaboration check on a
renames-as-body if the renames itself has not yet been elaborated.
-C910003 [Pending New] New VCS Label: A2_2A
- Required after 1999-10-01
+C910003 [New] New VCS Label: A2_2A
Check that task discriminants of an access subtype can be
selected, indexed, and dereferenced.
@@ -298,13 +203,11 @@
after an instantiation. Therefore, this test may not fail to link.
This test is replaced by CA14023.
-LA20001 [Pending New] New VCS Label: A2_1F
- Required after approximately 1999-10-01
+LA20001 [New] New VCS Label: A2_1F
Check that 10.2(19) is enforced. This test was created out of the
removed test case from B830001.
-CA20002 [Pending New] New VCS Label: A2_1F
- Required after 1999-10-01
+CA20002 [New] New VCS Label: A2_1F
Check that a partition can be created even if multiple units with
the same expanded name have been compiled.
@@ -502,6 +405,7 @@
The previous version was truncated. (VCS label A2_2D)
The Not_Applicable check for a multi-processor is missing.
(VCS Label A2_2A)
+ [Note: VCS Label A2_2A is required for conformity assessment.]
==== Annex E ====
@@ -510,8 +414,7 @@
Check that a subprogram or generic subprogram can be a remote call
interface unit.
-BXE2011 [Allowed Modification] New VCS Label: A2_2B
- Required after 1999-10-01 Org VCS Label: A2_2
+BXE2011 [Modified] New VCS Label: A2_2B
The conversions @203, 206 are legal by E.2.2(15).
BXE2013 [Pending New] New VCS Label: A2_2E
@@ -545,7 +448,7 @@
LXE3001 [Modified] VCS Label: A2_2A
Test may hang when exceptions are raised as expected.
Test requires that Program_Error must be raised, but it is not
- required. (E.3:6)
+ required by E.3(6).
===== Annex F =====
@@ -562,8 +465,7 @@
Subtraction_Error_Test does not contain enough terms in the Taylor
series for any possible floating point type.
-CXG2016 [Allowed Modification] New VCS Label: A2_2B
- Required after 1999-10-01, Org VCS Label: A2_2
+CXG2016 [Modified] New VCS Label: A2_2B
The call to Arctan @243 is missing a comma, resulting in incorrect
parameters.
@@ -591,12 +493,11 @@
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
-pebbles.ocsystems.com/~acats - but note that this is a temporary home, and may
-change in the future.
+(www.adaic.org). It also can be accessed directly at www.ada-auth.org/~acats -
+but note that this URL may change in the future.
-The complete set of official new and modified tests are available in the
-Mod_2_2E Zip and Tar files on the ACAA web site.
+The complete set of official new and modified tests is available in the Mod_2_2F
+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.
@@ -605,8 +506,8 @@
For instance, the test CD92001.A will be found in the CD directory. You can also
browse the differences between versions of a test.
-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 (AVF).
+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 (AVF).
The baseline ACATS 2.2 is available in various formats on the ACAA web site.
@@ -631,7 +532,6 @@
BA1010D 2000-01-01
BXC6A02 2000-01-01
BXC6A03 2000-01-01
-BXE2011 1999-10-01
C390010 2000-01-01
CA1012A 2000-01-01
CA2009C 2000-01-01
@@ -646,12 +546,11 @@
CXE5002 2000-01-01
CXE5003 2000-01-01
CXG2005 2000-01-01
-CXG2016 1999-10-01
CXG2018 2000-01-01
CXH3001 2000-01-01
CXH3003 2000-01-01
FXC6A00 2000-01-01
-IMPDEF 2000-01-01
+IMPDEF 2000-01-01
Modified Tests
@@ -660,6 +559,7 @@
B830001
BXD1001
+BXE2011
C330001
C332001
C460008
@@ -683,49 +583,51 @@
CXE4005
CXE5002 (VCS Label A2_2A)
CXG2014
+CXG2016
LXE3001
LXH4014
+New Tests
+
+(Refer to the main list for details)
+
+C460011
+C910003
+CA20002
+LA20001
+
+
Pending New Tests
(Refer to the main list for details)
B392010 2000-04-01
+B420001 2000-04-01
B455002 2000-01-01
B730006 2000-04-01
B830002 2000-04-01
BA15002 2000-04-01
BA21004 2000-04-01
BXE2013 2000-04-01
+C420001 2000-04-01
C455001 2000-01-01
-C460011 1999-10-01
C730003 2000-04-01
C731001 2000-04-01
C761010 2000-04-01
C840001 2000-04-01
C854002 2000-04-01
-C910003 1999-10-01
CA14023 2000-04-01
CA14028 2000-04-01
CA15003 2000-04-01
-CA20002 1999-10-01
CA21001 2000-04-01
CB10002 2000-04-01
CD30004 2000-04-01
-LA20001 1999-10-01
CXB3004 2000-04-01
CXB3006 2000-04-01
CXB3009 2000-04-01
CXB3010 2000-04-01
CXB3012 2000-04-01
CXC7004 2000-04-01
-CXE2002 2000-04-01
-
-
-New Tests
-
-(Refer to the main list for details)
-
-[None currently]
+CXE2002 2000-04-01
Questions? Ask the ACAA Technical Agent