URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cd/] [cd300050.am] - Rev 12
Compare with Previous | Blame | View Log
-- CD30005.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 Address clauses are supported for imported subprograms.
--
-- TEST DESCRIPTION:
-- This test imports a simple C function and specifies it's location.
--
-- The implementation may choose to implement
-- Impdef.CD30005_1_Foreign_Address so as to dynamically call a C
-- function that returns the appropriate address for the external
-- function identified by Impdef.CD30005_1_External_Name.
--
-- TEST FILES:
-- CD300050.AM
-- CD300051.C -- the C function: (included below for reference)
--
-- SPECIAL REQUIREMENTS:
-- The file CD300051.C must be compiled with a C compiler.
-- Implementation dialects of C may require alteration of the C program
-- syntax. The program is included here for reference:
--
-- int _cd30005_1( Value )
-- {
-- /* int Value */
--
-- return Value + 1;
-- }
--
-- Implementations may require special linkage commands to include the
-- C code.
--
-- APPLICABILITY CRITERIA:
-- This test is not applicable to implementations not providing an interface
-- to C language units. OTHERWISE:
--
-- 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:
-- 22 JUL 95 SAIC Initial version
-- 30 APR 96 SAIC Added commentary for 2.1
-- 09 MAY 96 SAIC Changed reporting for 2.1
-- 04 NOV 96 SAIC Added use type System.Address
-- 16 FEB 98 EDS Modified documentation.
-- 29 JUN 98 EDS Modified main program name.
--!
----------------------------------------------------------------- CD30005_0
with Impdef;
package CD30005_0 is
-- Check that Address clauses are supported for imported subprograms.
type External_Func_Ref is access function(N:Integer) return Integer;
pragma Convention( C, External_Func_Ref );
function CD30005_1( I: Integer ) return Integer;
pragma Import( C, CD30005_1,
Impdef.CD30005_1_External_Name ); -- N/A => ERROR.
for CD30005_1'Address use
Impdef.CD30005_1_Foreign_Address; -- ANX-C RQMT.
procedure TC_Check_Imports;
end CD30005_0;
-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
with Report;
with System.Storage_Elements;
with System.Address_To_Access_Conversions;
package body CD30005_0 is
use type System.Address;
procedure TC_Check_Imports is
S : External_Func_Ref := CD30005_1'Access;
I,K : Integer := 99;
begin
K := S.all(I);
if K /= 100 then
Report.Failed("C program returned" & Integer'Image(K));
end if;
I := CD30005_1( I );
if I /= 100 then
Report.Failed("C program returned" & Integer'Image(I));
end if;
if CD30005_1'Address /= Impdef.CD30005_1_Foreign_Address then
Report.Failed("Address not that specified");
end if;
end TC_Check_Imports;
end CD30005_0;
------------------------------------------------------------------- CD300050
with Report;
with CD30005_0;
procedure CD300050 is
begin -- Main test procedure.
Report.Test ("CD30005",
"Check that Address clauses are supported for imported " &
"subprograms" );
-- Check that Address clauses are supported for imported subprograms.
CD30005_0.TC_Check_Imports;
Report.Result;
end CD300050;