diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cd/cd72a02.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cd/cd72a02.a | 225 |
1 files changed, 0 insertions, 225 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cd/cd72a02.a b/gcc/testsuite/ada/acats/tests/cd/cd72a02.a deleted file mode 100644 index f396edc19f3..00000000000 --- a/gcc/testsuite/ada/acats/tests/cd/cd72a02.a +++ /dev/null @@ -1,225 +0,0 @@ --- CD72A02.A --- --- Grant of Unlimited Rights --- --- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, --- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained --- unlimited rights in the software and documentation contained herein. --- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making --- this public release, the Government intends to confer upon all --- recipients unlimited rights equal to those held by the Government. --- These rights include rights to use, duplicate, release or disclose the --- released technical data and computer software in whole or in part, in --- any manner and for any purpose whatsoever, and to have or permit others --- to do so. --- --- DISCLAIMER --- --- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR --- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED --- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE --- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE --- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A --- PARTICULAR PURPOSE OF SAID MATERIAL. ---* --- --- OBJECTIVE: --- Check that the package System.Address_To_Access_Conversions may be --- instantiated for various composite types. --- --- Check that To_Pointer and To_Address are inverse operations. --- --- Check that To_Pointer(X'Address) equals X'Unchecked_Access for an --- X that allows Unchecked_Access. --- --- Check that To_Pointer(Null_Address) returns null. --- --- TEST DESCRIPTION: --- This test is identical to CD72A01 with the exception that it tests --- the composite types where CD72A01 tests "simple" types. --- --- This test checks that the semantics provided in --- Address_To_Access_Conversions are present and operate --- within expectations (to the best extent possible in a portable --- implementation independent fashion). --- --- The functions Address_To_Hex and Hex_To_Address test the invertability --- of the To_Integer and To_Address functions, along with a great deal --- of optimizer chaff and protection from the fact that type --- Storage_Elements.Integer_Address may be either a modular or a signed --- integer type. --- --- This test has some interesting usage paradigms in that users --- occasionally want to store address information in a transportable --- fashion, and often resort to some textual representation of values. --- --- APPLICABILITY CRITERIA: --- All implementations must attempt to compile this test. --- --- For implementations validating against Systems Programming Annex (C): --- this test must execute and report PASSED. --- --- For implementations not validating against Annex C: --- this test may report compile time errors at one or more points --- indicated by "-- ANX-C RQMT", in which case it may be graded as inapplicable. --- Otherwise, the test must execute and report PASSED. --- --- --- CHANGE HISTORY: --- 13 JUL 95 SAIC Initial version (CD72001) --- 08 FEB 96 SAIC Split from CD72001 by reviewer request for 2.1 --- 12 NOV 96 SAIC Corrected typo in RM ref --- 16 FEB 98 EDS Modified documentation. --- 22 JAN 02 RLB Corrected test description. ---! - -with Report; -with Impdef; -with FD72A00; -with System.Storage_Elements; -with System.Address_To_Access_Conversions; -procedure CD72A02 is - use System; - use FD72A00; - - type Tagged_Record is tagged record - Value : Natural; - end record; - - package Class_ATAC is - new System.Address_To_Access_Conversions(Tagged_Record'Class); - -- ANX-C RQMT - - use type Class_ATAC.Object_Pointer; - - task type TC_Task_Type is - entry E; - entry F; - end TC_Task_Type; - - package Task_ATAC is - new System.Address_To_Access_Conversions(TC_Task_Type); - -- ANX-C RQMT - - use type Task_ATAC.Object_Pointer; - - task body TC_Task_Type is - begin - select - accept E; - or - accept F; - Report.Failed("Task rendezvoused on wrong path"); - end select; - end TC_Task_Type; - - protected type TC_Protec is - procedure E; - procedure F; - private - Visited : Boolean := False; - end TC_Protec; - - package Protected_ATAC is - new System.Address_To_Access_Conversions(TC_Protec); - -- ANX-C RQMT - - use type Protected_ATAC.Object_Pointer; - - protected body TC_Protec is - procedure E is - begin - Visited := True; - end E; - procedure F is - begin - if not Visited then - Report.Failed("Protected Object took wrong path"); - end if; - end F; - end TC_Protec; - - type Test_Cases is ( Tagged_Type, Task_Type, Protected_Type ); - - type Naive_Dynamic_String is access String; - - type String_Store is array(Test_Cases) of Naive_Dynamic_String; - - The_Strings : String_Store; - - -- create several aliased objects with distinct values - - My_Rec : aliased Tagged_Record := (Value => Natural'Last); - My_Task : aliased TC_Task_Type; - My_Prot : aliased TC_Protec; - - use type System.Storage_Elements.Integer_Address; - -begin -- Main test procedure. - - Report.Test ("CD72A02", "Check package " & - "System.Address_To_Access_Conversions " & - "for composite types" ); - - -- take several pointer objects, convert them to addresses, and store - -- the address as a hexadecimal representation for later reconversion - - The_Strings(Tagged_Type) := new String'( - Address_To_Hex(Class_ATAC.To_Address(My_Rec'Access)) ); - - The_Strings(Task_Type) := new String'( - Address_To_Hex(Task_ATAC.To_Address(My_Task'Access)) ); - - The_Strings(Protected_Type) := new String'( - Address_To_Hex(Protected_ATAC.To_Address(My_Prot'Access)) ); - - -- now, reconvert the hexadecimal address values back to pointers, - -- and check that the dereferenced pointer still designates the - -- value placed at that location. The use of the intermediate - -- string representation should foil even the cleverest of optimizers - - if Tagged_Record(Class_ATAC.To_Pointer( - Hex_To_Address(The_Strings(Tagged_Type))).all) - /= Tagged_Record'(Value => Natural'Last) then - Report.Failed("Tagged_Record reconversion"); - end if; - - Task_ATAC.To_Pointer(Hex_To_Address(The_Strings(Task_Type))).E; - - begin - select -- allow for task to have completed. - My_Task.F; -- should not happen, will call Report.Fail in task - else - null; -- expected case, "Report.Pass;" - end select; - exception - when Tasking_Error => null; -- task terminated, which is OK - end; - - Protected_ATAC.To_Pointer( - Hex_To_Address(The_Strings(Protected_Type))).E; - My_Prot.F; -- checks that call to E occurred - - - -- check that the resulting values are equal to the 'Unchecked_Access - -- of the value - - if Class_ATAC.To_Pointer(Hex_To_Address(The_Strings(Tagged_Type))) - /= My_Rec'Unchecked_Access then - Report.Failed("Tagged_Record Unchecked_Access"); - end if; - - if Task_ATAC.To_Pointer(Hex_To_Address(The_Strings(Task_Type))) - /= My_Task'Unchecked_Access then - Report.Failed("Task Unchecked_Access"); - end if; - - if Protected_ATAC.To_Pointer( - Hex_To_Address(The_Strings(Protected_Type))) - /= My_Prot'Unchecked_Access then - Report.Failed("Protected Unchecked_Access"); - end if; - - Report.Result; - -end CD72A02; |