WITHDRAWN TESTS FROM ACVC 2.1--98-05-03
               ---------------------------------------

   Below is the listing of the 24 tests that have been withdrawn from ACVC 
2.1
as of 98-05-03.  This list supersedes that of 98-01-08, which named 22 
tests.
Seven of these tests are from the part of ACVC 2.1 that was retained from
Ada 83 conformity testing, and so their rationales for withdrawal indicate
changes between the two standards.

NEW TESTS:
CXD2005 + @187-191 Set_Priority effects need not follow the sequence of 
calls
CXDB005 + @248 expects inherited priority to be lost, contrary to 
AI95-00092

ADDED CITATIONS:
BXC6A03 + @129,137 is illegal--FXC6A00.NonVolatile_Tagged IS a volatile 
type

AMENDED CITATIONS:
 [editorial]
B37312B : @42,58 is legal in Ada95 (3.8.1:7 (vs. RM83 3.7.3:3))

   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 83 & Ada 95
standards are given in the format:

     <section|chapter>.<clause>[.<subclause>]:<paragraph>

These references are to the Ada 95 standard unless "Ada83" is specified.

------------------------------------------------------------------------  
-------
B37312B : @42,58 is legal in Ada95 (3.8.1:7 (vs. RM83 3.7.3:3))

BXC6A03 : @117 applies pragma Volatile in violation of 13.1:10
        + @129,137 is illegal--FXC6A00.NonVolatile_Tagged IS a volatile 
type

C390010 : @163 fails the accessibility check of 3.10.2:29

C392010 : @499 the dispatching order produces string "LqmKen", not "NqmMgn"

C392012 : @350 will raise Constraint_Error when a tag check fails

C42006A : @56,66,76 static literals must be rejected (4.9:34)

C48009A : @54 the static expression TA'(0) must be rejected (4.9:34)

C760007 : @161 wrongly expects at least one call to Adjust (7.6:21)

C760012 : @155,183 wrongly requires a component finalization order (7.6.  
1:9)

C761006 : expects Adjust to be called in Finalize_Test, but it need not be

C761008 : @280 reports Failed but is a possible handler for finalization's 
P_E

C761009 : @562 has enum.value Task_Requeue_To_Task vice Task_Requeue_To_PO
        : @609,651 wrongly expects event Got_Program_Error

C9A005A : @180,192 aborted calls may be yet not cancelled (9.5.3:25, 
9.8:15)

C9A008A : @94,191,288 aborted calls may be yet not cancelled (9.5.3:25, 
9.8:15)

CD20001 : wrongly requires 'Component_Size to be a factor of word size 
(13.2:9)

CXC3004 : @282 Attach_Handler raises P_E as per C.3.2:21, which is 
unintended

CXD2005 + @187-191 Set_Priority effects need not follow the sequence of 
calls

CXD4009 : expects a different order of execution than required by 
priorities

CXD5002 : @138 checks a task priority that may not yet be set (9.8:18, 
D.5:10)

CXDB005 + @248 expects inherited priority to be lost, contrary to 
AI95-00092

CXDC001 : @131 doesn't allow for Tasking_Error being raised in activation

CXG2022 : @103,113,116,143,181,184,250,253 no "**" returns fixed-point 
values

E28002B : @91 the pragma argument violates 10.1.5:6 (no 
subprogram_declaration)

LA1001F : has an invalid test objective (cf AI95-00172/01, ARG Minutes 
97-04)

========================================================================