diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxb/cxb3016.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxb/cxb3016.a | 516 |
1 files changed, 0 insertions, 516 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxb/cxb3016.a b/gcc/testsuite/ada/acats/tests/cxb/cxb3016.a deleted file mode 100644 index 362a062ad22..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxb/cxb3016.a +++ /dev/null @@ -1,516 +0,0 @@ --- CXB3016.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 function Virtual_Length returns the number of elements --- in the array referenced by the Pointer parameter Ref, up to (but --- not including) the (first) instance of the element specified in --- the Terminator parameter. --- --- Check that the procedure Copy_Terminated_Array copies the array of --- elements referenced by Pointer parameter Source, into the array --- pointed to by parameter Target, based on which of the following --- two scenarios occurs first: --- 1) copying the Terminator element, or --- 2) copying the number of elements specified in parameter Limit. --- --- Check that procedure Copy_Terminated_Array will propagate --- Dereference_Error if either the Source or Target parameter is null. --- --- Check that procedure Copy_Array will copy an array of elements --- of length specified in parameter Length, referenced by the --- Pointer parameter Source, into the array pointed to by parameter --- Target. --- --- Check that procedure Copy_Array will propagate Dereference_Error --- if either the Source or Target parameter is null. --- --- TEST DESCRIPTION: --- This test checks that the function Virtual_Length and the procedures --- Copy_Terminated_Array and Copy_Array in the generic package --- Interfaces.C.Pointers will allow the user to manipulate arrays of --- char and short values through the pointers that reference the --- arrays. --- --- Package Interfaces.C.Pointers is instantiated twice, once for --- short values and once for chars. Pointers from each instantiated --- package are then used to reference arrays of the appropriate --- element type. The subprograms under test are used to determine the --- length, and to copy, either portions or the entire content of the --- arrays. The results of these operations are then compared against --- expected results. --- --- The propagation of Dereference_Error is checked for when either --- of the two procedures is supplied with a null Pointer parameter. --- --- This test assumes that the following characters are all included --- in the implementation defined type Interfaces.C.char: --- ' ', and 'a'..'z'. --- --- APPLICABILITY CRITERIA: --- This test is applicable to all implementations that provide --- packages Interfaces.C, Interfaces.C.Strings, and --- Interfaces.C.Pointers. If an implementation provides these packages, --- this test must compile, execute, and report "PASSED". --- --- --- CHANGE HISTORY: --- 01 Feb 96 SAIC Initial release for 2.1 --- 13 May 96 SAIC Incorporated reviewer comments for ACVC 2.1. --- 26 Oct 96 SAIC Incorporated reviewer comments. --- 26 Feb 97 PWB.CTA Moved code using null pointer to avoid errors ---! - -with Report; -with Ada.Exceptions; -with Interfaces.C; -- N/A => ERROR -with Interfaces.C.Pointers; -- N/A => ERROR -with Interfaces.C.Strings; -- N/A => ERROR - -procedure CXB3016 is -begin - - Report.Test ("CXB3016", "Check that subprograms Virtual_Length, " & - "Copy_Terminated_Array, and Copy_Array " & - "produce correct results"); - - Test_Block: - declare - - use Ada.Exceptions; - use Interfaces.C.Strings; - - use type Interfaces.C.char, - Interfaces.C.char_array, - Interfaces.C.ptrdiff_t, - Interfaces.C.short, - Interfaces.C.size_t; - - TC_char : Interfaces.C.char := 'a'; - TC_ptrdiff_t : Interfaces.C.ptrdiff_t; - TC_Short : Interfaces.C.short := 0; - Min_Array_Size : Interfaces.C.size_t := 0; - Max_Array_Size : Interfaces.C.size_t := 20; - Short_Terminator : Interfaces.C.short := Interfaces.C.short'Last; - Alphabet : constant String := "abcdefghijklmnopqrstuvwxyz"; - Blank_String : constant String := " "; - - type Short_Array_Type is - array (Interfaces.C.size_t range <>) of aliased Interfaces.C.short; - - Ch_Array : Interfaces.C.char_array - (0..Interfaces.C.size_t(Alphabet'Length)) := - Interfaces.C.To_C(Alphabet, True); - - TC_Ch_Array : Interfaces.C.char_array - (0..Interfaces.C.size_t(Blank_String'Length)) := - Interfaces.C.To_C(Blank_String, True); - - Short_Array : Short_Array_Type(Min_Array_Size..Max_Array_Size); - TC_Short_Array : Short_Array_Type(Min_Array_Size..Max_Array_Size); - - - package Char_Pointers is new - Interfaces.C.Pointers (Index => Interfaces.C.size_t, - Element => Interfaces.C.char, - Element_Array => Interfaces.C.char_array, - Default_Terminator => Interfaces.C.nul); - - package Short_Pointers is new - Interfaces.C.Pointers (Index => Interfaces.C.size_t, - Element => Interfaces.C.short, - Element_Array => Short_Array_Type, - Default_Terminator => Short_Terminator); - - use Short_Pointers, Char_Pointers; - - Short_Ptr : Short_Pointers.Pointer := Short_Array(0)'Access; - TC_Short_Ptr : Short_Pointers.Pointer := TC_Short_Array(0)'Access; - Char_Ptr : Char_Pointers.Pointer := Ch_Array(0)'Access; - TC_Char_Ptr : Char_Pointers.Pointer := TC_Ch_Array(0)'Access; - - begin - - -- Provide initial values for the array that holds short int values. - - for i in Min_Array_Size..Max_Array_Size loop - Short_Array(i) := Interfaces.C.short(i); - TC_Short_Array(i) := 100; - end loop; - - -- Set the final element of the short array object to be the "terminator" - -- element used in the instantiation above. - - Short_Array(Max_Array_Size) := Short_Terminator; - - -- Check starting pointer positions. - - if Short_Ptr.all /= 0 or - Char_Ptr.all /= Ch_Array(0) - then - Report.Failed("Incorrect initial value for the first " & - "Char_Array or Short_Array values"); - end if; - - - - -- Check that function Virtual_Length returns the number of elements - -- in the array referenced by the Pointer parameter Ref, up to (but - -- not including) the (first) instance of the element specified in - -- the Terminator parameter. - - TC_char := 'j'; - - TC_ptrdiff_t := Char_Pointers.Virtual_Length(Ref => Char_Ptr, - Terminator => TC_char); - if TC_ptrdiff_t /= 9 then - Report.Failed("Incorrect result from function Virtual_Length " & - "with Char_ptr parameter - 1"); - end if; - - TC_char := Interfaces.C.nul; - - TC_ptrdiff_t := Char_Pointers.Virtual_Length(Char_Ptr, - Terminator => TC_char); - if TC_ptrdiff_t /= Interfaces.C.ptrdiff_t(Alphabet'Length) then - Report.Failed("Incorrect result from function Virtual_Length " & - "with Char_ptr parameter - 2"); - end if; - - TC_Short := 10; - - TC_ptrdiff_t := Short_Pointers.Virtual_Length(Short_Ptr, TC_Short); - - if TC_ptrdiff_t /= 10 then - Report.Failed("Incorrect result from function Virtual_Length " & - "with Short_ptr parameter - 1"); - end if; - - -- Replace an element of the Short_Array with the element used as the - -- terminator of the entire array; now there are two occurrences of the - -- terminator element in the array. The call to Virtual_Length should - -- return the number of array elements prior to the first terminator. - - Short_Array(5) := Short_Terminator; - - if Short_Pointers.Virtual_Length(Short_Ptr, Short_Terminator) /= 5 - then - Report.Failed("Incorrect result from function Virtual_Length " & - "with Short_ptr parameter - 2"); - end if; - - - - -- Check that the procedure Copy_Terminated_Array copies the array of - -- elements referenced by Pointer parameter Source, into the array - -- pointed to by parameter Target, based on which of the following - -- two scenarios occurs first: - -- 1) copying the Terminator element, or - -- 2) copying the number of elements specified in parameter Limit. - -- Note: Terminator element must be copied to Target, as well as - -- all array elements prior to the terminator element. - - if TC_Ch_Array = Ch_Array then - Report.Failed("The two char arrays are equivalent prior to the " & - "call to Copy_Terminated_Array - 1"); - end if; - - - -- Case 1: Copying the Terminator Element. (Default terminator) - - Char_Pointers.Copy_Terminated_Array(Source => Char_Ptr, - Target => TC_Char_Ptr); - - if TC_Ch_Array /= Ch_Array then - Report.Failed("The two char arrays are not equal following the " & - "call to Copy_Terminated_Array, case of copying " & - "the Terminator Element, using default terminator"); - end if; - - -- Reset the Target Pointer array. - - TC_Ch_Array := Interfaces.C.To_C(Blank_String, True); - TC_Char_Ptr := TC_Ch_Array(0)'Access; - - if TC_Ch_Array = Ch_Array then - Report.Failed("The two char arrays are equivalent prior to the " & - "call to Copy_Terminated_Array - 2"); - end if; - - - -- Case 2: Copying the Terminator Element. (Non-Default terminator) - - TC_char := 'b'; -- Second char in char_array pointed to by Char_Ptr - Char_Pointers.Copy_Terminated_Array(Source => Char_Ptr, - Target => TC_Char_Ptr, - Terminator => TC_char); - - if TC_Ch_Array(0) /= Ch_Array(0) or -- Initial value modified. - TC_Ch_Array(1) /= Ch_Array(1) or -- Initial value modified. - TC_Ch_Array(2) = Ch_Array(2) or -- Initial value not modified. - TC_Ch_Array(5) = Ch_Array(5) or -- Initial value not modified. - TC_Ch_Array(15) = Ch_Array(15) or -- Initial value not modified. - TC_Ch_Array(25) = Ch_Array(25) -- Initial value not modified. - then - Report.Failed("The appropriate portions of the two char arrays " & - "are not equal following the call to " & - "Copy_Terminated_Array, case of copying the " & - "Terminator Element, using non-default terminator"); - end if; - - - if TC_Short_Array = Short_Array then - Report.Failed("The two short int arrays are equivalent prior " & - "to the call to Copy_Terminated_Array - 1"); - end if; - - Short_Pointers.Copy_Terminated_Array(Source => Short_Ptr, - Target => TC_Short_Ptr, - Terminator => 2); - - if TC_Short_Array(0) /= Short_Array(0) or - TC_Short_Array(1) /= Short_Array(1) or - TC_Short_Array(2) /= Short_Array(2) or - TC_Short_Array(3) /= 100 -- Initial value not modified. - then - Report.Failed("The appropriate portions of the two short int " & - "arrays are not equal following the call to " & - "Copy_Terminated_Array, case of copying the " & - "Terminator Element, using non-default terminator"); - end if; - - - -- Case 3: Copying the number of elements specified in parameter Limit. - - if TC_Short_Array = Short_Array then - Report.Failed("The two short int arrays are equivalent prior " & - "to the call to Copy_Terminated_Array - 2"); - end if; - - TC_ptrdiff_t := 5; - - Short_Pointers.Copy_Terminated_Array(Source => Short_Ptr, - Target => TC_Short_Ptr, - Limit => TC_ptrdiff_t, - Terminator => Short_Terminator); - - if TC_Short_Array(0) /= Short_Array(0) or - TC_Short_Array(1) /= Short_Array(1) or - TC_Short_Array(2) /= Short_Array(2) or - TC_Short_Array(3) /= Short_Array(3) or - TC_Short_Array(4) /= Short_Array(4) or - TC_Short_Array(5) /= 100 -- Initial value not modified. - then - Report.Failed("The appropriate portions of the two Short arrays " & - "are not equal following the call to " & - "Copy_Terminated_Array, case of copying the number " & - "of elements specified in parameter Limit"); - end if; - - - -- Case 4: Copying the number of elements specified in parameter Limit, - -- which also happens to be the number of elements up to and - -- including the first terminator. - - -- Reset initial values for the array that holds short int values. - - for i in Min_Array_Size..Max_Array_Size loop - Short_Array(i) := Interfaces.C.short(i); - TC_Short_Array(i) := 100; - end loop; - - if TC_Short_Array = Short_Array then - Report.Failed("The two short int arrays are equivalent prior " & - "to the call to Copy_Terminated_Array - 3"); - end if; - - TC_ptrdiff_t := 3; -- Specifies three elements to be copied. - Short_Terminator := 2; -- Value held in Short_Array third element, - -- will serve as the "terminator" element. - - Short_Pointers.Copy_Terminated_Array(Source => Short_Ptr, - Target => TC_Short_Ptr, - Limit => TC_ptrdiff_t, - Terminator => Short_Terminator); - - if TC_Short_Array(0) /= Short_Array(0) or -- First element copied. - TC_Short_Array(1) /= Short_Array(1) or -- Second element copied. - TC_Short_Array(2) /= Short_Array(2) or -- Third element copied. - TC_Short_Array(3) /= 100 -- Initial value of fourth element - then -- not modified. - Report.Failed("The appropriate portions of the two Short arrays " & - "are not equal following the call to " & - "Copy_Terminated_Array, case of copying the number " & - "of elements specified in parameter " & - "Limit, which also happens to be the number of " & - "elements up to and including the first terminator"); - end if; - - - - -- Check that procedure Copy_Terminated_Array will propagate - -- Dereference_Error if either the Source or Target parameter is null. - - Char_Ptr := null; - begin - Char_Pointers.Copy_Terminated_Array(Char_Ptr, TC_Char_Ptr); - Report.Failed("Dereference_Error not raised by call to " & - "Copy_Terminated_Array with null Source parameter"); - if TC_Char_Ptr = null then -- To avoid optimization. - Report.Comment("This should never be printed"); - end if; - exception - when Dereference_Error => null; -- OK, expected exception. - when others => - Report.Failed("Incorrect exception raised by call to " & - "Copy_Terminated_Array with null Source parameter"); - end; - - TC_Short_Ptr := null; - begin - Short_Pointers.Copy_Terminated_Array(Short_Ptr, TC_Short_Ptr); - Report.Failed("Dereference_Error not raised by call to " & - "Copy_Terminated_Array with null Target parameter"); - if Short_Ptr = null then -- To avoid optimization. - Report.Comment("This should never be printed"); - end if; - exception - when Dereference_Error => null; -- OK, expected exception. - when others => - Report.Failed("Incorrect exception raised by call to " & - "Copy_Terminated_Array with null Target parameter"); - end; - - - - -- Check that the procedure Copy_Array will copy the array of - -- elements of length specified in parameter Length, referenced by - -- the Pointer parameter Source, into the array pointed to by - -- parameter Target. - - -- Reinitialize Target arrays prior to test cases below. - - TC_Ch_Array := Interfaces.C.To_C(Blank_String, True); - - for i in Min_Array_Size..Max_Array_Size loop - TC_Short_Array(i) := 100; - end loop; - - Char_Ptr := Ch_Array(0)'Access; - TC_Char_Ptr := TC_Ch_Array(0)'Access; - Short_Ptr := Short_Array(0)'Access; - TC_Short_Ptr := TC_Short_Array(0)'Access; - - TC_ptrdiff_t := 4; - - Char_Pointers.Copy_Array(Source => Char_Ptr, - Target => TC_Char_Ptr, - Length => TC_ptrdiff_t); - - if TC_Ch_Array(0) /= Ch_Array(0) or - TC_Ch_Array(1) /= Ch_Array(1) or - TC_Ch_Array(2) /= Ch_Array(2) or - TC_Ch_Array(3) /= Ch_Array(3) or - TC_Ch_Array(4) = Ch_Array(4) - then - Report.Failed("Incorrect result from Copy_Array when using " & - "char pointer arguments, partial array copied"); - end if; - - - TC_ptrdiff_t := Interfaces.C.ptrdiff_t(Max_Array_Size) + 1; - - Short_Pointers.Copy_Array(Short_Ptr, TC_Short_Ptr, TC_ptrdiff_t); - - if TC_Short_Array /= Short_Array then - Report.Failed("Incorrect result from Copy_Array when using Short " & - "pointer arguments, entire array copied"); - end if; - - - - -- Check that procedure Copy_Array will propagate Dereference_Error - -- if either the Source or Target parameter is null. - - Char_Ptr := null; - begin - Char_Pointers.Copy_Array(Char_Ptr, TC_Char_Ptr, TC_ptrdiff_t); - Report.Failed("Dereference_Error not raised by call to " & - "Copy_Array with null Source parameter"); - if TC_Char_Ptr = null then -- To avoid optimization. - Report.Comment("This should never be printed"); - end if; - exception - when Dereference_Error => null; -- OK, expected exception. - when others => - Report.Failed("Incorrect exception raised by call to " & - "Copy_Array with null Source parameter"); - end; - - TC_Short_Ptr := null; - begin - Short_Pointers.Copy_Array(Short_Ptr, TC_Short_Ptr, TC_ptrdiff_t); - Report.Failed("Dereference_Error not raised by call to " & - "Copy_Array with null Target parameter"); - if Short_Ptr = null then -- To avoid optimization. - Report.Comment("This should never be printed"); - end if; - exception - when Dereference_Error => null; -- OK, expected exception. - when others => - Report.Failed("Incorrect exception raised by call to " & - "Copy_Array with null Target parameter"); - end; - - - -- Check that function Virtual_Length will propagate Dereference_Error - -- if the Source parameter is null. - - Char_Ptr := null; - begin - TC_ptrdiff_t := Char_Pointers.Virtual_Length(Char_Ptr, - Terminator => TC_char); - Report.Failed("Dereference_Error not raised by call to " & - "Virtual_Length with null Source parameter"); - if TC_ptrdiff_t = 100 then -- To avoid optimization. - Report.Comment("This should never be printed"); - end if; - exception - when Dereference_Error => null; -- OK, expected exception. - when others => - Report.Failed("Incorrect exception raised by call to " & - "Virtual_Length with null Source parameter"); - end; - - - exception - when The_Error : others => - Report.Failed ("The following exception was raised in the " & - "Test_Block: " & Exception_Name(The_Error)); - end Test_Block; - - Report.Result; - -end CXB3016; |