2006-10-31 Arnaud Charlet <charlet@adacore.com>

	* 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

1 files changed, 1 insertions, 89 deletions

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;