From e12545d34d8dfbeb9ad34744ca8b5bb934211346 Mon Sep 17 00:00:00 2001 From: charlet Date: Tue, 31 Oct 2006 18:11:19 +0000 Subject: 2006-10-31 Arnaud Charlet * s-restri.ads, s-restri.adb: Mark this package as Preelaborate. Remove elaboration code, now done in the binder. * s-rident.ads: Make this unit Preelaborate. (No_Restrictions): New constant used to clean up code and follow preelaborate constraints. * s-stalib.adb: Add System.Restrictions dependence, referenced directly from the binder generated file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118315 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/s-restri.adb | 90 +--------------------------------------------------- 1 file changed, 1 insertion(+), 89 deletions(-) (limited to 'gcc/ada/s-restri.adb') diff --git a/gcc/ada/s-restri.adb b/gcc/ada/s-restri.adb index d7b95256873..53dc0f3b701 100644 --- a/gcc/ada/s-restri.adb +++ b/gcc/ada/s-restri.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2004-2005, Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2006, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -56,92 +56,4 @@ package body System.Restrictions is Run_Time_Restrictions.Violated (No_Tasking); end Tasking_Allowed; --- Package elaboration code (acquire restrictions) - -begin - Acquire_Restrictions : declare - - subtype Big_String is String (Positive); - type Big_String_Ptr is access all Big_String; - - RString : Big_String_Ptr; - pragma Import (C, RString, "__gl_restrictions"); - - P : Natural := 1; - -- Pointer to scan string - - C : Character; - -- Next character from string - - function Get_Char return Character; - -- Get next character from string - - function Get_Natural return Natural; - -- Scan out natural value known to be in range, updating P past it - - -------------- - -- Get_Char -- - -------------- - - function Get_Char return Character is - begin - P := P + 1; - return RString (P - 1); - end Get_Char; - - ----------------- - -- Get_Natural -- - ----------------- - - function Get_Natural return Natural is - N : Natural := 0; - - begin - while RString (P) in '0' .. '9' loop - N := N * 10 + (Character'Pos (Get_Char) - Character'Pos ('0')); - end loop; - - return N; - end Get_Natural; - - -- Start of processing for Acquire_Restrictions - - begin - -- Acquire data corresponding to first R line - - for R in All_Boolean_Restrictions loop - C := Get_Char; - - if C = 'v' then - Run_Time_Restrictions.Violated (R) := True; - - elsif C = 'r' then - Run_Time_Restrictions.Set (R) := True; - end if; - end loop; - - -- Acquire data corresponding to second R line - - for RP in All_Parameter_Restrictions loop - - -- Acquire restrictions pragma information - - if Get_Char = 'r' then - Run_Time_Restrictions.Set (RP) := True; - Run_Time_Restrictions.Value (RP) := Get_Natural; - end if; - - -- Acquire restrictions violations information - - if Get_Char = 'v' then - Run_Time_Restrictions.Violated (RP) := True; - Run_Time_Restrictions.Count (RP) := Get_Natural; - - if RString (P) = '+' then - Run_Time_Restrictions.Unknown (RP) := True; - P := P + 1; - end if; - end if; - end loop; - end Acquire_Restrictions; end System.Restrictions; -- cgit v1.2.1