URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [ca/] [ca21001.a] - Rev 384
Compare with Previous | Blame | View Log
-- CA21001.A
--
-- Grant of Unlimited Rights
--
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687 and
-- F08630-91-C-0015, 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 WHATSOVER, 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 the requirements of the revised 10.2.1(11) from Technical
-- Corrigendum 1 (originally discussed as AI95-00002).
-- A package subunit whose parent is a preelaborated subprogram need
-- not be preelaborable.
--
-- TEST DESCRIPTION
-- We create several preelaborated library procedures with
-- non-preelaborable package body subunits. We try various levels
-- of nesting of package and procedure subunits.
--
-- CHANGE HISTORY:
-- 29 JUN 1999 RAD Initial Version
-- 23 SEP 1999 RLB Improved comments, renamed, issued.
--
--!
procedure CA21001_1(X: out Integer);
pragma Preelaborate(CA21001_1);
procedure CA21001_1(X: out Integer) is
function F return Integer is separate;
package Sub is
function G(X: Integer) return Integer;
-- Returns X + 1.
Not_Preelaborable: Integer := F; -- OK, by AI-2.
end Sub;
package body Sub is separate;
begin
X := -1;
X := F;
X := Sub.G(X);
end CA21001_1;
separate(CA21001_1)
package body Sub is
package Sub_Sub is
-- Empty.
end Sub_Sub;
package body Sub_Sub is separate;
function G(X: Integer) return Integer is separate;
begin
Not_Preelaborable := G(F); -- OK, by AI-2.
if Not_Preelaborable /= 101 then
raise Program_Error; -- Can't call Report.Failed, here,
-- because Report is not preelaborated.
end if;
end Sub;
separate(CA21001_1.Sub)
package body Sub_Sub is
begin
X := X; -- OK by AI-2.
end Sub_Sub;
separate(CA21001_1.Sub)
function G(X: Integer) return Integer is
package G_Sub is
function H(X: Integer) return Integer;
-- Returns X + 1.
Not_Preelaborable: Integer := F; -- OK, by AI-2.
end G_Sub;
package body G_Sub is separate;
begin
return G_Sub.H(X);
end G;
separate(CA21001_1.Sub.G)
package body G_Sub is
function H(X: Integer) return Integer is separate;
begin
Not_Preelaborable := H(F); -- OK, by AI-2.
if Not_Preelaborable /= 101 then
raise Program_Error; -- Can't call Report.Failed, here,
-- because Report is not preelaborated.
end if;
end G_Sub;
separate(CA21001_1.Sub.G.G_Sub)
function H(X: Integer) return Integer is
begin
return X + 1;
end H;
separate(CA21001_1)
function F return Integer is
package F_Sub is
-- Empty.
end F_Sub;
package body F_Sub is separate;
begin
return 100;
end F;
separate(CA21001_1.F)
package body F_Sub is
True_Var: Boolean;
begin
True_Var := True;
if True_Var then -- OK by AI-2.
X := X;
else
X := X + 2;
end if;
end F_Sub;
with Report; use Report;
with CA21001_1;
procedure CA21001 is
X: Integer := 0;
begin
Test("CA21001",
"Test that a package subunit whose parent is a preelaborated"
& " subprogram need not be preelaborable");
CA21001_1(X);
if X /= 101 then
Failed("Bad value for X");
end if;
Result;
end CA21001;