URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxb/] [cxb3016.a] - Rev 338
Compare with Previous | Blame | View Log
-- 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;