diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cd/cd72a01.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cd/cd72a01.a | 165 |
1 files changed, 0 insertions, 165 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cd/cd72a01.a b/gcc/testsuite/ada/acats/tests/cd/cd72a01.a deleted file mode 100644 index 9c98cb0c67e..00000000000 --- a/gcc/testsuite/ada/acats/tests/cd/cd72a01.a +++ /dev/null @@ -1,165 +0,0 @@ --- --- CD72A01.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 simple 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 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 Revised (split) version for 2.1 --- 07 MAY 96 SAIC Additional subtest added for 2.1 --- 16 FEB 98 EDS Modified documentation. ---! - -with Report; -with Impdef; -with FD72A00; -with System.Storage_Elements; -with System.Address_To_Access_Conversions; -procedure CD72A01 is - use System; - use FD72A00; - - package Number_ATAC is - new System.Address_To_Access_Conversions(Number); -- ANX-C RQMT - - use type Number_ATAC.Object_Pointer; - - type Data is record - One, Two: aliased Number; - end record; - - package Data_ATAC is - new System.Address_To_Access_Conversions(Data); -- ANX-C RQMT - - use type Data_ATAC.Object_Pointer; - - type Test_Cases is ( Addr_Type, Record_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_Number : aliased Number := Number'First; - My_Data : aliased Data := (Number'First,Number'Last); - - use type System.Storage_Elements.Integer_Address; - -begin -- Main test procedure. - - Report.Test ("CD72A01", "Check package " & - "System.Address_To_Access_Conversions " & - "for simple types" ); - - -- take several pointer objects, convert them to addresses, and store - -- the address as a hexadecimal representation for later reconversion - - The_Strings(Addr_Type) := new String'( - Address_To_Hex(Number_ATAC.To_Address(My_Number'Access)) ); - - The_Strings(Record_Type) := new String'( - Address_To_Hex(Data_ATAC.To_Address(My_Data'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 Number_ATAC.To_Pointer( - Hex_To_Address(The_Strings(Addr_Type))).all - /= Number'First then - Report.Failed("Number reconversion"); - end if; - - if Data_ATAC.To_Pointer(Hex_To_Address(The_Strings(Record_Type))).all - /= (Number'First,Number'Last) then - Report.Failed("Data reconversion"); - end if; - - -- check that the resulting values are equal to the 'Unchecked_Access - -- of the value - - if Number_ATAC.To_Pointer( - Hex_To_Address(The_Strings(Addr_Type))) - /= My_Number'Unchecked_Access then - Report.Failed("Number Unchecked_Access"); - end if; - - if Data_ATAC.To_Pointer(Hex_To_Address(The_Strings(Record_Type))) - /= My_Data'Unchecked_Access then - Report.Failed("Data Unchecked_Access"); - end if; - - if Number_ATAC.To_Pointer(System.Null_Address) /= null then - Report.Failed("To_Pointer(Null_Address) /= null"); - end if; - - if Number_ATAC.To_Address(null) /= System.Null_Address then - Report.Failed("To_Address(null) /= Null_Address"); - end if; - - Report.Result; - -end CD72A01; |