Flyer C173-0197 wdrwn95.txt Tests Withdrawn from ACVC 2.0.1 30 January 1997 Below is the eighth Withdrawn Tests List for ACVC 2.0.1, identifying 30 tests (there is 1 new test listed). We encourage implementers to submit petitions against even withdrawn tests, as all errors need to be corrected -- CXA4019's listing below shows such reporting: separate implementers have found distinct errors. -National Institute of Standards and Technology (NIST) _________________________________________________________ Below is the list of the 30 tests and foundation units that have been withdrawn from ACVC 2.0.1 as of 1996-01-28. This list supersedes that of 97-01-08, which named 29 tests. Of these tests, 11 are from the "9X-Basic" subset of ACVC 2.0.1, which are tests that were written for Ada 83 conformity testing and retained (sometimes in a modified form) for use with Ada 95; thus, their rationales for withdrawal are an indication of differences between the two standards. Error citations that are new to this edition of the Withdrawn Tests List are marked with a '+' vice ':' before the indication of the error. The new lines in this file are: AMENDED CITATIONS: none ADDED CITATIONS: none NEW TESTS: CXD2004+ @224, 225 incorrectly assumes task A should be at head of queue when task B should be [D2.2(9)] Line numbers are given relative to the start of a test file in the format of '@'; 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: .[.]() These references are to the Ada 95 standard unless "Ada 83" is specified. _________________________________________________________ B74104A: @200 is wrongly marked as illegal--"+"(2,0) conforms to 2+0 in Ada 95 BA12007: @290 is wrongly marked as illegal; the code here is legal BC3502C: @123 violates 12.5.4(3) BC3503A: @104,114,124 violates 12.5.4(3) BC3503C: @55 violates 12.5.4(3) BC51C01: @330 violates 3.9.3(6) as per 12.3:(18)--Proc & New_Proc don't override BDD2001: @84 defines a type attribute before fully defining the type [13.1(9)] C45534A: @various checks does not meet its objective C42006A: @56, 66, 76 static literals must be rejected C48009A: @54, the static expression TA'(0) must be rejected C48009E: @117 must raise no exception on array conversion 6.5(6); 4.6(37,50)] C4A013B: is of marginal value, @64 is too permissive, and @82 too often NA C730003: @189,198,208 Card.View is ambiguous/illegal [3.9.1(9),8.3(24)] C760007: @153,155 expects more calls to Adjust than is deemed necessary C95086E: @213 the array conversion's length checks raise Constraint_Error C95086F: @213 the array conversion's length checks raise Constraint_Error CA11014: @278,287 has calls with an uninitialized by-copy IN-OUT parameter CB41001: @105 wrongly assumes that array Check_Point is passed by reference CXA4019: @340ff either the mapping or else pattern for B10.Index is wrong : @831 wrongly expects Index_Error--the call raises Constraint_Error CXAC002: @293 is erroneous as per AI95-00001/04 CXACA02: @316 should expect a result of -20, not -120 CXACC01: @132 raises Status_Error when Stream_IO.Create is called vice Reset CXC3001: @155 may raise Program_Error if the interrupt is reserved [C.3.2(20)] CXC6001: @192 violates C.6(12) (volatile Smog & non-vol. by-ref. Compound) CXC6002: @141,145 uses undeclared identifiers "Smog", "Compound" CXD2004+ @148,153 task A is expected to register before B, violating D.2.2(9) FXF3A00: @147, "$<<<_<<9.99" is not a valid picture string CXF3A01: Depends on FXF3A00, which is withdrawn CXF3A02: Depends on FXF3A00, which is withdrawn CXF3A03: Depends on FXF3A00, which is withdrawn