diff options
301 files changed, 568 insertions, 573 deletions
diff --git a/gcc/ada/a-astaco.ads b/gcc/ada/a-astaco.ads index 60660834850..dad55e0b623 100644 --- a/gcc/ada/a-astaco.ads +++ b/gcc/ada/a-astaco.ads @@ -27,8 +27,8 @@ with Ada.Task_Identification; package Ada.Asynchronous_Task_Control is -pragma Preelaborate_05 (Asynchronous_Task_Control); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate_05; + -- In accordance with Ada 2005 AI-362 pragma Unimplemented_Unit; diff --git a/gcc/ada/a-cdlili.ads b/gcc/ada/a-cdlili.ads index 3e215a17c60..70c0f806f5b 100644 --- a/gcc/ada/a-cdlili.ads +++ b/gcc/ada/a-cdlili.ads @@ -43,7 +43,7 @@ generic return Boolean is <>; package Ada.Containers.Doubly_Linked_Lists is - pragma Preelaborate (Doubly_Linked_Lists); + pragma Preelaborate; type List is tagged private; diff --git a/gcc/ada/a-chacon.ads b/gcc/ada/a-chacon.ads index 242a34ef1bf..7c36c817784 100755 --- a/gcc/ada/a-chacon.ads +++ b/gcc/ada/a-chacon.ads @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Characters.Conversions is -pragma Pure (Conversions); + pragma Pure; function Is_Character (Item : Wide_Character) return Boolean; function Is_String (Item : Wide_String) return Boolean; diff --git a/gcc/ada/a-chahan.ads b/gcc/ada/a-chahan.ads index 0002712932d..7bc2ded790b 100644 --- a/gcc/ada/a-chahan.ads +++ b/gcc/ada/a-chahan.ads @@ -36,9 +36,9 @@ ------------------------------------------------------------------------------ package Ada.Characters.Handling is -pragma Preelaborate (Handling); -pragma Pure_05 (Handling); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate; + pragma Pure_05; + -- In accordance with Ada 2005 AI-362 ---------------------------------------- -- Character Classification Functions -- diff --git a/gcc/ada/a-charac.ads b/gcc/ada/a-charac.ads index 43b709bdc93..87889587754 100644 --- a/gcc/ada/a-charac.ads +++ b/gcc/ada/a-charac.ads @@ -14,6 +14,6 @@ ------------------------------------------------------------------------------ package Ada.Characters is -pragma Pure (Characters); + pragma Pure; end Ada.Characters; diff --git a/gcc/ada/a-chlat1.ads b/gcc/ada/a-chlat1.ads index a008b22f05c..2d8a8bc7a3f 100644 --- a/gcc/ada/a-chlat1.ads +++ b/gcc/ada/a-chlat1.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Characters.Latin_1 is -pragma Pure (Latin_1); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-chlat9.ads b/gcc/ada/a-chlat9.ads index 827251f405c..30f351af829 100644 --- a/gcc/ada/a-chlat9.ads +++ b/gcc/ada/a-chlat9.ads @@ -36,11 +36,11 @@ -- -- ------------------------------------------------------------------------------ --- This package provides definitions for Latin-9 (ISO-8859-9) analogous to +-- This package provides definitions for Latin-9 (ISO-8859-15) analogous to -- those defined in the standard package Ada.Characters.Latin_1 for Latin-1. package Ada.Characters.Latin_9 is -pragma Pure (Latin_9); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-chzla1.ads b/gcc/ada/a-chzla1.ads index 31639496bdf..13496b66dc0 100644 --- a/gcc/ada/a-chzla1.ads +++ b/gcc/ada/a-chzla1.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Wide_Latin_1 is -pragma Pure (Wide_Wide_Latin_1); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-chzla9.ads b/gcc/ada/a-chzla9.ads index 596246de325..67459241dc7 100644 --- a/gcc/ada/a-chzla9.ads +++ b/gcc/ada/a-chzla9.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Wide_Latin_9 is -pragma Pure (Wide_Wide_Latin_9); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-cidlli.ads b/gcc/ada/a-cidlli.ads index 79e805a90fb..eb8657fe4fd 100644 --- a/gcc/ada/a-cidlli.ads +++ b/gcc/ada/a-cidlli.ads @@ -38,14 +38,13 @@ with Ada.Finalization; with Ada.Streams; generic - type Element_Type (<>) is private; with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Doubly_Linked_Lists is - pragma Preelaborate (Indefinite_Doubly_Linked_Lists); + pragma Preelaborate; type List is tagged private; diff --git a/gcc/ada/a-cihama.ads b/gcc/ada/a-cihama.ads index 8156dbd502b..93bdd81e8a2 100644 --- a/gcc/ada/a-cihama.ads +++ b/gcc/ada/a-cihama.ads @@ -47,7 +47,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Hashed_Maps is - pragma Preelaborate (Indefinite_Hashed_Maps); + pragma Preelaborate; type Map is tagged private; type Cursor is private; diff --git a/gcc/ada/a-ciorma.ads b/gcc/ada/a-ciorma.ads index 8f617d1fb7d..4815ebd2e35 100644 --- a/gcc/ada/a-ciorma.ads +++ b/gcc/ada/a-ciorma.ads @@ -39,7 +39,6 @@ with Ada.Finalization; with Ada.Streams; generic - type Key_Type (<>) is private; type Element_Type (<>) is private; @@ -49,7 +48,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Ordered_Maps is -pragma Preelaborate (Indefinite_Ordered_Maps); + pragma Preelaborate; type Map is tagged private; diff --git a/gcc/ada/a-ciormu.ads b/gcc/ada/a-ciormu.ads index 5120d783236..d2bf68dfd68 100644 --- a/gcc/ada/a-ciormu.ads +++ b/gcc/ada/a-ciormu.ads @@ -45,7 +45,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Ordered_Multisets is -pragma Preelaborate (Indefinite_Ordered_Multisets); + pragma Preelaborate; type Set is tagged private; diff --git a/gcc/ada/a-cohama.ads b/gcc/ada/a-cohama.ads index 2ecb36469f3..0c74943506e 100644 --- a/gcc/ada/a-cohama.ads +++ b/gcc/ada/a-cohama.ads @@ -49,7 +49,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Hashed_Maps is -pragma Preelaborate (Hashed_Maps); + pragma Preelaborate; type Map is tagged private; diff --git a/gcc/ada/a-cohata.ads b/gcc/ada/a-cohata.ads index c39d0003959..d453da2a347 100644 --- a/gcc/ada/a-cohata.ads +++ b/gcc/ada/a-cohata.ads @@ -34,7 +34,7 @@ ------------------------------------------------------------------------------ package Ada.Containers.Hash_Tables is -pragma Preelaborate; + pragma Preelaborate; generic type Node_Type (<>) is limited private; diff --git a/gcc/ada/a-coinve.ads b/gcc/ada/a-coinve.ads index e2a4de9539c..6ccfda5f7fa 100644 --- a/gcc/ada/a-coinve.ads +++ b/gcc/ada/a-coinve.ads @@ -44,7 +44,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Indefinite_Vectors is -pragma Preelaborate (Indefinite_Vectors); + pragma Preelaborate; subtype Extended_Index is Index_Type'Base range Index_Type'First - 1 .. diff --git a/gcc/ada/a-colire.adb b/gcc/ada/a-colire.adb index 50d99a1306b..de273b50f1a 100644 --- a/gcc/ada/a-colire.adb +++ b/gcc/ada/a-colire.adb @@ -38,7 +38,7 @@ package body Ada.Command_Line.Remove is ----------------------- procedure Initialize; - -- Initialize the Remove_Count and Remove_Args variables. + -- Initialize the Remove_Count and Remove_Args variables ---------------- -- Initialize -- diff --git a/gcc/ada/a-colire.ads b/gcc/ada/a-colire.ads index 35f6a49c5cc..8c5a518575e 100644 --- a/gcc/ada/a-colire.ads +++ b/gcc/ada/a-colire.ads @@ -41,7 +41,7 @@ -- argument, Argument_Count will be 2, and Argument (2) will return C. package Ada.Command_Line.Remove is -pragma Preelaborate (Remove); + pragma Preelaborate; procedure Remove_Argument (Number : in Positive); -- Removes the argument identified by Number, which must be in the diff --git a/gcc/ada/a-comlin.ads b/gcc/ada/a-comlin.ads index f1d6093e72e..1ddc3e1da6e 100644 --- a/gcc/ada/a-comlin.ads +++ b/gcc/ada/a-comlin.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Command_Line is -pragma Preelaborate (Command_Line); + pragma Preelaborate; function Argument_Count return Natural; -- If the external execution environment supports passing arguments to a diff --git a/gcc/ada/a-contai.ads b/gcc/ada/a-contai.ads index 5e746c3a4fe..41d99b1f628 100644 --- a/gcc/ada/a-contai.ads +++ b/gcc/ada/a-contai.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Containers is -pragma Pure (Containers); + pragma Pure; type Hash_Type is mod 2**32; type Count_Type is range 0 .. 2**31 - 1; diff --git a/gcc/ada/a-convec.ads b/gcc/ada/a-convec.ads index 9c4e76a02b3..9b5c9bb82cf 100644 --- a/gcc/ada/a-convec.ads +++ b/gcc/ada/a-convec.ads @@ -42,7 +42,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Vectors is -pragma Preelaborate (Vectors); + pragma Preelaborate; subtype Extended_Index is Index_Type'Base range Index_Type'First - 1 .. diff --git a/gcc/ada/a-coorma.ads b/gcc/ada/a-coorma.ads index 346fc15f7b3..0efa16fbbb0 100644 --- a/gcc/ada/a-coorma.ads +++ b/gcc/ada/a-coorma.ads @@ -47,7 +47,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Ordered_Maps is -pragma Preelaborate (Ordered_Maps); + pragma Preelaborate; type Map is tagged private; diff --git a/gcc/ada/a-coormu.ads b/gcc/ada/a-coormu.ads index 2e114709ceb..cb42f07d349 100644 --- a/gcc/ada/a-coormu.ads +++ b/gcc/ada/a-coormu.ads @@ -44,7 +44,7 @@ generic with function "=" (Left, Right : Element_Type) return Boolean is <>; package Ada.Containers.Ordered_Multisets is -pragma Preelaborate (Ordered_Multisets); + pragma Preelaborate; type Set is tagged private; diff --git a/gcc/ada/a-coprnu.ads b/gcc/ada/a-coprnu.ads index a7ae867e9a8..20e49d87996 100644 --- a/gcc/ada/a-coprnu.ads +++ b/gcc/ada/a-coprnu.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Containers.Prime_Numbers is -pragma Pure (Prime_Numbers); + pragma Pure; type Primes_Type is array (Positive range <>) of Hash_Type; diff --git a/gcc/ada/a-crbltr.ads b/gcc/ada/a-crbltr.ads index f8f5589d370..9df13623d43 100644 --- a/gcc/ada/a-crbltr.ads +++ b/gcc/ada/a-crbltr.ads @@ -34,7 +34,7 @@ ------------------------------------------------------------------------------ package Ada.Containers.Red_Black_Trees is -pragma Pure (Red_Black_Trees); + pragma Pure; type Color_Type is (Red, Black); diff --git a/gcc/ada/a-crbtgk.ads b/gcc/ada/a-crbtgk.ads index d20d7004da9..e1a3824a953 100644 --- a/gcc/ada/a-crbtgk.ads +++ b/gcc/ada/a-crbtgk.ads @@ -32,7 +32,7 @@ generic R : Node_Access) return Boolean; package Ada.Containers.Red_Black_Trees.Generic_Keys is -pragma Pure (Generic_Keys); + pragma Pure; generic with function New_Node return Node_Access; diff --git a/gcc/ada/a-crbtgo.ads b/gcc/ada/a-crbtgo.ads index fe372cca422..8b3ab50f7f8 100644 --- a/gcc/ada/a-crbtgo.ads +++ b/gcc/ada/a-crbtgo.ads @@ -50,7 +50,7 @@ generic with procedure Set_Color (Node : Node_Access; Color : Color_Type) is <>; package Ada.Containers.Red_Black_Trees.Generic_Operations is -pragma Pure; + pragma Pure; function Min (Node : Node_Access) return Node_Access; diff --git a/gcc/ada/a-cwila1.ads b/gcc/ada/a-cwila1.ads index 4c823304a5e..0237237bd19 100644 --- a/gcc/ada/a-cwila1.ads +++ b/gcc/ada/a-cwila1.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Latin_1 is -pragma Pure (Wide_Latin_1); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-cwila9.ads b/gcc/ada/a-cwila9.ads index 00debefac8f..94fcad9f27a 100644 --- a/gcc/ada/a-cwila9.ads +++ b/gcc/ada/a-cwila9.ads @@ -37,7 +37,7 @@ -- is in accordance with the implementation permission in RM (A.3.3(27)). package Ada.Characters.Wide_Latin_9 is -pragma Pure (Wide_Latin_9); + pragma Pure; ------------------------ -- Control Characters -- diff --git a/gcc/ada/a-decima.ads b/gcc/ada/a-decima.ads index 1c80cb97922..960c9c04e7c 100644 --- a/gcc/ada/a-decima.ads +++ b/gcc/ada/a-decima.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Decimal is -pragma Pure (Decimal); + pragma Pure; -- The compiler makes a number of assumptions based on the following five -- constants (e.g. there is an assumption that decimal values can always diff --git a/gcc/ada/a-dynpri.ads b/gcc/ada/a-dynpri.ads index f9724daa193..e179f46ea40 100644 --- a/gcc/ada/a-dynpri.ads +++ b/gcc/ada/a-dynpri.ads @@ -17,8 +17,8 @@ with System; with Ada.Task_Identification; package Ada.Dynamic_Priorities is -pragma Preelaborate_05 (Dynamic_Priorities); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate_05; + -- In accordance with Ada 2005 AI-362 procedure Set_Priority (Priority : System.Any_Priority; diff --git a/gcc/ada/a-exextr.adb b/gcc/ada/a-exextr.adb index 15659f2a473..caeb23c321d 100644 --- a/gcc/ada/a-exextr.adb +++ b/gcc/ada/a-exextr.adb @@ -85,7 +85,7 @@ package body Exception_Traces is procedure Unhandled_Exception; pragma Export (C, Unhandled_Exception, "__gnat_unhandled_exception"); - -- Hook for GDB to support "break exception unhandled". + -- Hook for GDB to support "break exception unhandled" -- For "break exception", GDB uses __gnat_raise_nodefer_with_msg, which -- is not in this section because it fullfills other purposes than a mere diff --git a/gcc/ada/a-filico.ads b/gcc/ada/a-filico.ads index 9c0884b927c..624ba5fa7ef 100644 --- a/gcc/ada/a-filico.ads +++ b/gcc/ada/a-filico.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997, 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,8 +32,9 @@ ------------------------------------------------------------------------------ with System.Finalization_Root; + package Ada.Finalization.List_Controller is -pragma Elaborate_Body (List_Controller); + pragma Elaborate_Body; package SFR renames System.Finalization_Root; diff --git a/gcc/ada/a-finali.ads b/gcc/ada/a-finali.ads index ee7feeaf240..c2ae4210ca6 100644 --- a/gcc/ada/a-finali.ads +++ b/gcc/ada/a-finali.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -38,7 +38,7 @@ with System.Finalization_Root; package Ada.Finalization is -pragma Preelaborate (Finalization); + pragma Preelaborate; type Controlled is abstract tagged private; diff --git a/gcc/ada/a-interr.ads b/gcc/ada/a-interr.ads index 188300a5703..941af5894fa 100644 --- a/gcc/ada/a-interr.ads +++ b/gcc/ada/a-interr.ads @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ with System.Interrupts; --- used for Ada_Interrupt_ID. +-- used for Ada_Interrupt_ID package Ada.Interrupts is diff --git a/gcc/ada/a-ioexce.ads b/gcc/ada/a-ioexce.ads index 80546dfac15..d4c6ee5d294 100644 --- a/gcc/ada/a-ioexce.ads +++ b/gcc/ada/a-ioexce.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.IO_Exceptions is -pragma Pure (IO_Exceptions); + pragma Pure; Status_Error : exception; Mode_Error : exception; diff --git a/gcc/ada/a-ngcefu.adb b/gcc/ada/a-ngcefu.adb index 5e2c1471323..44216466cb4 100644 --- a/gcc/ada/a-ngcefu.adb +++ b/gcc/ada/a-ngcefu.adb @@ -305,7 +305,7 @@ package body Ada.Numerics.Generic_Complex_Elementary_Functions is Result : Complex; begin - -- For very small argument, sin (x) = x. + -- For very small argument, sin (x) = x if abs Re (X) < Square_Root_Epsilon and then abs Im (X) < Square_Root_Epsilon @@ -642,7 +642,7 @@ package body Ada.Numerics.Generic_Complex_Elementary_Functions is end if; end if; - if Im (X) < 0.0 then -- halve angle, Sqrt of magnitude + if Im (X) < 0.0 then -- halve angle, Sqrt of magnitude R_Y := -R_Y; end if; return Compose_From_Cartesian (R_X, R_Y); @@ -650,7 +650,7 @@ package body Ada.Numerics.Generic_Complex_Elementary_Functions is exception when Constraint_Error => - -- Rescale and try again. + -- Rescale and try again R := Modulus (Compose_From_Cartesian (Re (X / 4.0), Im (X / 4.0))); R_X := 2.0 * Sqrt (0.5 * R + 0.5 * Re (X / 4.0)); diff --git a/gcc/ada/a-ngcefu.ads b/gcc/ada/a-ngcefu.ads index e5ed0c70c25..a60f668f278 100644 --- a/gcc/ada/a-ngcefu.ads +++ b/gcc/ada/a-ngcefu.ads @@ -19,7 +19,7 @@ generic use Complex_Types; package Ada.Numerics.Generic_Complex_Elementary_Functions is - pragma Pure (Ada.Numerics.Generic_Complex_Elementary_Functions); + pragma Pure; function Sqrt (X : Complex) return Complex; diff --git a/gcc/ada/a-ngcoty.adb b/gcc/ada/a-ngcoty.adb index 2a9cc4b1434..aa8c9955d0f 100644 --- a/gcc/ada/a-ngcoty.adb +++ b/gcc/ada/a-ngcoty.adb @@ -51,7 +51,7 @@ package body Ada.Numerics.Generic_Complex_Types is X := Left.Re * Right.Re - Left.Im * Right.Im; Y := Left.Re * Right.Im + Left.Im * Right.Re; - -- If either component overflows, try to scale. + -- If either component overflows, try to scale if abs (X) > R'Last then X := R'(4.0) * (R'(Left.Re / 2.0) * R'(Right.Re / 2.0) @@ -626,7 +626,7 @@ package body Ada.Numerics.Generic_Complex_Types is elsif Im2 = 0.0 then return abs (X.Re); - -- in all other cases, the naive computation will do. + -- In all other cases, the naive computation will do else return R (Sqrt (Double (Re2 + Im2))); diff --git a/gcc/ada/a-ngcoty.ads b/gcc/ada/a-ngcoty.ads index 15c099b4b05..fd6c9071b4a 100644 --- a/gcc/ada/a-ngcoty.ads +++ b/gcc/ada/a-ngcoty.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -39,8 +39,7 @@ generic type Real is digits <>; package Ada.Numerics.Generic_Complex_Types is - -pragma Pure (Generic_Complex_Types); + pragma Pure; type Complex is record Re, Im : Real'Base; diff --git a/gcc/ada/a-ngelfu.ads b/gcc/ada/a-ngelfu.ads index 520b61549e3..c115411ca89 100644 --- a/gcc/ada/a-ngelfu.ads +++ b/gcc/ada/a-ngelfu.ads @@ -17,7 +17,7 @@ generic type Float_Type is digits <>; package Ada.Numerics.Generic_Elementary_Functions is -pragma Pure (Generic_Elementary_Functions); + pragma Pure; function Sqrt (X : Float_Type'Base) return Float_Type'Base; function Log (X : Float_Type'Base) return Float_Type'Base; diff --git a/gcc/ada/a-nudira.adb b/gcc/ada/a-nudira.adb index d0c0a7b5004..9cdd8a149e1 100644 --- a/gcc/ada/a-nudira.adb +++ b/gcc/ada/a-nudira.adb @@ -261,7 +261,7 @@ package body Ada.Numerics.Discrete_Random is Outs.FP := Flt (Outs.P); Outs.Scl := (RstL - RstF + 1.0) / (Flt (Outs.P) * Flt (Outs.Q)); - -- Now do *some* sanity checks. + -- Now do *some* sanity checks if Outs.Q < 31 or else Outs.X1 not in 2 .. Outs.P - 1 diff --git a/gcc/ada/a-nudira.ads b/gcc/ada/a-nudira.ads index eeb512557bb..275e89825fd 100644 --- a/gcc/ada/a-nudira.ads +++ b/gcc/ada/a-nudira.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -35,14 +35,13 @@ -- -- ------------------------------------------------------------------------------ --- Note: the implementation used in this package was contributed by --- Robert Eachus. It is based on the work of L. Blum, M. Blum, and --- M. Shub, SIAM Journal of Computing, Vol 15. No 2, May 1986. The --- particular choices for P and Q chosen here guarantee a period of --- 562,085,314,430,582 (about 2**49), and the generated sequence has --- excellent randomness properties. For further details, see the --- paper "Fast Generation of Trustworthy Random Numbers", by Robert --- Eachus, which describes both the algorithm and the efficient +-- Note: the implementation used in this package was contributed by Robert +-- Eachus. It is based on the work of L. Blum, M. Blum, and M. Shub, SIAM +-- Journal of Computing, Vol 15. No 2, May 1986. The particular choices for P +-- and Q chosen here guarantee a period of 562,085,314,430,582 (about 2**49), +-- and the generated sequence has excellent randomness properties. For further +-- details, see the paper "Fast Generation of Trustworthy Random Numbers", by +-- Robert Eachus, which describes both the algorithm and the efficient -- implementation approach used here. with Interfaces; @@ -52,16 +51,16 @@ generic package Ada.Numerics.Discrete_Random is - -- The algorithm used here is reliable from a required statistical point - -- of view only up to 48 bits. We try to behave reasonably in the case - -- of larger types, but we can't guarantee the required properties. - -- So generate a warning for these (slightly) dubious cases. + -- The algorithm used here is reliable from a required statistical point of + -- view only up to 48 bits. We try to behave reasonably in the case of + -- larger types, but we can't guarantee the required properties. So + -- generate a warning for these (slightly) dubious cases. pragma Compile_Time_Warning (Result_Subtype'Size > 48, "statistical properties not guaranteed for size '> 48"); - -- Basic facilities. + -- Basic facilities type Generator is limited private; @@ -70,7 +69,7 @@ package Ada.Numerics.Discrete_Random is procedure Reset (Gen : Generator); procedure Reset (Gen : Generator; Initiator : Integer); - -- Advanced facilities. + -- Advanced facilities type State is private; diff --git a/gcc/ada/a-nuflra.adb b/gcc/ada/a-nuflra.adb index 2bba46a4bd0..5f43c97df6b 100644 --- a/gcc/ada/a-nuflra.adb +++ b/gcc/ada/a-nuflra.adb @@ -164,7 +164,7 @@ package body Ada.Numerics.Float_Random is X1 := 2 + Int (Initiator) mod (K1 - 3); X2 := 2 + Int (Initiator) mod (K2 - 3); - -- Eliminate effects of small Initiators. + -- Eliminate effects of small initiators for J in 1 .. 5 loop X1 := Square_Mod_N (X1, K1); @@ -299,7 +299,7 @@ package body Ada.Numerics.Float_Random is Outs.X := Euclid (Outs.P, Outs.Q); Outs.Scl := 1.0 / (Flt (Outs.P) * Flt (Outs.Q)); - -- Now do *some* sanity checks. + -- Now do *some* sanity checks if Outs.Q < 31 or else Outs.P < 31 or else Outs.X1 not in 2 .. Outs.P - 1 diff --git a/gcc/ada/a-numaux-darwin.ads b/gcc/ada/a-numaux-darwin.ads index 59d6506793c..67faa0f9982 100644 --- a/gcc/ada/a-numaux-darwin.ads +++ b/gcc/ada/a-numaux-darwin.ads @@ -41,7 +41,7 @@ -- routines that take 80-bit arguments). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; pragma Linker_Options ("-lm"); diff --git a/gcc/ada/a-numaux-libc-x86.ads b/gcc/ada/a-numaux-libc-x86.ads index a41ca472429..8e94fa0176d 100644 --- a/gcc/ada/a-numaux-libc-x86.ads +++ b/gcc/ada/a-numaux-libc-x86.ads @@ -44,7 +44,7 @@ -- double (see file a-numaux.ads). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; pragma Linker_Options ("-lm"); diff --git a/gcc/ada/a-numaux-vxworks.ads b/gcc/ada/a-numaux-vxworks.ads index e11a9b243b7..db71c046444 100644 --- a/gcc/ada/a-numaux-vxworks.ads +++ b/gcc/ada/a-numaux-vxworks.ads @@ -44,7 +44,7 @@ -- long double (see file 4onumaux.ads). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; -- This version omits the pragma linker_options ("-lm") since there is -- no libm.a library for VxWorks. diff --git a/gcc/ada/a-numaux-x86.ads b/gcc/ada/a-numaux-x86.ads index 58ec2594c20..97cf691b127 100644 --- a/gcc/ada/a-numaux-x86.ads +++ b/gcc/ada/a-numaux-x86.ads @@ -42,7 +42,7 @@ -- routines directly. package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; type Double is new Long_Long_Float; diff --git a/gcc/ada/a-numaux.ads b/gcc/ada/a-numaux.ads index 250759b5d37..fb09ad1009b 100644 --- a/gcc/ada/a-numaux.ads +++ b/gcc/ada/a-numaux.ads @@ -46,7 +46,7 @@ -- routines that take 80-bit arguments). package Ada.Numerics.Aux is -pragma Pure (Aux); + pragma Pure; pragma Linker_Options ("-lm"); diff --git a/gcc/ada/a-numeri.ads b/gcc/ada/a-numeri.ads index dccab502196..a0513d01969 100644 --- a/gcc/ada/a-numeri.ads +++ b/gcc/ada/a-numeri.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Numerics is -pragma Pure (Numerics); + pragma Pure; Argument_Error : exception; diff --git a/gcc/ada/a-rbtgso.ads b/gcc/ada/a-rbtgso.ads index 9941e535d76..381ac5b0b6d 100644 --- a/gcc/ada/a-rbtgso.ads +++ b/gcc/ada/a-rbtgso.ads @@ -37,7 +37,7 @@ generic with procedure Free (X : in out Node_Access); package Ada.Containers.Red_Black_Trees.Generic_Set_Operations is -pragma Pure (Generic_Set_Operations); + pragma Pure; procedure Union (Target : in out Tree_Type; Source : Tree_Type); diff --git a/gcc/ada/a-reatim.adb b/gcc/ada/a-reatim.adb index 9145edfb1b3..b15a6e155bd 100644 --- a/gcc/ada/a-reatim.adb +++ b/gcc/ada/a-reatim.adb @@ -198,7 +198,7 @@ package body Ada.Real_Time is T_Val := abs (T); end if; - -- Extract the integer part of T, truncating towards zero. + -- Extract the integer part of T, truncating towards zero if T_Val < 0.5 then SC := 0; diff --git a/gcc/ada/a-stmaco.ads b/gcc/ada/a-stmaco.ads index 0b6c00493a2..660f557a266 100644 --- a/gcc/ada/a-stmaco.ads +++ b/gcc/ada/a-stmaco.ads @@ -38,9 +38,9 @@ with Ada.Characters.Latin_1; package Ada.Strings.Maps.Constants is -pragma Preelaborate (Constants); -pragma Pure_05 (Constants); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate; + pragma Pure_05; + -- In accordance with Ada 2005 AI-362 Control_Set : constant Character_Set; Graphic_Set : constant Character_Set; diff --git a/gcc/ada/a-storio.ads b/gcc/ada/a-storio.ads index f32c97d0cd0..23e57c53abd 100644 --- a/gcc/ada/a-storio.ads +++ b/gcc/ada/a-storio.ads @@ -20,7 +20,7 @@ generic type Element_Type is private; package Ada.Storage_IO is -pragma Preelaborate (Storage_IO); + pragma Preelaborate; Buffer_Size : constant System.Storage_Elements.Storage_Count := System.Storage_Elements.Storage_Count diff --git a/gcc/ada/a-strbou.ads b/gcc/ada/a-strbou.ads index 1cc4cae4aad..74bb8f697a1 100644 --- a/gcc/ada/a-strbou.ads +++ b/gcc/ada/a-strbou.ads @@ -39,7 +39,7 @@ with Ada.Strings.Maps; with Ada.Strings.Superbounded; package Ada.Strings.Bounded is -pragma Preelaborate (Bounded); + pragma Preelaborate; generic Max : Positive; diff --git a/gcc/ada/a-stream.ads b/gcc/ada/a-stream.ads index 6b38723d523..0b68692857a 100644 --- a/gcc/ada/a-stream.ads +++ b/gcc/ada/a-stream.ads @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Ada.Streams is -pragma Pure (Streams); + pragma Pure; type Root_Stream_Type is abstract tagged limited private; diff --git a/gcc/ada/a-strfix.ads b/gcc/ada/a-strfix.ads index b85b4078645..04087925f7d 100644 --- a/gcc/ada/a-strfix.ads +++ b/gcc/ada/a-strfix.ads @@ -16,7 +16,7 @@ with Ada.Strings.Maps; package Ada.Strings.Fixed is -pragma Preelaborate (Fixed); + pragma Preelaborate; -------------------------------------------------------------- -- Copy Procedure for Strings of Possibly Different Lengths -- diff --git a/gcc/ada/a-string.ads b/gcc/ada/a-string.ads index bc1e472f4d5..a599c2be8c4 100644 --- a/gcc/ada/a-string.ads +++ b/gcc/ada/a-string.ads @@ -14,7 +14,7 @@ ------------------------------------------------------------------------------ package Ada.Strings is -pragma Pure (Strings); + pragma Pure; Space : constant Character := ' '; Wide_Space : constant Wide_Character := ' '; diff --git a/gcc/ada/a-strmap.ads b/gcc/ada/a-strmap.ads index f15fac5f684..3331a2f1666 100644 --- a/gcc/ada/a-strmap.ads +++ b/gcc/ada/a-strmap.ads @@ -38,9 +38,9 @@ with Ada.Characters.Latin_1; package Ada.Strings.Maps is -pragma Preelaborate (Maps); -pragma Pure_05 (Maps); --- In accordance with Ada 2005 AI-362 + pragma Preelaborate; + pragma Pure_05; + -- In accordance with Ada 2005 AI-362 -------------------------------- -- Character Set Declarations -- diff --git a/gcc/ada/a-strsea.ads b/gcc/ada/a-strsea.ads index 9fa7394fc5a..f9d81c74c70 100644 --- a/gcc/ada/a-strsea.ads +++ b/gcc/ada/a-strsea.ads @@ -41,7 +41,7 @@ with Ada.Strings.Maps; private package Ada.Strings.Search is -pragma Preelaborate (Search); + pragma Preelaborate; function Index (Source : String; diff --git a/gcc/ada/a-strsup.ads b/gcc/ada/a-strsup.ads index 42efe6def89..cf27f4a7495 100644 --- a/gcc/ada/a-strsup.ads +++ b/gcc/ada/a-strsup.ads @@ -41,7 +41,7 @@ with Ada.Strings.Maps; package Ada.Strings.Superbounded is -pragma Preelaborate (Superbounded); + pragma Preelaborate; type Super_String (Max_Length : Positive) is record Current_Length : Natural := 0; diff --git a/gcc/ada/a-strunb.ads b/gcc/ada/a-strunb.ads index a797454d1a0..0869995a167 100644 --- a/gcc/ada/a-strunb.ads +++ b/gcc/ada/a-strunb.ads @@ -39,7 +39,7 @@ with Ada.Strings.Maps; with Ada.Finalization; package Ada.Strings.Unbounded is -pragma Preelaborate (Unbounded); + pragma Preelaborate; type Unbounded_String is private; diff --git a/gcc/ada/a-stunau.ads b/gcc/ada/a-stunau.ads index 94396c917fe..c29e6db3c3f 100644 --- a/gcc/ada/a-stunau.ads +++ b/gcc/ada/a-stunau.ads @@ -37,7 +37,7 @@ -- utilities (such as GNAT.SPITBOL.Patterns). package Ada.Strings.Unbounded.Aux is -pragma Preelaborate (Aux); + pragma Preelaborate; procedure Get_String (U : Unbounded_String; diff --git a/gcc/ada/a-stwibo.ads b/gcc/ada/a-stwibo.ads index 456bb849ecf..4c056650fc9 100644 --- a/gcc/ada/a-stwibo.ads +++ b/gcc/ada/a-stwibo.ads @@ -39,7 +39,7 @@ with Ada.Strings.Wide_Maps; with Ada.Strings.Wide_Superbounded; package Ada.Strings.Wide_Bounded is -pragma Preelaborate (Wide_Bounded); + pragma Preelaborate; generic Max : Positive; diff --git a/gcc/ada/a-stwifi.ads b/gcc/ada/a-stwifi.ads index 75740de74c1..be2e03803fb 100644 --- a/gcc/ada/a-stwifi.ads +++ b/gcc/ada/a-stwifi.ads @@ -16,7 +16,7 @@ with Ada.Strings.Wide_Maps; package Ada.Strings.Wide_Fixed is -pragma Preelaborate (Wide_Fixed); + pragma Preelaborate; ------------------------------------------------------------------- -- Copy Procedure for Wide_Strings of Possibly Different Lengths -- diff --git a/gcc/ada/a-stwima.ads b/gcc/ada/a-stwima.ads index 48602a2f292..001f5da201e 100644 --- a/gcc/ada/a-stwima.ads +++ b/gcc/ada/a-stwima.ads @@ -38,7 +38,7 @@ with Ada.Finalization; package Ada.Strings.Wide_Maps is - pragma Preelaborate (Wide_Maps); + pragma Preelaborate; ------------------------------------- -- Wide Character Set Declarations -- diff --git a/gcc/ada/a-stwise.ads b/gcc/ada/a-stwise.ads index 6e004dac344..35241fc25e5 100644 --- a/gcc/ada/a-stwise.ads +++ b/gcc/ada/a-stwise.ads @@ -41,7 +41,7 @@ with Ada.Strings.Wide_Maps; private package Ada.Strings.Wide_Search is -pragma Preelaborate (Wide_Search); + pragma Preelaborate; function Index (Source : Wide_String; diff --git a/gcc/ada/a-stwisu.ads b/gcc/ada/a-stwisu.ads index c83be9cfd81..721e2a80481 100644 --- a/gcc/ada/a-stwisu.ads +++ b/gcc/ada/a-stwisu.ads @@ -42,7 +42,7 @@ with Ada.Strings.Wide_Maps; package Ada.Strings.Wide_Superbounded is -pragma Preelaborate (Wide_Superbounded); + pragma Preelaborate; Wide_NUL : constant Wide_Character := Wide_Character'Val (0); diff --git a/gcc/ada/a-stwiun.ads b/gcc/ada/a-stwiun.ads index 341f7436805..e2cb3644566 100644 --- a/gcc/ada/a-stwiun.ads +++ b/gcc/ada/a-stwiun.ads @@ -39,7 +39,8 @@ with Ada.Strings.Wide_Maps; with Ada.Finalization; package Ada.Strings.Wide_Unbounded is -pragma Preelaborate (Wide_Unbounded); + pragma Preelaborate; + type Unbounded_Wide_String is private; Null_Unbounded_Wide_String : constant Unbounded_Wide_String; diff --git a/gcc/ada/a-stzbou.ads b/gcc/ada/a-stzbou.ads index ccfd89d7f29..e4ad260871b 100644 --- a/gcc/ada/a-stzbou.ads +++ b/gcc/ada/a-stzbou.ads @@ -39,7 +39,7 @@ with Ada.Strings.Wide_Wide_Maps; with Ada.Strings.Wide_Wide_Superbounded; package Ada.Strings.Wide_Wide_Bounded is -pragma Preelaborate (Wide_Wide_Bounded); + pragma Preelaborate; generic Max : Positive; diff --git a/gcc/ada/a-stzfix.ads b/gcc/ada/a-stzfix.ads index 3b5066ae8c0..1670b381ce4 100644 --- a/gcc/ada/a-stzfix.ads +++ b/gcc/ada/a-stzfix.ads @@ -16,7 +16,7 @@ with Ada.Strings.Wide_Wide_Maps; package Ada.Strings.Wide_Wide_Fixed is -pragma Preelaborate (Wide_Wide_Fixed); + pragma Preelaborate; ------------------------------------------------------------------------ -- Copy Procedure for Wide_Wide_Strings of Possibly Different Lengths -- diff --git a/gcc/ada/a-stzmap.ads b/gcc/ada/a-stzmap.ads index c29a587e44c..f71e3dde106 100644 --- a/gcc/ada/a-stzmap.ads +++ b/gcc/ada/a-stzmap.ads @@ -38,7 +38,7 @@ with Ada.Finalization; package Ada.Strings.Wide_Wide_Maps is - pragma Preelaborate (Wide_Wide_Maps); + pragma Preelaborate; ------------------------------------------ -- Wide_Wide_Character Set Declarations -- diff --git a/gcc/ada/a-stzsea.ads b/gcc/ada/a-stzsea.ads index 526e4eb0d16..eef55151bfd 100644 --- a/gcc/ada/a-stzsea.ads +++ b/gcc/ada/a-stzsea.ads @@ -42,7 +42,7 @@ with Ada.Strings.Wide_Wide_Maps; private package Ada.Strings.Wide_Wide_Search is -pragma Preelaborate (Wide_Wide_Search); + pragma Preelaborate; function Index (Source : Wide_Wide_String; diff --git a/gcc/ada/a-stzsup.ads b/gcc/ada/a-stzsup.ads index e5b6989b64c..33b9ecb03f7 100644 --- a/gcc/ada/a-stzsup.ads +++ b/gcc/ada/a-stzsup.ads @@ -42,7 +42,7 @@ with Ada.Strings.Wide_Wide_Maps; package Ada.Strings.Wide_Wide_Superbounded is -pragma Preelaborate (Wide_Wide_Superbounded); + pragma Preelaborate; Wide_Wide_NUL : constant Wide_Wide_Character := Wide_Wide_Character'Val (0); diff --git a/gcc/ada/a-stzunb.ads b/gcc/ada/a-stzunb.ads index 5cf40cf05e9..b069e934dd2 100644 --- a/gcc/ada/a-stzunb.ads +++ b/gcc/ada/a-stzunb.ads @@ -39,7 +39,8 @@ with Ada.Strings.Wide_Wide_Maps; with Ada.Finalization; package Ada.Strings.Wide_Wide_Unbounded is -pragma Preelaborate (Wide_Wide_Unbounded); + pragma Preelaborate; + type Unbounded_Wide_Wide_String is private; Null_Unbounded_Wide_Wide_String : constant Unbounded_Wide_Wide_String; diff --git a/gcc/ada/a-swmwco.ads b/gcc/ada/a-swmwco.ads index 5193a0e580f..269b3f8d5b4 100644 --- a/gcc/ada/a-swmwco.ads +++ b/gcc/ada/a-swmwco.ads @@ -38,7 +38,7 @@ with Ada.Characters.Wide_Latin_1; package Ada.Strings.Wide_Maps.Wide_Constants is -pragma Preelaborate (Wide_Constants); + pragma Preelaborate; Control_Set : constant Wide_Maps.Wide_Character_Set; Graphic_Set : constant Wide_Maps.Wide_Character_Set; diff --git a/gcc/ada/a-swunau.ads b/gcc/ada/a-swunau.ads index 5a65271b287..ae2bed6b66c 100644 --- a/gcc/ada/a-swunau.ads +++ b/gcc/ada/a-swunau.ads @@ -37,7 +37,7 @@ -- utilities. package Ada.Strings.Wide_Unbounded.Aux is -pragma Preelaborate (Aux); + pragma Preelaborate; procedure Get_Wide_String (U : Unbounded_Wide_String; diff --git a/gcc/ada/a-szunau.ads b/gcc/ada/a-szunau.ads index 8fd28d61b29..fc5373d8375 100644 --- a/gcc/ada/a-szunau.ads +++ b/gcc/ada/a-szunau.ads @@ -37,7 +37,7 @@ -- other layered utilities. package Ada.Strings.Wide_Wide_Unbounded.Aux is -pragma Preelaborate (Aux); + pragma Preelaborate; procedure Get_Wide_Wide_String (U : Unbounded_Wide_Wide_String; diff --git a/gcc/ada/a-textio.ads b/gcc/ada/a-textio.ads index fd76bcf2af9..dbb9a1ad519 100644 --- a/gcc/ada/a-textio.ads +++ b/gcc/ada/a-textio.ads @@ -47,7 +47,7 @@ with System; with System.File_Control_Block; package Ada.Text_IO is -pragma Elaborate_Body (Text_IO); + pragma Elaborate_Body; type File_Type is limited private; type File_Mode is (In_File, Out_File, Append_File); diff --git a/gcc/ada/a-widcha.ads b/gcc/ada/a-widcha.ads index d912e3d39db..371c1c16599 100755 --- a/gcc/ada/a-widcha.ads +++ b/gcc/ada/a-widcha.ads @@ -17,5 +17,5 @@ -- available in Ada 95 mode, since it deals only with wide characters. package Ada.Wide_Characters is -pragma Pure (Wide_Characters); + pragma Pure; end Ada.Wide_Characters; diff --git a/gcc/ada/a-zchara.ads b/gcc/ada/a-zchara.ads index 916a9c0fe24..0802bfc62f4 100755 --- a/gcc/ada/a-zchara.ads +++ b/gcc/ada/a-zchara.ads @@ -14,5 +14,5 @@ ------------------------------------------------------------------------------ package Ada.Wide_Wide_Characters is -pragma Pure (Wide_Wide_Characters); + pragma Pure; end Ada.Wide_Wide_Characters; diff --git a/gcc/ada/ada.ads b/gcc/ada/ada.ads index fbebad4ddbf..2e9f35c8cd2 100644 --- a/gcc/ada/ada.ads +++ b/gcc/ada/ada.ads @@ -14,6 +14,6 @@ ------------------------------------------------------------------------------ package Ada is -pragma Pure (Ada); + pragma Pure; end Ada; diff --git a/gcc/ada/csets.ads b/gcc/ada/csets.ads index b8965b303c7..5b612b315c3 100644 --- a/gcc/ada/csets.ads +++ b/gcc/ada/csets.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package Csets is -pragma Elaborate_Body (Csets); + pragma Elaborate_Body; -- This package contains character tables for the various character -- sets that are supported for source representation. Character and diff --git a/gcc/ada/debug.ads b/gcc/ada/debug.ads index b140d4a6e55..48d71de72ea 100644 --- a/gcc/ada/debug.ads +++ b/gcc/ada/debug.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -31,13 +31,13 @@ -- -- ------------------------------------------------------------------------------ -package Debug is -pragma Preelaborate (Debug); - -- This package contains global flags used to control the inclusion -- of debugging code in various phases of the compiler. Some of these -- flags are also used by the binder and gnatmake. +package Debug is + pragma Preelaborate; + ------------------------- -- Dynamic Debug Flags -- ------------------------- diff --git a/gcc/ada/dec.ads b/gcc/ada/dec.ads index ab69c23889f..0d96585308e 100644 --- a/gcc/ada/dec.ads +++ b/gcc/ada/dec.ads @@ -36,5 +36,5 @@ -- the bind. It is also a convenient parent for all DEC IO child packages. package DEC is -pragma Pure (DEC); + pragma Pure; end DEC; diff --git a/gcc/ada/g-curexc.ads b/gcc/ada/g-curexc.ads index 8bdb0f8e10a..7fff4f303b1 100644 --- a/gcc/ada/g-curexc.ads +++ b/gcc/ada/g-curexc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1996-2004 Ada Core Technologies, Inc. -- +-- Copyright (C) 1996-2005 Ada Core Technologies, 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- -- @@ -44,7 +44,7 @@ -- from an exception handler. package GNAT.Current_Exception is -pragma Pure (Current_Exception); + pragma Pure; ----------------- -- Subprograms -- diff --git a/gcc/ada/g-except.ads b/gcc/ada/g-except.ads index 81e4976508d..6ad0673306e 100644 --- a/gcc/ada/g-except.ads +++ b/gcc/ada/g-except.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2002 Ada Core Technologies, Inc. -- +-- Copyright (C) 2000-2005 Ada Core Technologies, 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- -- @@ -43,7 +43,7 @@ -- package allows for raising the standard predefined exceptions at least. package GNAT.Exceptions is -pragma Pure (Exceptions); + pragma Pure; type Exception_Type is limited null record; -- Type used to specify which exception to raise. diff --git a/gcc/ada/g-regpat.ads b/gcc/ada/g-regpat.ads index 6d4257e547f..132d32f945c 100644 --- a/gcc/ada/g-regpat.ads +++ b/gcc/ada/g-regpat.ads @@ -7,7 +7,7 @@ -- S p e c -- -- -- -- Copyright (C) 1986 by University of Toronto. -- --- Copyright (C) 1996-2005 Ada Core Technologies, Inc. -- +-- Copyright (C) 1996-2005, AdaCore -- -- -- -- 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- -- @@ -68,7 +68,7 @@ -- extensions that provide full (type 0) computational capabilities. package GNAT.Regpat is -pragma Preelaborate (Regpat); + pragma Preelaborate; -- The grammar is the following: @@ -219,7 +219,7 @@ pragma Preelaborate (Regpat); -- Several versions of the Match subprogram are provided, with different -- parameters and return results. - -- See the description under each of these subprograms. + -- See the description under each of these subprograms -- Here is a short example showing how to get the substring matched by -- the first parenthesis pair. @@ -576,7 +576,7 @@ pragma Preelaborate (Regpat); Data : String; Data_First : Integer := -1; Data_Last : Positive := Positive'Last) return Boolean; - -- Return True if Data matches using the given pattern matcher. + -- Return True if Data matches using the given pattern matcher pragma Inline (Match); -- All except the last one below @@ -590,7 +590,7 @@ pragma Preelaborate (Regpat); -- Match Data using the given pattern matcher and store result in Matches. -- The expression matches if Matches (0) /= No_Match. -- - -- At most Matches'Length parenthesis are returned. + -- At most Matches'Length parenthesis are returned ----------- -- Debug -- @@ -615,26 +615,24 @@ private Program_First : constant := 1; - -- The "internal use only" fields in regexp are present to pass - -- info from compile to execute that permits the execute phase - -- to run lots faster on simple cases. They are: + -- The "internal use only" fields in regexp are present to pass info from + -- compile to execute that permits the execute phase to run lots faster on + -- simple cases. They are: -- First character that must begin a match or ASCII.Nul -- Anchored true iff match must start at beginning of line -- Must_Have pointer to string that match must include or null -- Must_Have_Length length of Must_Have string - -- First and Anchored permit very fast decisions on suitable - -- starting points for a match, cutting down the work a lot. - -- Must_Have permits fast rejection of lines that cannot possibly - -- match. - - -- The Must_Have tests are costly enough that Optimize - -- supplies a Must_Have only if the r.e. contains something potentially - -- expensive (at present, the only such thing detected is * or + - -- at the start of the r.e., which can involve a lot of backup). - -- The length is supplied because the test in Execute needs it - -- and Optimize is computing it anyway. + -- First and Anchored permit very fast decisions on suitable starting + -- points for a match, cutting down the work a lot. Must_Have permits fast + -- rejection of lines that cannot possibly match. + + -- The Must_Have tests are costly enough that Optimize supplies a Must_Have + -- only if the r.e. contains something potentially expensive (at present, + -- the only such thing detected is * or at the start of the r.e., which can + -- involve a lot of backup). The length is supplied because the test in + -- Execute needs it and Optimize is computing it anyway. -- The initialization is meant to fail-safe in case the user of this -- package tries to use an uninitialized matcher. This takes advantage diff --git a/gcc/ada/g-speche.ads b/gcc/ada/g-speche.ads index ada3aa9b108..f3482d47e3a 100644 --- a/gcc/ada/g-speche.ads +++ b/gcc/ada/g-speche.ads @@ -36,7 +36,7 @@ -- This package provides a utility routine for checking for bad spellings package GNAT.Spelling_Checker is -pragma Pure (Spelling_Checker); + pragma Pure; function Is_Bad_Spelling_Of (Found : String; diff --git a/gcc/ada/g-spitbo.ads b/gcc/ada/g-spitbo.ads index 33b75d64c83..823ac030e20 100644 --- a/gcc/ada/g-spitbo.ads +++ b/gcc/ada/g-spitbo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1997-2005 Ada Core Technologies, Inc. -- +-- Copyright (C) 1997-2005, AdaCore -- -- -- -- 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- -- @@ -44,7 +44,7 @@ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Interfaces; use Interfaces; package GNAT.Spitbol is -pragma Preelaborate (Spitbol); + pragma Preelaborate; -- The Spitbol package relies heavily on the Unbounded_String package, -- using the synonym VString for variable length string. The following @@ -231,7 +231,7 @@ pragma Preelaborate (Spitbol); -- Any non-limited type can be used as the value type in the table Null_Value : Value_Type; - -- Value used to represent a value that is not present in the table. + -- Value used to represent a value that is not present in the table with function Img (A : Value_Type) return String; -- Used to provide image of value in Dump procedure diff --git a/gcc/ada/g-table.ads b/gcc/ada/g-table.ads index 63f9d69e534..819ff281bd4 100644 --- a/gcc/ada/g-table.ads +++ b/gcc/ada/g-table.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1998-2005 AdaCore -- +-- Copyright (C) 1998-2005, AdaCore -- -- -- -- 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,7 +56,7 @@ generic Table_Increment : Natural; package GNAT.Table is -pragma Elaborate_Body (Table); + pragma Elaborate_Body; -- Table_Component_Type and Table_Index_Type specify the type of the -- array, Table_Low_Bound is the lower bound. Index_type must be an diff --git a/gcc/ada/g-tasloc.ads b/gcc/ada/g-tasloc.ads index 7704ebfa5e5..29fb36e3178 100644 --- a/gcc/ada/g-tasloc.ads +++ b/gcc/ada/g-tasloc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1998-2002 Ada Core Technologies, Inc. -- +-- Copyright (C) 1998-2005 Ada Core Technologies, 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- -- @@ -42,7 +42,7 @@ -- they have no effect (they do NOT cause the tasking runtime to be loaded). package GNAT.Task_Lock is -pragma Elaborate_Body (Task_Lock); + pragma Elaborate_Body; procedure Lock; pragma Inline (Lock); diff --git a/gcc/ada/g-trasym.ads b/gcc/ada/g-trasym.ads index 8b81985ec33..8409732c032 100644 --- a/gcc/ada/g-trasym.ads +++ b/gcc/ada/g-trasym.ads @@ -62,7 +62,7 @@ with Ada.Exceptions; use Ada.Exceptions; package GNAT.Traceback.Symbolic is -pragma Elaborate_Body (Traceback.Symbolic); + pragma Elaborate_Body; ------------------------ -- Symbolic_Traceback -- diff --git a/gcc/ada/get_targ.ads b/gcc/ada/get_targ.ads index f4414f22116..11eec1d5715 100644 --- a/gcc/ada/get_targ.ads +++ b/gcc/ada/get_targ.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -40,7 +40,7 @@ with Types; use Types; package Get_Targ is -pragma Preelaborate (Get_Targ); + pragma Preelaborate; function Get_Bits_Per_Unit return Pos; pragma Import (C, Get_Bits_Per_Unit, "get_target_bits_per_unit"); diff --git a/gcc/ada/gnat-style.texi b/gcc/ada/gnat-style.texi index 8a86109482a..6d7da446974 100644 --- a/gcc/ada/gnat-style.texi +++ b/gcc/ada/gnat-style.texi @@ -7,7 +7,7 @@ @c o @c G N A T C O D I N G S T Y L E o @c o -@c Copyright (C) 1992-2004 Ada Core Technologies, Inc. o +@c Copyright (C) 1992-2005 Ada Core Technologies, Inc. o @c o @c GNAT is free software; you can redistribute it and/or modify it under o @c terms of the GNU General Public License as published by the Free Soft- o @@ -52,7 +52,7 @@ @page @vskip 0pt plus 1filll -Copyright @copyright{} 1995-2003, Free Software Foundation +Copyright @copyright{} 1995-2005, Free Software Foundation Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 @@ -814,6 +814,20 @@ unique, to prevent name clashes when the packages are @code{use}d. @item After the file header comment, the context clause and unit specification should be the first thing in a @syntax{program_unit}. + +@item +Preelaborate, Pure and Elaborate_Body pragmas should be added right after the +package name, indented an extra level and using the parameterless form: + +@smallexample @c adanocomment +@group + package Preelaborate_Package is + pragma Preelaborate; + ... + end Preelaborate_Package; +@end group +@end smallexample + @end itemize @c ------------------------------------------------------------------------- diff --git a/gcc/ada/gnat.ads b/gcc/ada/gnat.ads index 4d357a6ee8a..faf1bff22e9 100644 --- a/gcc/ada/gnat.ads +++ b/gcc/ada/gnat.ads @@ -34,6 +34,6 @@ -- This is the parent package for a library of useful units provided with GNAT package GNAT is -pragma Pure (GNAT); + pragma Pure; end GNAT; diff --git a/gcc/ada/i-c.ads b/gcc/ada/i-c.ads index f264850589e..e958052d2fc 100644 --- a/gcc/ada/i-c.ads +++ b/gcc/ada/i-c.ads @@ -16,7 +16,7 @@ with System.Parameters; package Interfaces.C is -pragma Pure (C); + pragma Pure; -- Declaration's based on C's <limits.h> diff --git a/gcc/ada/i-cpoint.ads b/gcc/ada/i-cpoint.ads index ac6dd14b8e1..e473f57e10e 100644 --- a/gcc/ada/i-cpoint.ads +++ b/gcc/ada/i-cpoint.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -42,7 +42,7 @@ generic Default_Terminator : Element; package Interfaces.C.Pointers is -pragma Preelaborate (Pointers); + pragma Preelaborate; type Pointer is access all Element; diff --git a/gcc/ada/i-cpp.ads b/gcc/ada/i-cpp.ads index 74629b44261..e534f651f3c 100644 --- a/gcc/ada/i-cpp.ads +++ b/gcc/ada/i-cpp.ads @@ -34,9 +34,10 @@ -- Missing package comment ??? with Ada.Tags; + package Interfaces.CPP is -pragma Elaborate_Body; --- We have a dummy body to deal with bootstrap path issues + pragma Elaborate_Body; + -- We have a dummy body to deal with bootstrap path issues subtype Vtable_Ptr is Ada.Tags.Tag; diff --git a/gcc/ada/i-cstrin.ads b/gcc/ada/i-cstrin.ads index 089291dda8b..d959bb5082e 100644 --- a/gcc/ada/i-cstrin.ads +++ b/gcc/ada/i-cstrin.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -36,7 +36,7 @@ ------------------------------------------------------------------------------ package Interfaces.C.Strings is -pragma Preelaborate (Strings); + pragma Preelaborate; type char_array_access is access all char_array; diff --git a/gcc/ada/i-fortra.ads b/gcc/ada/i-fortra.ads index 817b5c749d2..78f4f71256d 100644 --- a/gcc/ada/i-fortra.ads +++ b/gcc/ada/i-fortra.ads @@ -17,7 +17,7 @@ with Ada.Numerics.Generic_Complex_Types; pragma Elaborate_All (Ada.Numerics.Generic_Complex_Types); package Interfaces.Fortran is -pragma Pure (Fortran); + pragma Pure; type Fortran_Integer is new Integer; type Real is new Float; diff --git a/gcc/ada/i-os2err.ads b/gcc/ada/i-os2err.ads index 975bc499462..21cbf84ccb5 100644 --- a/gcc/ada/i-os2err.ads +++ b/gcc/ada/i-os2err.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993,1994,1995 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 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- -- @@ -34,7 +34,7 @@ -- Definition of values for OS/2 error returns package Interfaces.OS2Lib.Errors is -pragma Preelaborate (Errors); + pragma Preelaborate; NO_ERROR : constant := 0; ERROR_INVALID_FUNCTION : constant := 1; diff --git a/gcc/ada/i-os2lib.ads b/gcc/ada/i-os2lib.ads index 3b927d34f8c..45fa1aee6a6 100644 --- a/gcc/ada/i-os2lib.ads +++ b/gcc/ada/i-os2lib.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-1997 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 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- -- @@ -49,7 +49,7 @@ with Interfaces.C.Strings; with System; package Interfaces.OS2Lib is -pragma Preelaborate (OS2Lib); + pragma Preelaborate; package IC renames Interfaces.C; package ICS renames Interfaces.C.Strings; @@ -76,7 +76,7 @@ pragma Preelaborate (OS2Lib); type ULONG is new IC.unsigned_long; type PULONG is access all ULONG; - -- Coprocessor stack register element. + -- Coprocessor stack register element type FPREG is record losig : ULONG; -- Low 32-bits of the mantissa diff --git a/gcc/ada/i-os2syn.ads b/gcc/ada/i-os2syn.ads index d86b6e76abf..844e2f0b7dd 100644 --- a/gcc/ada/i-os2syn.ads +++ b/gcc/ada/i-os2syn.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1993-1998 Free Software Foundation, Inc. -- +-- Copyright (C) 1993-2005 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- -- @@ -34,7 +34,7 @@ with Interfaces.OS2Lib.Threads; package Interfaces.OS2Lib.Synchronization is -pragma Preelaborate (Synchronization); + pragma Preelaborate; package IC renames Interfaces.C; package IOT renames Interfaces.OS2Lib.Threads; diff --git a/gcc/ada/i-os2thr.ads b/gcc/ada/i-os2thr.ads index 8f4d04ad315..1fd90496c3c 100644 --- a/gcc/ada/i-os2thr.ads +++ b/gcc/ada/i-os2thr.ads @@ -34,7 +34,7 @@ with Interfaces.C; package Interfaces.OS2Lib.Threads is -pragma Preelaborate (Threads); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/i-vxwork-x86.ads b/gcc/ada/i-vxwork-x86.ads index 32205955c78..360c6fce710 100644 --- a/gcc/ada/i-vxwork-x86.ads +++ b/gcc/ada/i-vxwork-x86.ads @@ -50,7 +50,7 @@ with System.VxWorks; package Interfaces.VxWorks is - pragma Preelaborate (VxWorks); + pragma Preelaborate; ------------------------------------------------------------------------ -- Here is a complete example that shows how to handle the Interrupt 0x33 diff --git a/gcc/ada/i-vxwork.ads b/gcc/ada/i-vxwork.ads index 9cc247a1272..4818a808f31 100644 --- a/gcc/ada/i-vxwork.ads +++ b/gcc/ada/i-vxwork.ads @@ -48,7 +48,7 @@ with System.VxWorks; package Interfaces.VxWorks is - pragma Preelaborate (VxWorks); + pragma Preelaborate; ------------------------------------------------------------------------ -- Here is a complete example that shows how to handle the Interrupt 0x14 diff --git a/gcc/ada/interfac-vms.ads b/gcc/ada/interfac-vms.ads index 4376fd93c8a..1705e1e19df 100644 --- a/gcc/ada/interfac-vms.ads +++ b/gcc/ada/interfac-vms.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2002-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 2002-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -43,7 +43,7 @@ -- floating-point formats are available. package Interfaces is -pragma Pure (Interfaces); + pragma Pure; type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1; for Integer_8'Size use 8; @@ -71,103 +71,83 @@ pragma Pure (Interfaces); function Shift_Left (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Shift_Right (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Shift_Right_Arithmetic (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Rotate_Left (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Rotate_Right (Value : Unsigned_8; - Amount : Natural) - return Unsigned_8; + Amount : Natural) return Unsigned_8; function Shift_Left (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Right (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Right_Arithmetic (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Rotate_Left (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Rotate_Right (Value : Unsigned_16; - Amount : Natural) - return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Left (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Shift_Right (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Shift_Right_Arithmetic (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Rotate_Left (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Rotate_Right (Value : Unsigned_32; - Amount : Natural) - return Unsigned_32; + Amount : Natural) return Unsigned_32; function Shift_Left (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Shift_Right (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Shift_Right_Arithmetic (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Rotate_Left (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; function Rotate_Right (Value : Unsigned_64; - Amount : Natural) - return Unsigned_64; + Amount : Natural) return Unsigned_64; pragma Import (Intrinsic, Shift_Left); pragma Import (Intrinsic, Shift_Right); @@ -178,6 +158,7 @@ pragma Pure (Interfaces); -- Floating point types. We use the digits value to define the IEEE -- forms, otherwise a configuration pragma specifying VAX float can -- default the digits to an illegal value for IEEE. + -- Note: it is harmless, and explicitly permitted, to include additional -- types in interfaces, so it is not wrong to have IEEE_Extended_Float -- defined even if the extended format is not available. diff --git a/gcc/ada/interfac.ads b/gcc/ada/interfac.ads index d06dab00b09..15cfd9c87bb 100644 --- a/gcc/ada/interfac.ads +++ b/gcc/ada/interfac.ads @@ -6,11 +6,11 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2002-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2002-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- --- apply solely to the implementation dependent additions to thie file. -- +-- apply solely to the implementation dependent sections of this file. -- -- -- -- 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- -- @@ -38,10 +38,10 @@ -- Assumes integer sizes of 8, 16, 32 and 64 are available, and that the -- floating-point formats are IEEE compatible. --- Note: There is a specialized version of this package for OpenVMS. +-- Note: There is a specialized version of this package for OpenVMS package Interfaces is -pragma Pure (Interfaces); + pragma Pure; type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1; for Integer_8'Size use 8; @@ -89,7 +89,7 @@ pragma Pure (Interfaces); function Shift_Left (Value : Unsigned_16; - Amount : Natural) return Unsigned_16; + Amount : Natural) return Unsigned_16; function Shift_Right (Value : Unsigned_16; @@ -157,6 +157,7 @@ pragma Pure (Interfaces); -- that the types Short_Float and Long_Float in Standard refer to the -- 32-bit short and 64-bit long IEEE forms. Furthermore, if there is -- an extended float, we assume that it is available as Long_Long_Float. + -- Note: it is harmless, and explicitly permitted, to include additional -- types in interfaces, so it is not wrong to have IEEE_Extended_Float -- defined even if the extended format is not available. diff --git a/gcc/ada/output.ads b/gcc/ada/output.ads index fe881b8776c..d69bcb3dcfb 100644 --- a/gcc/ada/output.ads +++ b/gcc/ada/output.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2001 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -38,7 +38,7 @@ with Types; use Types; package Output is -pragma Elaborate_Body (Output); + pragma Elaborate_Body; type Output_Proc is access procedure (S : String); -- This type is used for the Set_Special_Output procedure. If this diff --git a/gcc/ada/s-addope.ads b/gcc/ada/s-addope.ads index c4c8ea3dbca..89b089b307c 100644 --- a/gcc/ada/s-addope.ads +++ b/gcc/ada/s-addope.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -47,7 +47,7 @@ -- operations may not be available if type Address is a signed integer. package System.Address_Operations is -pragma Pure (Address_Operations); + pragma Pure; -- The semantics of the arithmetic operations are those that apply to -- a modular type with the same length as Address, i.e. they provide diff --git a/gcc/ada/s-arit64.ads b/gcc/ada/s-arit64.ads index 202051904b8..9364277f938 100644 --- a/gcc/ada/s-arit64.ads +++ b/gcc/ada/s-arit64.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -38,7 +38,7 @@ with Interfaces; package System.Arith_64 is -pragma Pure (Arith_64); + pragma Pure; subtype Int64 is Interfaces.Integer_64; diff --git a/gcc/ada/s-atacco.ads b/gcc/ada/s-atacco.ads index 7d8eafcffab..6e2b434d63e 100644 --- a/gcc/ada/s-atacco.ads +++ b/gcc/ada/s-atacco.ads @@ -39,13 +39,12 @@ generic type Object (<>) is limited private; package System.Address_To_Access_Conversions is -pragma Preelaborate (Address_To_Access_Conversions); - -pragma Elaborate_Body; --- This pragma Elaborate_Body is there to ensure the requirement of what is --- at the moment a dummy null body. The reason this null body is there is --- that we used to have a real body, and it causes bootstrap problems with --- old compilers if we try to remove the corresponding file. + pragma Preelaborate; + pragma Elaborate_Body; + -- This pragma Elaborate_Body is there to ensure the requirement of what is + -- at the moment a dummy null body. The reason this null body is there is + -- that we used to have a real body, and it causes bootstrap problems with + -- old compilers if we try to remove the corresponding file. pragma Compile_Time_Warning (Object'Unconstrained_Array, diff --git a/gcc/ada/s-boarop.ads b/gcc/ada/s-boarop.ads index ecca1ff9dbf..4ffd7bff80c 100644 --- a/gcc/ada/s-boarop.ads +++ b/gcc/ada/s-boarop.ads @@ -35,8 +35,10 @@ with System.Generic_Vector_Operations; with System.Vectors.Boolean_Operations; + package System.Boolean_Array_Operations is -pragma Pure (Boolean_Array_Operations); + pragma Pure; + type Boolean_Array is array (Integer range <>) of Boolean; package Boolean_Operations renames System.Vectors.Boolean_Operations; diff --git a/gcc/ada/s-casuti.ads b/gcc/ada/s-casuti.ads index 64e4f343568..6b444d396ca 100644 --- a/gcc/ada/s-casuti.ads +++ b/gcc/ada/s-casuti.ads @@ -40,7 +40,7 @@ -- via GNAT.Case_Util, which imports all the entities from this package. package System.Case_Util is -pragma Pure (Case_Util); + pragma Pure; -- Note: all the following functions handle the full Latin-1 set diff --git a/gcc/ada/s-crtl-vms64.ads b/gcc/ada/s-crtl-vms64.ads index 608d9bbc7c7..f939ea0dd84 100644 --- a/gcc/ada/s-crtl-vms64.ads +++ b/gcc/ada/s-crtl-vms64.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2004,2005 Free Software Foundation, Inc. -- +-- Copyright (C) 2004-2005 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- -- @@ -35,8 +35,9 @@ -- on 64 bit VMS. Note that routines that allocate memory remain 32bit. with System.Parameters; + package System.CRTL is -pragma Preelaborate (CRTL); + pragma Preelaborate; subtype chars is System.Address; -- Pointer to null-terminated array of characters diff --git a/gcc/ada/s-crtl.ads b/gcc/ada/s-crtl.ads index d4d89898d22..19d74c8b594 100644 --- a/gcc/ada/s-crtl.ads +++ b/gcc/ada/s-crtl.ads @@ -35,8 +35,9 @@ -- on non-VMS systems. with System.Parameters; + package System.CRTL is -pragma Preelaborate (CRTL); + pragma Preelaborate; subtype chars is System.Address; -- Pointer to null-terminated array of characters diff --git a/gcc/ada/s-exctab.ads b/gcc/ada/s-exctab.ads index 087d9e231ec..a1bcde8c5a8 100644 --- a/gcc/ada/s-exctab.ads +++ b/gcc/ada/s-exctab.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1996-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1996-2005 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- -- @@ -38,7 +38,7 @@ with System.Standard_Library; package System.Exception_Table is -pragma Elaborate_Body; + pragma Elaborate_Body; package SSL renames System.Standard_Library; diff --git a/gcc/ada/s-exnint.ads b/gcc/ada/s-exnint.ads index 4f0c47dd934..4e25f65d1e9 100644 --- a/gcc/ada/s-exnint.ads +++ b/gcc/ada/s-exnint.ads @@ -34,7 +34,7 @@ -- Integer exponentiation (checks off) package System.Exn_Int is -pragma Pure (Exn_Int); + pragma Pure; function Exn_Integer (Left : Integer; Right : Natural) return Integer; diff --git a/gcc/ada/s-exnllf.ads b/gcc/ada/s-exnllf.ads index d274918ceb1..65dc96721e7 100644 --- a/gcc/ada/s-exnllf.ads +++ b/gcc/ada/s-exnllf.ads @@ -34,7 +34,7 @@ -- Long_Long_Float exponentiation (checks off) package System.Exn_LLF is -pragma Pure (Exn_LLF); + pragma Pure; function Exn_Long_Long_Float (Left : Long_Long_Float; diff --git a/gcc/ada/s-exnlli.ads b/gcc/ada/s-exnlli.ads index 2f774c9194e..87b9757bfb2 100644 --- a/gcc/ada/s-exnlli.ads +++ b/gcc/ada/s-exnlli.ads @@ -34,7 +34,7 @@ -- Long_Long_Integer exponentiation (checks off) package System.Exn_LLI is -pragma Pure (Exn_LLI); + pragma Pure; function Exn_Long_Long_Integer (Left : Long_Long_Integer; diff --git a/gcc/ada/s-expint.ads b/gcc/ada/s-expint.ads index 5057192aa51..5741e998ab3 100644 --- a/gcc/ada/s-expint.ads +++ b/gcc/ada/s-expint.ads @@ -34,7 +34,7 @@ -- Integer exponentiation (checks on) package System.Exp_Int is -pragma Pure (Exp_Int); + pragma Pure; function Exp_Integer (Left : Integer; diff --git a/gcc/ada/s-explli.ads b/gcc/ada/s-explli.ads index e54cdf7e1d9..d74e51a9792 100644 --- a/gcc/ada/s-explli.ads +++ b/gcc/ada/s-explli.ads @@ -34,7 +34,7 @@ -- Long_Long_Integer exponentiation package System.Exp_LLI is -pragma Pure (Exp_LLI); + pragma Pure; function Exp_Long_Long_Integer (Left : Long_Long_Integer; diff --git a/gcc/ada/s-expllu.ads b/gcc/ada/s-expllu.ads index 62ec65e6fcf..7a840826776 100644 --- a/gcc/ada/s-expllu.ads +++ b/gcc/ada/s-expllu.ads @@ -39,7 +39,7 @@ with System.Unsigned_Types; package System.Exp_LLU is -pragma Pure (Exp_LLU); + pragma Pure; function Exp_Long_Long_Unsigned (Left : System.Unsigned_Types.Long_Long_Unsigned; diff --git a/gcc/ada/s-expmod.ads b/gcc/ada/s-expmod.ads index 443633b008a..dfe9b5902a5 100644 --- a/gcc/ada/s-expmod.ads +++ b/gcc/ada/s-expmod.ads @@ -36,7 +36,7 @@ -- accounting for the modulus value which is passed as the second argument. package System.Exp_Mod is -pragma Pure (Exp_Mod); + pragma Pure; function Exp_Modular (Left : Integer; diff --git a/gcc/ada/s-expuns.ads b/gcc/ada/s-expuns.ads index 9da648eb91c..288258ef8f9 100644 --- a/gcc/ada/s-expuns.ads +++ b/gcc/ada/s-expuns.ads @@ -39,7 +39,7 @@ with System.Unsigned_Types; package System.Exp_Uns is -pragma Pure (Exp_Uns); + pragma Pure; function Exp_Unsigned (Left : System.Unsigned_Types.Unsigned; diff --git a/gcc/ada/s-fatflt.ads b/gcc/ada/s-fatflt.ads index 95c1656e808..92ad4499923 100644 --- a/gcc/ada/s-fatflt.ads +++ b/gcc/ada/s-fatflt.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_Flt is -pragma Pure (Fat_Flt); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-fatgen.ads b/gcc/ada/s-fatgen.ads index f3e94deb705..c1bc8204058 100644 --- a/gcc/ada/s-fatgen.ads +++ b/gcc/ada/s-fatgen.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -41,7 +41,7 @@ generic type T is digits <>; package System.Fat_Gen is -pragma Pure (Fat_Gen); + pragma Pure; subtype UI is Integer; -- The runtime representation of universal integer for the purposes of diff --git a/gcc/ada/s-fatlfl.ads b/gcc/ada/s-fatlfl.ads index 84a64b55af1..bff94090190 100644 --- a/gcc/ada/s-fatlfl.ads +++ b/gcc/ada/s-fatlfl.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_LFlt is -pragma Pure (Fat_LFlt); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-fatllf.ads b/gcc/ada/s-fatllf.ads index 59e567b9049..bb8abf4e015 100644 --- a/gcc/ada/s-fatllf.ads +++ b/gcc/ada/s-fatllf.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_LLF is -pragma Pure (Fat_LLF); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-fatsfl.ads b/gcc/ada/s-fatsfl.ads index 7912f8b3d1e..1d1f3509652 100644 --- a/gcc/ada/s-fatsfl.ads +++ b/gcc/ada/s-fatsfl.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Fat_Gen; package System.Fat_SFlt is -pragma Pure (Fat_SFlt); + pragma Pure; -- Note the only entity from this package that is acccessed by Rtsfind -- is the name of the package instantiation. Entities within this package diff --git a/gcc/ada/s-finimp.ads b/gcc/ada/s-finimp.ads index 747a71c8f67..83d1709b6a8 100644 --- a/gcc/ada/s-finimp.ads +++ b/gcc/ada/s-finimp.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -34,7 +34,7 @@ with System.Finalization_Root; package System.Finalization_Implementation is -pragma Elaborate_Body (Finalization_Implementation); + pragma Elaborate_Body; package SFR renames System.Finalization_Root; diff --git a/gcc/ada/s-finroo.ads b/gcc/ada/s-finroo.ads index 03e47f19c24..ed1be45ab4a 100644 --- a/gcc/ada/s-finroo.ads +++ b/gcc/ada/s-finroo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with Ada.Streams; with Unchecked_Conversion; package System.Finalization_Root is -pragma Preelaborate (Finalization_Root); + pragma Preelaborate; type Root_Controlled; diff --git a/gcc/ada/s-fore.ads b/gcc/ada/s-fore.ads index 919c528ad39..302b82496f7 100644 --- a/gcc/ada/s-fore.ads +++ b/gcc/ada/s-fore.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for the 'Fore attribute package System.Fore is -pragma Pure (Fore); + pragma Pure; function Fore (Lo, Hi : Long_Long_Float) return Natural; -- Compute Fore attribute value for a fixed-point type. The parameters diff --git a/gcc/ada/s-geveop.ads b/gcc/ada/s-geveop.ads index 8ff6e1706dc..f52b3a73da2 100644 --- a/gcc/ada/s-geveop.ads +++ b/gcc/ada/s-geveop.ads @@ -43,12 +43,14 @@ with System.Vectors; with System.Storage_Elements; + generic type Element is (<>); type Index is (<>); type Element_Array is array (Index range <>) of Element; + package System.Generic_Vector_Operations is -pragma Pure (Generic_Vector_Operations); + pragma Pure; generic with function Element_Op (X, Y : Element) return Element; diff --git a/gcc/ada/s-htable.ads b/gcc/ada/s-htable.ads index abb9b96a3b4..762690bab33 100644 --- a/gcc/ada/s-htable.ads +++ b/gcc/ada/s-htable.ads @@ -40,7 +40,7 @@ -- complete control over allocation. package System.HTable is -pragma Preelaborate (HTable); + pragma Preelaborate; ------------------- -- Simple_HTable -- diff --git a/gcc/ada/s-imgbiu.ads b/gcc/ada/s-imgbiu.ads index 718d34585c7..d1fbeb88b33 100644 --- a/gcc/ada/s-imgbiu.ads +++ b/gcc/ada/s-imgbiu.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_BIU is -pragma Pure (Img_BIU); + pragma Pure; procedure Set_Image_Based_Integer (V : Integer; diff --git a/gcc/ada/s-imgboo.ads b/gcc/ada/s-imgboo.ads index ca035707886..3723f585fca 100644 --- a/gcc/ada/s-imgboo.ads +++ b/gcc/ada/s-imgboo.ads @@ -34,7 +34,7 @@ -- Boolean'Image package System.Img_Bool is -pragma Pure (Img_Bool); + pragma Pure; function Image_Boolean (V : Boolean) return String; -- Computes Boolean'Image (V) and returns the result. diff --git a/gcc/ada/s-imgcha.ads b/gcc/ada/s-imgcha.ads index c7dddccc476..a756dcb2680 100644 --- a/gcc/ada/s-imgcha.ads +++ b/gcc/ada/s-imgcha.ads @@ -34,7 +34,7 @@ -- Character'Image package System.Img_Char is -pragma Pure (Img_Char); + pragma Pure; function Image_Character (V : Character) return String; -- Computes Character'Image (V) and returns the result diff --git a/gcc/ada/s-imgdec.ads b/gcc/ada/s-imgdec.ads index 731d647f882..d1e2768c480 100644 --- a/gcc/ada/s-imgdec.ads +++ b/gcc/ada/s-imgdec.ads @@ -35,7 +35,7 @@ -- type does not exceed Integer'Size (also used for Text_IO.Decimal_IO output) package System.Img_Dec is -pragma Preelaborate (Img_Dec); + pragma Preelaborate; function Image_Decimal (V : Integer; diff --git a/gcc/ada/s-imgenu.ads b/gcc/ada/s-imgenu.ads index 3e5cca35be0..853942259e1 100644 --- a/gcc/ada/s-imgenu.ads +++ b/gcc/ada/s-imgenu.ads @@ -37,7 +37,7 @@ -- Special routines exist for the enumeration routines in these packages. package System.Img_Enum is -pragma Pure (Img_Enum); + pragma Pure; function Image_Enumeration_8 (Pos : Natural; diff --git a/gcc/ada/s-imgint.ads b/gcc/ada/s-imgint.ads index d15b545975c..a9e35211be8 100644 --- a/gcc/ada/s-imgint.ads +++ b/gcc/ada/s-imgint.ads @@ -36,7 +36,7 @@ -- operations required in Text_IO.Integer_IO for such types. package System.Img_Int is -pragma Pure (Img_Int); + pragma Pure; function Image_Integer (V : Integer) return String; -- Computes Integer'Image (V) and returns the result diff --git a/gcc/ada/s-imgllb.ads b/gcc/ada/s-imgllb.ads index 24381201f3c..93e6bdafae2 100644 --- a/gcc/ada/s-imgllb.ads +++ b/gcc/ada/s-imgllb.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_LLB is -pragma Preelaborate (Img_LLB); + pragma Preelaborate; procedure Set_Image_Based_Long_Long_Integer (V : Long_Long_Integer; diff --git a/gcc/ada/s-imglld.ads b/gcc/ada/s-imglld.ads index baa79a2fafc..0ef70f49445 100644 --- a/gcc/ada/s-imglld.ads +++ b/gcc/ada/s-imglld.ads @@ -35,7 +35,7 @@ -- type does exceeds Integer'Size (also used for Text_IO.Decimal_IO output) package System.Img_LLD is -pragma Preelaborate (Img_LLD); + pragma Preelaborate; function Image_Long_Long_Decimal (V : Long_Long_Integer; diff --git a/gcc/ada/s-imglli.ads b/gcc/ada/s-imglli.ads index d9ba74a4a6e..8137f3d43dd 100644 --- a/gcc/ada/s-imglli.ads +++ b/gcc/ada/s-imglli.ads @@ -36,7 +36,7 @@ -- operations required in Text_IO.Integer_IO for such types. package System.Img_LLI is -pragma Preelaborate (Img_LLI); + pragma Preelaborate; function Image_Long_Long_Integer (V : Long_Long_Integer) return String; -- Computes Long_Long_Integer'Image (V) and returns the result. diff --git a/gcc/ada/s-imgllu.ads b/gcc/ada/s-imgllu.ads index 20484de4366..318152ca960 100644 --- a/gcc/ada/s-imgllu.ads +++ b/gcc/ada/s-imgllu.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_LLU is -pragma Pure (Img_LLU); + pragma Pure; function Image_Long_Long_Unsigned (V : System.Unsigned_Types.Long_Long_Unsigned) diff --git a/gcc/ada/s-imgllw.ads b/gcc/ada/s-imgllw.ads index ce7f2d12003..04d85c685ea 100644 --- a/gcc/ada/s-imgllw.ads +++ b/gcc/ada/s-imgllw.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_LLW is -pragma Pure (Img_LLW); + pragma Pure; procedure Set_Image_Width_Long_Long_Integer (V : Long_Long_Integer; diff --git a/gcc/ada/s-imgrea.ads b/gcc/ada/s-imgrea.ads index bbe709fb586..0f298bf9967 100644 --- a/gcc/ada/s-imgrea.ads +++ b/gcc/ada/s-imgrea.ads @@ -34,7 +34,7 @@ -- Image for fixed and float types (also used for Float_IO/Fixed_IO output) package System.Img_Real is -pragma Preelaborate (Img_Real); + pragma Preelaborate; function Image_Ordinary_Fixed_Point (V : Long_Long_Float; diff --git a/gcc/ada/s-imguns.ads b/gcc/ada/s-imguns.ads index 7b8696fef15..6ce8898a171 100644 --- a/gcc/ada/s-imguns.ads +++ b/gcc/ada/s-imguns.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_Uns is -pragma Pure (Img_Uns); + pragma Pure; function Image_Unsigned (V : System.Unsigned_Types.Unsigned) diff --git a/gcc/ada/s-imgwch.ads b/gcc/ada/s-imgwch.ads index 3dbff97b7a5..dbcfb07cf2f 100644 --- a/gcc/ada/s-imgwch.ads +++ b/gcc/ada/s-imgwch.ads @@ -34,7 +34,7 @@ -- Wide_[Wide_]Character'Image package System.Img_WChar is -pragma Pure (Img_WChar); + pragma Pure; function Image_Wide_Character (V : Wide_Character) return String; -- Computes Wide_Character'Image (V) and returns the computed result diff --git a/gcc/ada/s-imgwiu.ads b/gcc/ada/s-imgwiu.ads index 50a0318974c..8b53da8e155 100644 --- a/gcc/ada/s-imgwiu.ads +++ b/gcc/ada/s-imgwiu.ads @@ -38,7 +38,7 @@ with System.Unsigned_Types; package System.Img_WIU is -pragma Pure (Img_WIU); + pragma Pure; procedure Set_Image_Width_Integer (V : Integer; diff --git a/gcc/ada/s-io.ads b/gcc/ada/s-io.ads index 5f91677be4f..6171510e7c0 100644 --- a/gcc/ada/s-io.ads +++ b/gcc/ada/s-io.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1998 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ -- for character, integer, string and a new line function package System.IO is -pragma Preelaborate (IO); + pragma Preelaborate; procedure Put (X : Integer); diff --git a/gcc/ada/s-maccod.ads b/gcc/ada/s-maccod.ads index 93620bbcd7c..490e9d692f0 100644 --- a/gcc/ada/s-maccod.ads +++ b/gcc/ada/s-maccod.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,7 +36,7 @@ -- for full details. package System.Machine_Code is -pragma Pure (Machine_Code); + pragma Pure; type Asm_Input_Operand is private; type Asm_Output_Operand is private; diff --git a/gcc/ada/s-mantis.ads b/gcc/ada/s-mantis.ads index 4f031a4057a..7637981441f 100644 --- a/gcc/ada/s-mantis.ads +++ b/gcc/ada/s-mantis.ads @@ -35,7 +35,7 @@ -- fixed-point type with non-static bounds. package System.Mantissa is -pragma Pure (Mantissa); + pragma Pure; function Mantissa_Value (First, Last : Integer) return Natural; -- Compute Mantissa value from the given arguments, which are the First diff --git a/gcc/ada/s-memcop.ads b/gcc/ada/s-memcop.ads index 176570508b9..477cc38f737 100644 --- a/gcc/ada/s-memcop.ads +++ b/gcc/ada/s-memcop.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2001-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -46,7 +46,7 @@ with System.CRTL; -- The above with is contrary to the intent ??? package System.Memory_Copy is -pragma Preelaborate; + pragma Preelaborate; procedure memcpy (S1 : Address; S2 : Address; N : System.CRTL.size_t) renames System.CRTL.memcpy; diff --git a/gcc/ada/s-osinte-mingw.ads b/gcc/ada/s-osinte-mingw.ads index 16641ba5122..e2bd6683f00 100644 --- a/gcc/ada/s-osinte-mingw.ads +++ b/gcc/ada/s-osinte-mingw.ads @@ -45,7 +45,7 @@ with Interfaces.C.Strings; with Unchecked_Conversion; package System.OS_Interface is -pragma Preelaborate; + pragma Preelaborate; pragma Linker_Options ("-mthreads"); diff --git a/gcc/ada/s-pack03.ads b/gcc/ada/s-pack03.ads index c0f058570f4..3b03c6ef9c4 100644 --- a/gcc/ada/s-pack03.ads +++ b/gcc/ada/s-pack03.ads @@ -34,7 +34,7 @@ -- Handing of packed arrays with Component_Size = 3 package System.Pack_03 is -pragma Preelaborate (Pack_03); + pragma Preelaborate; Bits : constant := 3; diff --git a/gcc/ada/s-pack05.ads b/gcc/ada/s-pack05.ads index dd4e8e92856..2f4fc26a262 100644 --- a/gcc/ada/s-pack05.ads +++ b/gcc/ada/s-pack05.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 5 package System.Pack_05 is -pragma Preelaborate (Pack_05); + pragma Preelaborate; Bits : constant := 5; diff --git a/gcc/ada/s-pack06.ads b/gcc/ada/s-pack06.ads index 82eccd655fa..dcd53abca2a 100644 --- a/gcc/ada/s-pack06.ads +++ b/gcc/ada/s-pack06.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 6 package System.Pack_06 is -pragma Preelaborate (Pack_06); + pragma Preelaborate; Bits : constant := 6; diff --git a/gcc/ada/s-pack07.ads b/gcc/ada/s-pack07.ads index 9ec14b14295..d994b681e98 100644 --- a/gcc/ada/s-pack07.ads +++ b/gcc/ada/s-pack07.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 7 package System.Pack_07 is -pragma Preelaborate (Pack_07); + pragma Preelaborate; Bits : constant := 7; diff --git a/gcc/ada/s-pack09.ads b/gcc/ada/s-pack09.ads index 01d1ac22b1e..7b4e51ba255 100644 --- a/gcc/ada/s-pack09.ads +++ b/gcc/ada/s-pack09.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 9 package System.Pack_09 is -pragma Preelaborate (Pack_09); + pragma Preelaborate; Bits : constant := 9; diff --git a/gcc/ada/s-pack10.ads b/gcc/ada/s-pack10.ads index 6fede90e86c..f079f7f65c1 100644 --- a/gcc/ada/s-pack10.ads +++ b/gcc/ada/s-pack10.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 10 package System.Pack_10 is -pragma Preelaborate (Pack_10); + pragma Preelaborate; Bits : constant := 10; diff --git a/gcc/ada/s-pack11.ads b/gcc/ada/s-pack11.ads index f862ae3f58a..b8017cfbf42 100644 --- a/gcc/ada/s-pack11.ads +++ b/gcc/ada/s-pack11.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 11 package System.Pack_11 is -pragma Preelaborate (Pack_11); + pragma Preelaborate; Bits : constant := 11; diff --git a/gcc/ada/s-pack12.ads b/gcc/ada/s-pack12.ads index 000457cab14..002bc518208 100644 --- a/gcc/ada/s-pack12.ads +++ b/gcc/ada/s-pack12.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 12 package System.Pack_12 is -pragma Preelaborate (Pack_12); + pragma Preelaborate; Bits : constant := 12; diff --git a/gcc/ada/s-pack13.ads b/gcc/ada/s-pack13.ads index b07bf5313f4..8022a90b59d 100644 --- a/gcc/ada/s-pack13.ads +++ b/gcc/ada/s-pack13.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 13 package System.Pack_13 is -pragma Preelaborate (Pack_13); + pragma Preelaborate; Bits : constant := 13; diff --git a/gcc/ada/s-pack14.ads b/gcc/ada/s-pack14.ads index 7e8e551f7cd..e3744b2f587 100644 --- a/gcc/ada/s-pack14.ads +++ b/gcc/ada/s-pack14.ads @@ -34,7 +34,7 @@ -- Handing of packed arrays with Component_Size = 14 package System.Pack_14 is -pragma Preelaborate (Pack_14); + pragma Preelaborate; Bits : constant := 14; diff --git a/gcc/ada/s-pack15.ads b/gcc/ada/s-pack15.ads index eb53800dcc5..c166f8ab76c 100644 --- a/gcc/ada/s-pack15.ads +++ b/gcc/ada/s-pack15.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 15 package System.Pack_15 is -pragma Preelaborate (Pack_15); + pragma Preelaborate; Bits : constant := 15; diff --git a/gcc/ada/s-pack17.ads b/gcc/ada/s-pack17.ads index aaf962fd4bf..fde3bd17d52 100644 --- a/gcc/ada/s-pack17.ads +++ b/gcc/ada/s-pack17.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 17 package System.Pack_17 is -pragma Preelaborate (Pack_17); + pragma Preelaborate; Bits : constant := 17; diff --git a/gcc/ada/s-pack18.ads b/gcc/ada/s-pack18.ads index a78e95740ef..c689d50d5f0 100644 --- a/gcc/ada/s-pack18.ads +++ b/gcc/ada/s-pack18.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 18 package System.Pack_18 is -pragma Preelaborate (Pack_18); + pragma Preelaborate; Bits : constant := 18; diff --git a/gcc/ada/s-pack19.ads b/gcc/ada/s-pack19.ads index a8db67918bd..4f3e12da9cc 100644 --- a/gcc/ada/s-pack19.ads +++ b/gcc/ada/s-pack19.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 19 package System.Pack_19 is -pragma Preelaborate (Pack_19); + pragma Preelaborate; Bits : constant := 19; diff --git a/gcc/ada/s-pack20.ads b/gcc/ada/s-pack20.ads index 76c89cd3dd2..39a9dc576d2 100644 --- a/gcc/ada/s-pack20.ads +++ b/gcc/ada/s-pack20.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 20 package System.Pack_20 is -pragma Preelaborate (Pack_20); + pragma Preelaborate; Bits : constant := 20; diff --git a/gcc/ada/s-pack21.ads b/gcc/ada/s-pack21.ads index 08c7dae71f1..7de18f9827d 100644 --- a/gcc/ada/s-pack21.ads +++ b/gcc/ada/s-pack21.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 21 package System.Pack_21 is -pragma Preelaborate (Pack_21); + pragma Preelaborate; Bits : constant := 21; diff --git a/gcc/ada/s-pack22.ads b/gcc/ada/s-pack22.ads index e7df2af5d59..3968d23fc82 100644 --- a/gcc/ada/s-pack22.ads +++ b/gcc/ada/s-pack22.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 22 package System.Pack_22 is -pragma Preelaborate (Pack_22); + pragma Preelaborate; Bits : constant := 22; diff --git a/gcc/ada/s-pack23.ads b/gcc/ada/s-pack23.ads index 8190870ce99..f19a9e93ac3 100644 --- a/gcc/ada/s-pack23.ads +++ b/gcc/ada/s-pack23.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 23 package System.Pack_23 is -pragma Preelaborate (Pack_23); + pragma Preelaborate; Bits : constant := 23; diff --git a/gcc/ada/s-pack24.ads b/gcc/ada/s-pack24.ads index 4fafa292666..8c1834e5cc8 100644 --- a/gcc/ada/s-pack24.ads +++ b/gcc/ada/s-pack24.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 24 package System.Pack_24 is -pragma Preelaborate (Pack_24); + pragma Preelaborate; Bits : constant := 24; diff --git a/gcc/ada/s-pack25.ads b/gcc/ada/s-pack25.ads index e0447c01aa9..7882d172f16 100644 --- a/gcc/ada/s-pack25.ads +++ b/gcc/ada/s-pack25.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 25 package System.Pack_25 is -pragma Preelaborate (Pack_25); + pragma Preelaborate; Bits : constant := 25; diff --git a/gcc/ada/s-pack26.ads b/gcc/ada/s-pack26.ads index cbf4e2f4e96..793b038c386 100644 --- a/gcc/ada/s-pack26.ads +++ b/gcc/ada/s-pack26.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 26 package System.Pack_26 is -pragma Preelaborate (Pack_26); + pragma Preelaborate; Bits : constant := 26; diff --git a/gcc/ada/s-pack27.ads b/gcc/ada/s-pack27.ads index 877cbd6e396..edbda505eeb 100644 --- a/gcc/ada/s-pack27.ads +++ b/gcc/ada/s-pack27.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 27 package System.Pack_27 is -pragma Preelaborate (Pack_27); + pragma Preelaborate; Bits : constant := 27; diff --git a/gcc/ada/s-pack28.ads b/gcc/ada/s-pack28.ads index e6cd60ad99c..5a303079a9e 100644 --- a/gcc/ada/s-pack28.ads +++ b/gcc/ada/s-pack28.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 28 package System.Pack_28 is -pragma Preelaborate (Pack_28); + pragma Preelaborate; Bits : constant := 28; diff --git a/gcc/ada/s-pack29.ads b/gcc/ada/s-pack29.ads index 2cbe37c3bb0..6c1ad90503f 100644 --- a/gcc/ada/s-pack29.ads +++ b/gcc/ada/s-pack29.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 29 package System.Pack_29 is -pragma Preelaborate (Pack_29); + pragma Preelaborate; Bits : constant := 29; diff --git a/gcc/ada/s-pack30.ads b/gcc/ada/s-pack30.ads index 3fb8ebc689e..c85fe7c78fb 100644 --- a/gcc/ada/s-pack30.ads +++ b/gcc/ada/s-pack30.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 30 package System.Pack_30 is -pragma Preelaborate (Pack_30); + pragma Preelaborate; Bits : constant := 30; diff --git a/gcc/ada/s-pack31.ads b/gcc/ada/s-pack31.ads index 8fe65c8f934..d23157bbfed 100644 --- a/gcc/ada/s-pack31.ads +++ b/gcc/ada/s-pack31.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 31 package System.Pack_31 is -pragma Preelaborate (Pack_31); + pragma Preelaborate; Bits : constant := 31; diff --git a/gcc/ada/s-pack33.ads b/gcc/ada/s-pack33.ads index 59ebec8c2e5..8b8d5c199e2 100644 --- a/gcc/ada/s-pack33.ads +++ b/gcc/ada/s-pack33.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 33 package System.Pack_33 is -pragma Preelaborate (Pack_33); + pragma Preelaborate; Bits : constant := 33; diff --git a/gcc/ada/s-pack34.ads b/gcc/ada/s-pack34.ads index 7f9cdd1b4e7..db7ffbb6d61 100644 --- a/gcc/ada/s-pack34.ads +++ b/gcc/ada/s-pack34.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 34 package System.Pack_34 is -pragma Preelaborate (Pack_34); + pragma Preelaborate; Bits : constant := 34; diff --git a/gcc/ada/s-pack35.ads b/gcc/ada/s-pack35.ads index 3096e1aca39..1f07dde87ef 100644 --- a/gcc/ada/s-pack35.ads +++ b/gcc/ada/s-pack35.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 35 package System.Pack_35 is -pragma Preelaborate (Pack_35); + pragma Preelaborate; Bits : constant := 35; diff --git a/gcc/ada/s-pack36.ads b/gcc/ada/s-pack36.ads index bc0a72430e1..509e65b9c84 100644 --- a/gcc/ada/s-pack36.ads +++ b/gcc/ada/s-pack36.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 36 package System.Pack_36 is -pragma Preelaborate (Pack_36); + pragma Preelaborate; Bits : constant := 36; diff --git a/gcc/ada/s-pack37.ads b/gcc/ada/s-pack37.ads index aaf1f9a26e7..df2156d8c8b 100644 --- a/gcc/ada/s-pack37.ads +++ b/gcc/ada/s-pack37.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 37 package System.Pack_37 is -pragma Preelaborate (Pack_37); + pragma Preelaborate; Bits : constant := 37; diff --git a/gcc/ada/s-pack38.ads b/gcc/ada/s-pack38.ads index 56eec43257e..a9d9a4953f2 100644 --- a/gcc/ada/s-pack38.ads +++ b/gcc/ada/s-pack38.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 38 package System.Pack_38 is -pragma Preelaborate (Pack_38); + pragma Preelaborate; Bits : constant := 38; diff --git a/gcc/ada/s-pack39.ads b/gcc/ada/s-pack39.ads index 3544fce0a36..4a2ff511c4d 100644 --- a/gcc/ada/s-pack39.ads +++ b/gcc/ada/s-pack39.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 39 package System.Pack_39 is -pragma Preelaborate (Pack_39); + pragma Preelaborate; Bits : constant := 39; diff --git a/gcc/ada/s-pack40.ads b/gcc/ada/s-pack40.ads index 4116c43231f..ee7981c7ec5 100644 --- a/gcc/ada/s-pack40.ads +++ b/gcc/ada/s-pack40.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 40 package System.Pack_40 is -pragma Preelaborate (Pack_40); + pragma Preelaborate; Bits : constant := 40; diff --git a/gcc/ada/s-pack41.ads b/gcc/ada/s-pack41.ads index d772faca24e..9a956f3f1d6 100644 --- a/gcc/ada/s-pack41.ads +++ b/gcc/ada/s-pack41.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 41 package System.Pack_41 is -pragma Preelaborate (Pack_41); + pragma Preelaborate; Bits : constant := 41; diff --git a/gcc/ada/s-pack42.ads b/gcc/ada/s-pack42.ads index e384d821183..82ce7105076 100644 --- a/gcc/ada/s-pack42.ads +++ b/gcc/ada/s-pack42.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 42 package System.Pack_42 is -pragma Preelaborate (Pack_42); + pragma Preelaborate; Bits : constant := 42; diff --git a/gcc/ada/s-pack43.ads b/gcc/ada/s-pack43.ads index 86e3c83c00d..74d4fada4ae 100644 --- a/gcc/ada/s-pack43.ads +++ b/gcc/ada/s-pack43.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 43 package System.Pack_43 is -pragma Preelaborate (Pack_43); + pragma Preelaborate; Bits : constant := 43; diff --git a/gcc/ada/s-pack44.ads b/gcc/ada/s-pack44.ads index 07359b6d58f..fa6863f82e4 100644 --- a/gcc/ada/s-pack44.ads +++ b/gcc/ada/s-pack44.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 44 package System.Pack_44 is -pragma Preelaborate (Pack_44); + pragma Preelaborate; Bits : constant := 44; diff --git a/gcc/ada/s-pack45.ads b/gcc/ada/s-pack45.ads index 333c22583ba..78ebaa1924e 100644 --- a/gcc/ada/s-pack45.ads +++ b/gcc/ada/s-pack45.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 45 package System.Pack_45 is -pragma Preelaborate (Pack_45); + pragma Preelaborate; Bits : constant := 45; diff --git a/gcc/ada/s-pack46.ads b/gcc/ada/s-pack46.ads index 2f285378ae6..09256709dad 100644 --- a/gcc/ada/s-pack46.ads +++ b/gcc/ada/s-pack46.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 46 package System.Pack_46 is -pragma Preelaborate (Pack_46); + pragma Preelaborate; Bits : constant := 46; diff --git a/gcc/ada/s-pack47.ads b/gcc/ada/s-pack47.ads index 85b78bdbb89..4ca1ba3e96c 100644 --- a/gcc/ada/s-pack47.ads +++ b/gcc/ada/s-pack47.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 47 package System.Pack_47 is -pragma Preelaborate (Pack_47); + pragma Preelaborate; Bits : constant := 47; diff --git a/gcc/ada/s-pack48.ads b/gcc/ada/s-pack48.ads index 078c8b4b53a..0004f9275c9 100644 --- a/gcc/ada/s-pack48.ads +++ b/gcc/ada/s-pack48.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 48 package System.Pack_48 is -pragma Preelaborate (Pack_48); + pragma Preelaborate; Bits : constant := 48; diff --git a/gcc/ada/s-pack49.ads b/gcc/ada/s-pack49.ads index 72a46b05674..f60042b28ab 100644 --- a/gcc/ada/s-pack49.ads +++ b/gcc/ada/s-pack49.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 49 package System.Pack_49 is -pragma Preelaborate (Pack_49); + pragma Preelaborate; Bits : constant := 49; diff --git a/gcc/ada/s-pack50.ads b/gcc/ada/s-pack50.ads index cca7133d012..0ac3532406c 100644 --- a/gcc/ada/s-pack50.ads +++ b/gcc/ada/s-pack50.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 50 package System.Pack_50 is -pragma Preelaborate (Pack_50); + pragma Preelaborate; Bits : constant := 50; diff --git a/gcc/ada/s-pack51.ads b/gcc/ada/s-pack51.ads index 5092b241989..b5a479eb013 100644 --- a/gcc/ada/s-pack51.ads +++ b/gcc/ada/s-pack51.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 51 package System.Pack_51 is -pragma Preelaborate (Pack_51); + pragma Preelaborate; Bits : constant := 51; diff --git a/gcc/ada/s-pack52.ads b/gcc/ada/s-pack52.ads index 39662fe92cb..0bb2dfc5a3b 100644 --- a/gcc/ada/s-pack52.ads +++ b/gcc/ada/s-pack52.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 52 package System.Pack_52 is -pragma Preelaborate (Pack_52); + pragma Preelaborate; Bits : constant := 52; diff --git a/gcc/ada/s-pack53.ads b/gcc/ada/s-pack53.ads index 73dd9422c1e..eaf4fcc6551 100644 --- a/gcc/ada/s-pack53.ads +++ b/gcc/ada/s-pack53.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 53 package System.Pack_53 is -pragma Preelaborate (Pack_53); + pragma Preelaborate; Bits : constant := 53; diff --git a/gcc/ada/s-pack54.ads b/gcc/ada/s-pack54.ads index db53f075ff2..efecf497138 100644 --- a/gcc/ada/s-pack54.ads +++ b/gcc/ada/s-pack54.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 54 package System.Pack_54 is -pragma Preelaborate (Pack_54); + pragma Preelaborate; Bits : constant := 54; diff --git a/gcc/ada/s-pack55.ads b/gcc/ada/s-pack55.ads index 76708b6e194..61c8709f981 100644 --- a/gcc/ada/s-pack55.ads +++ b/gcc/ada/s-pack55.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 55 package System.Pack_55 is -pragma Preelaborate (Pack_55); + pragma Preelaborate; Bits : constant := 55; diff --git a/gcc/ada/s-pack56.ads b/gcc/ada/s-pack56.ads index 7dd865dbeff..d0d3c792aa3 100644 --- a/gcc/ada/s-pack56.ads +++ b/gcc/ada/s-pack56.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 56 package System.Pack_56 is -pragma Preelaborate (Pack_56); + pragma Preelaborate; Bits : constant := 56; diff --git a/gcc/ada/s-pack57.ads b/gcc/ada/s-pack57.ads index 761963aa273..2781b4aa439 100644 --- a/gcc/ada/s-pack57.ads +++ b/gcc/ada/s-pack57.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 57 package System.Pack_57 is -pragma Preelaborate (Pack_57); + pragma Preelaborate; Bits : constant := 57; diff --git a/gcc/ada/s-pack58.ads b/gcc/ada/s-pack58.ads index 56579562b54..a88434556a6 100644 --- a/gcc/ada/s-pack58.ads +++ b/gcc/ada/s-pack58.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 58 package System.Pack_58 is -pragma Preelaborate (Pack_58); + pragma Preelaborate; Bits : constant := 58; diff --git a/gcc/ada/s-pack59.ads b/gcc/ada/s-pack59.ads index dd14292cbf9..492b9ce6395 100644 --- a/gcc/ada/s-pack59.ads +++ b/gcc/ada/s-pack59.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 59 package System.Pack_59 is -pragma Preelaborate (Pack_59); + pragma Preelaborate; Bits : constant := 59; diff --git a/gcc/ada/s-pack60.ads b/gcc/ada/s-pack60.ads index b87480c9325..fd6f7d05591 100644 --- a/gcc/ada/s-pack60.ads +++ b/gcc/ada/s-pack60.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 60 package System.Pack_60 is -pragma Preelaborate (Pack_60); + pragma Preelaborate; Bits : constant := 60; diff --git a/gcc/ada/s-pack61.ads b/gcc/ada/s-pack61.ads index 554ad921d68..e745c5e6fe4 100644 --- a/gcc/ada/s-pack61.ads +++ b/gcc/ada/s-pack61.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 61 package System.Pack_61 is -pragma Preelaborate (Pack_61); + pragma Preelaborate; Bits : constant := 61; diff --git a/gcc/ada/s-pack62.ads b/gcc/ada/s-pack62.ads index c66b4f8e070..a7642b5ca27 100644 --- a/gcc/ada/s-pack62.ads +++ b/gcc/ada/s-pack62.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 62 package System.Pack_62 is -pragma Preelaborate (Pack_62); + pragma Preelaborate; Bits : constant := 62; diff --git a/gcc/ada/s-pack63.ads b/gcc/ada/s-pack63.ads index 154c0d73b9f..08f84f542fd 100644 --- a/gcc/ada/s-pack63.ads +++ b/gcc/ada/s-pack63.ads @@ -34,7 +34,7 @@ -- Handling of packed arrays with Component_Size = 63 package System.Pack_63 is -pragma Preelaborate (Pack_63); + pragma Preelaborate; Bits : constant := 63; diff --git a/gcc/ada/s-parame-ae653.ads b/gcc/ada/s-parame-ae653.ads index b00d1c388f7..2502c5e5bcc 100644 --- a/gcc/ada/s-parame-ae653.ads +++ b/gcc/ada/s-parame-ae653.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-hpux.ads b/gcc/ada/s-parame-hpux.ads index 973acb5725b..f4a806faf47 100644 --- a/gcc/ada/s-parame-hpux.ads +++ b/gcc/ada/s-parame-hpux.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-vms-restrict.ads b/gcc/ada/s-parame-vms-restrict.ads index aec2ed5ca9e..6bb42b5444a 100644 --- a/gcc/ada/s-parame-vms-restrict.ads +++ b/gcc/ada/s-parame-vms-restrict.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-vms.ads b/gcc/ada/s-parame-vms.ads index c130bde7f62..2bb34d5f07a 100644 --- a/gcc/ada/s-parame-vms.ads +++ b/gcc/ada/s-parame-vms.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame-vxworks.ads b/gcc/ada/s-parame-vxworks.ads index 56637f7e885..ea76e897f52 100644 --- a/gcc/ada/s-parame-vxworks.ads +++ b/gcc/ada/s-parame-vxworks.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-parame.ads b/gcc/ada/s-parame.ads index 7f53371e8b3..6a77b3596a8 100644 --- a/gcc/ada/s-parame.ads +++ b/gcc/ada/s-parame.ads @@ -49,7 +49,7 @@ -- otherwise the relinking and rebinding capability would be deactivated. package System.Parameters is -pragma Pure (Parameters); + pragma Pure; --------------------------------------- -- Task And Stack Allocation Control -- diff --git a/gcc/ada/s-pooglo.ads b/gcc/ada/s-pooglo.ads index 9bf0418c3b9..734a1c12826 100644 --- a/gcc/ada/s-pooglo.ads +++ b/gcc/ada/s-pooglo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1994, 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,9 +36,8 @@ with System.Storage_Pools; with System.Storage_Elements; package System.Pool_Global is - -pragma Elaborate_Body; --- Needed to ensure that library routines can execute allocators + pragma Elaborate_Body; + -- Needed to ensure that library routines can execute allocators -- Allocation strategy: diff --git a/gcc/ada/s-pooloc.ads b/gcc/ada/s-pooloc.ads index 7a5748eb699..c7fe93ed6b3 100644 --- a/gcc/ada/s-pooloc.ads +++ b/gcc/ada/s-pooloc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1998, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -35,9 +35,8 @@ with System.Storage_Elements; with System.Pool_Global; package System.Pool_Local is - -pragma Elaborate_Body; --- Needed to ensure that library routines can execute allocators + pragma Elaborate_Body; + -- Needed to ensure that library routines can execute allocators ---------------------------- -- Unbounded_Reclaim_Pool -- diff --git a/gcc/ada/s-poosiz.ads b/gcc/ada/s-poosiz.ads index a4bdef1f239..4245f0a065c 100644 --- a/gcc/ada/s-poosiz.ads +++ b/gcc/ada/s-poosiz.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -35,9 +35,8 @@ with System.Storage_Pools; with System.Storage_Elements; package System.Pool_Size is - -pragma Elaborate_Body; --- Needed to ensure that library routines can execute allocators + pragma Elaborate_Body; + -- Needed to ensure that library routines can execute allocators ------------------------ -- Stack_Bounded_Pool -- diff --git a/gcc/ada/s-powtab.ads b/gcc/ada/s-powtab.ads index 7c8c4617994..e0433970d04 100644 --- a/gcc/ada/s-powtab.ads +++ b/gcc/ada/s-powtab.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-1999 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -34,7 +34,7 @@ -- This package provides a powers of ten table used for real conversions package System.Powten_Table is -pragma Pure (Powten_Table); + pragma Pure; Maxpow : constant := 22; -- The number of entries in this table is chosen to include powers of ten diff --git a/gcc/ada/s-purexc.ads b/gcc/ada/s-purexc.ads index b725bcd681f..c9edb603353 100644 --- a/gcc/ada/s-purexc.ads +++ b/gcc/ada/s-purexc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2002 Ada Core Technologies, Inc. -- +-- Copyright (C) 2000-2005 Ada Core Technologies, 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- -- @@ -36,7 +36,7 @@ -- is for internal use only, it is not generally available to applications. package System.Pure_Exceptions is -pragma Pure (Pure_Exceptions); + pragma Pure; type Exception_Type is limited null record; -- Type used to specify which exception to raise diff --git a/gcc/ada/s-sopco3.ads b/gcc/ada/s-sopco3.ads index 70d75f74de6..ff7dec2093c 100644 --- a/gcc/ada/s-sopco3.ads +++ b/gcc/ada/s-sopco3.ads @@ -34,7 +34,7 @@ -- This package contains the function for concatenating three strings package System.String_Ops_Concat_3 is -pragma Pure (String_Ops_Concat_3); + pragma Pure; function Str_Concat_3 (S1, S2, S3 : String) return String; -- Concatenate three strings and return resulting string diff --git a/gcc/ada/s-sopco4.ads b/gcc/ada/s-sopco4.ads index d7a3d47a617..5194dad6e5f 100644 --- a/gcc/ada/s-sopco4.ads +++ b/gcc/ada/s-sopco4.ads @@ -34,7 +34,7 @@ -- This package contains the function for concatenating four strings package System.String_Ops_Concat_4 is -pragma Pure (String_Ops_Concat_4); + pragma Pure; function Str_Concat_4 (S1, S2, S3, S4 : String) return String; -- Concatenate four strings and return resulting string diff --git a/gcc/ada/s-sopco5.ads b/gcc/ada/s-sopco5.ads index 7a8c0dacb37..001fee9a905 100644 --- a/gcc/ada/s-sopco5.ads +++ b/gcc/ada/s-sopco5.ads @@ -34,7 +34,7 @@ -- This package contains the function for concatenating five strings package System.String_Ops_Concat_5 is -pragma Pure (String_Ops_Concat_5); + pragma Pure; function Str_Concat_5 (S1, S2, S3, S4, S5 : String) return String; -- Concatenate five strings and return resulting string diff --git a/gcc/ada/s-stoele.ads b/gcc/ada/s-stoele.ads index edcb090c8e8..ca50e03e8bd 100644 --- a/gcc/ada/s-stoele.ads +++ b/gcc/ada/s-stoele.ads @@ -40,16 +40,16 @@ -- It is a good idea to avoid use clauses for this package! package System.Storage_Elements is -pragma Pure (Storage_Elements); --- Note that we take advantage of the implementation permission to make --- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, --- this is Pure in any case (AI-362). - --- We also add the pragma Pure_Function to the operations in this package, --- because otherwise functions with parameters derived from Address are --- treated as non-pure by the back-end (see exp_ch6.adb). This is because --- in many cases such a parameter is used to hide read/out access to objects, --- and it would be unsafe to treat such functions as pure. + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, + -- this is Pure in any case (AI-362). + + -- We also add the pragma Pure_Function to the operations in this package, + -- because otherwise functions with parameters derived from Address are + -- treated as non-pure by the back-end (see exp_ch6.adb). This is because + -- in many cases such a parameter is used to hide read/out access to + -- objects, and it would be unsafe to treat such functions as pure. type Storage_Offset is range -(2 ** (Integer'(Standard'Address_Size) - 1)) .. diff --git a/gcc/ada/s-stopoo.ads b/gcc/ada/s-stopoo.ads index 51581a9a384..c30ee9c4609 100644 --- a/gcc/ada/s-stopoo.ads +++ b/gcc/ada/s-stopoo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -39,7 +39,7 @@ with Ada.Finalization; with System.Storage_Elements; package System.Storage_Pools is - pragma Preelaborate (System.Storage_Pools); + pragma Preelaborate; type Root_Storage_Pool is abstract new Ada.Finalization.Limited_Controlled with private; diff --git a/gcc/ada/s-stratt.ads b/gcc/ada/s-stratt.ads index 3b95315f25a..c4d0a32d062 100644 --- a/gcc/ada/s-stratt.ads +++ b/gcc/ada/s-stratt.ads @@ -44,7 +44,7 @@ with System.Unsigned_Types; with Ada.Streams; package System.Stream_Attributes is -pragma Preelaborate (Stream_Attributes); + pragma Preelaborate; pragma Suppress (Accessibility_Check, Stream_Attributes); -- No need to check accessibility on arguments of subprograms diff --git a/gcc/ada/s-strops.ads b/gcc/ada/s-strops.ads index 42458e50512..6813be73797 100644 --- a/gcc/ada/s-strops.ads +++ b/gcc/ada/s-strops.ads @@ -35,7 +35,7 @@ -- (other than runtime comparison, found in s-strcom.ads). package System.String_Ops is -pragma Pure (String_Ops); + pragma Pure; function Str_Concat (X, Y : String) return String; -- Concatenate two strings and return resulting string diff --git a/gcc/ada/s-unstyp.ads b/gcc/ada/s-unstyp.ads index 0e3ddb9198f..2b813ef4d42 100644 --- a/gcc/ada/s-unstyp.ads +++ b/gcc/ada/s-unstyp.ads @@ -38,7 +38,7 @@ -- used by the compiler in connection with packed array types. package System.Unsigned_Types is -pragma Pure (Unsigned_Types); + pragma Pure; type Short_Short_Unsigned is mod 2 ** Short_Short_Integer'Size; type Short_Unsigned is mod 2 ** Short_Integer'Size; diff --git a/gcc/ada/s-valboo.ads b/gcc/ada/s-valboo.ads index 0e7cc5c4493..e08d337f58f 100644 --- a/gcc/ada/s-valboo.ads +++ b/gcc/ada/s-valboo.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package System.Val_Bool is -pragma Pure (Val_Bool); + pragma Pure; function Value_Boolean (Str : String) return Boolean; -- Computes Boolean'Value (Str). diff --git a/gcc/ada/s-valcha.ads b/gcc/ada/s-valcha.ads index bd6a3a67e97..903ba53e063 100644 --- a/gcc/ada/s-valcha.ads +++ b/gcc/ada/s-valcha.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2000 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package System.Val_Char is -pragma Pure (Val_Char); + pragma Pure; function Value_Character (Str : String) return Character; -- Computes Character'Value (Str). diff --git a/gcc/ada/s-valdec.ads b/gcc/ada/s-valdec.ads index 43713fa9b1d..eb563dedf6b 100644 --- a/gcc/ada/s-valdec.ads +++ b/gcc/ada/s-valdec.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,7 +36,7 @@ -- Decimal_IO, and the Value attribute for such decimal types. package System.Val_Dec is -pragma Pure (Val_Dec); + pragma Pure; function Scan_Decimal (Str : String; diff --git a/gcc/ada/s-valenu.ads b/gcc/ada/s-valenu.ads index 7277bdcc0f6..048630fa7d8 100644 --- a/gcc/ada/s-valenu.ads +++ b/gcc/ada/s-valenu.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2000, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -36,7 +36,7 @@ -- details of the format of constructed image tables. package System.Val_Enum is -pragma Pure (Val_Enum); + pragma Pure; function Value_Enumeration_8 (Names : String; diff --git a/gcc/ada/s-valint.ads b/gcc/ada/s-valint.ads index bcf9eff15d9..32c6be32cc5 100644 --- a/gcc/ada/s-valint.ads +++ b/gcc/ada/s-valint.ads @@ -35,7 +35,7 @@ -- in Text_IO.Integer_IO, and the Value attribute. package System.Val_Int is -pragma Pure (Val_Int); + pragma Pure; function Scan_Integer (Str : String; diff --git a/gcc/ada/s-vallld.ads b/gcc/ada/s-vallld.ads index 7f5360b1e52..7d3b14101fc 100644 --- a/gcc/ada/s-vallld.ads +++ b/gcc/ada/s-vallld.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -36,7 +36,7 @@ -- Decimal_IO, and the Value attribute for such decimal types. package System.Val_LLD is -pragma Pure (Val_LLD); + pragma Pure; function Scan_Long_Long_Decimal (Str : String; diff --git a/gcc/ada/s-vallli.ads b/gcc/ada/s-vallli.ads index 5d3f7cd42c4..57c7f2da9d7 100644 --- a/gcc/ada/s-vallli.ads +++ b/gcc/ada/s-vallli.ads @@ -35,7 +35,7 @@ -- values for use in Text_IO.Integer_IO, and the Value attribute. package System.Val_LLI is -pragma Pure (Val_LLI); + pragma Pure; function Scan_Long_Long_Integer (Str : String; diff --git a/gcc/ada/s-valllu.ads b/gcc/ada/s-valllu.ads index 79ac543354a..6fee777c8ef 100644 --- a/gcc/ada/s-valllu.ads +++ b/gcc/ada/s-valllu.ads @@ -37,7 +37,7 @@ with System.Unsigned_Types; package System.Val_LLU is -pragma Pure (Val_LLU); + pragma Pure; function Scan_Long_Long_Unsigned (Str : String; diff --git a/gcc/ada/s-valrea.ads b/gcc/ada/s-valrea.ads index 2182085b662..821072d7d4e 100644 --- a/gcc/ada/s-valrea.ads +++ b/gcc/ada/s-valrea.ads @@ -32,7 +32,7 @@ ------------------------------------------------------------------------------ package System.Val_Real is -pragma Pure (Val_Real); + pragma Pure; function Scan_Real (Str : String; diff --git a/gcc/ada/s-valuns.ads b/gcc/ada/s-valuns.ads index a4dc349b627..88f609e7b5b 100644 --- a/gcc/ada/s-valuns.ads +++ b/gcc/ada/s-valuns.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -37,7 +37,7 @@ with System.Unsigned_Types; package System.Val_Uns is -pragma Pure (Val_Uns); + pragma Pure; function Scan_Unsigned (Str : String; diff --git a/gcc/ada/s-valuti.ads b/gcc/ada/s-valuti.ads index 55d98f59a0b..f7073ae97d1 100644 --- a/gcc/ada/s-valuti.ads +++ b/gcc/ada/s-valuti.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -34,7 +34,7 @@ -- This package provides some common utilities used by the s-valxxx files package System.Val_Util is -pragma Pure (Val_Util); + pragma Pure; procedure Normalize_String (S : in out String; diff --git a/gcc/ada/s-valwch.ads b/gcc/ada/s-valwch.ads index f453a58e3a9..05064c9cfad 100644 --- a/gcc/ada/s-valwch.ads +++ b/gcc/ada/s-valwch.ads @@ -34,7 +34,7 @@ -- Processing for Wide_[Wide_]Value attribute package System.Val_WChar is -pragma Pure (Val_WChar); + pragma Pure; function Value_Wide_Character (Str : String) return Wide_Character; diff --git a/gcc/ada/s-veboop.ads b/gcc/ada/s-veboop.ads index 9506f0afbcb..f7e135907cd 100644 --- a/gcc/ada/s-veboop.ads +++ b/gcc/ada/s-veboop.ads @@ -34,7 +34,7 @@ -- This package contains functions for runtime operations on boolean vectors package System.Vectors.Boolean_Operations is -pragma Pure (Boolean_Operations); + pragma Pure; -- Although in general the boolean operations on arrays of booleans are -- identical to operations on arrays of unsigned words of the same size, diff --git a/gcc/ada/s-vector.ads b/gcc/ada/s-vector.ads index 6947288b072..8d71514c374 100644 --- a/gcc/ada/s-vector.ads +++ b/gcc/ada/s-vector.ads @@ -41,7 +41,7 @@ -- direct processor support for them. package System.Vectors is -pragma Pure (Vectors); + pragma Pure; type Vector is mod 2**System.Word_Size; for Vector'Alignment use Integer'Min diff --git a/gcc/ada/s-vercon.ads b/gcc/ada/s-vercon.ads index ee1280c9caf..c8d26a916d3 100644 --- a/gcc/ada/s-vercon.ads +++ b/gcc/ada/s-vercon.ads @@ -38,8 +38,7 @@ with System.Unsigned_Types; package System.Version_Control is - - pragma Pure (Version_Control); + pragma Pure; subtype Version_String is String (1 .. 8); -- Eight character string returned by Get_version_String; diff --git a/gcc/ada/s-vxwork-alpha.ads b/gcc/ada/s-vxwork-alpha.ads index 466436c83ec..97c105c030c 100644 --- a/gcc/ada/s-vxwork-alpha.ads +++ b/gcc/ada/s-vxwork-alpha.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-m68k.ads b/gcc/ada/s-vxwork-m68k.ads index ad82449448d..f2b77edb0cc 100644 --- a/gcc/ada/s-vxwork-m68k.ads +++ b/gcc/ada/s-vxwork-m68k.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-mips.ads b/gcc/ada/s-vxwork-mips.ads index c30c6b99611..03290454254 100644 --- a/gcc/ada/s-vxwork-mips.ads +++ b/gcc/ada/s-vxwork-mips.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-ppc.ads b/gcc/ada/s-vxwork-ppc.ads index d6955d3fe7c..62116ca113c 100644 --- a/gcc/ada/s-vxwork-ppc.ads +++ b/gcc/ada/s-vxwork-ppc.ads @@ -36,7 +36,7 @@ with Interfaces.C; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; package IC renames Interfaces.C; diff --git a/gcc/ada/s-vxwork-sparcv9.ads b/gcc/ada/s-vxwork-sparcv9.ads index cf302aca7ab..b769b2a7a97 100644 --- a/gcc/ada/s-vxwork-sparcv9.ads +++ b/gcc/ada/s-vxwork-sparcv9.ads @@ -36,7 +36,7 @@ with Interfaces; package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; -- Floating point context record. SPARCV9 version diff --git a/gcc/ada/s-vxwork-x86.ads b/gcc/ada/s-vxwork-x86.ads index 830734f93c6..e1c93059889 100644 --- a/gcc/ada/s-vxwork-x86.ads +++ b/gcc/ada/s-vxwork-x86.ads @@ -34,7 +34,7 @@ -- This is the x86 VxWorks version of this package package System.VxWorks is - pragma Preelaborate (System.VxWorks); + pragma Preelaborate; -- Floating point context record. x86 version diff --git a/gcc/ada/s-wchcnv.ads b/gcc/ada/s-wchcnv.ads index c295e13c0c8..d90ae5b3869 100644 --- a/gcc/ada/s-wchcnv.ads +++ b/gcc/ada/s-wchcnv.ads @@ -37,7 +37,7 @@ with System.WCh_Con; package System.WCh_Cnv is - pragma Pure (WCh_Cnv); + pragma Pure; type UTF_32_Code is range 0 .. 16#7FFF_FFFF#; for UTF_32_Code'Size use 32; diff --git a/gcc/ada/s-wchcon.ads b/gcc/ada/s-wchcon.ads index 8d9dd6baad7..40394db1901 100644 --- a/gcc/ada/s-wchcon.ads +++ b/gcc/ada/s-wchcon.ads @@ -39,7 +39,7 @@ -- an appropriate WITH, and the interface can be expected to remain stable. package System.WCh_Con is -pragma Pure (WCh_Con); + pragma Pure; ------------------------------------- -- Wide_Character Encoding Methods -- diff --git a/gcc/ada/s-wchjis.ads b/gcc/ada/s-wchjis.ads index 406c4a7dcaf..0f103170ec7 100644 --- a/gcc/ada/s-wchjis.ads +++ b/gcc/ada/s-wchjis.ads @@ -35,7 +35,7 @@ -- JIS codes and the two external forms we support (EUC and Shift-JIS) package System.WCh_JIS is -pragma Pure (WCh_JIS); + pragma Pure; function EUC_To_JIS (EUC1, EUC2 : Character) return Wide_Character; -- Given the two bytes of a EUC representation, return the diff --git a/gcc/ada/s-wchstw.ads b/gcc/ada/s-wchstw.ads index 00d97d74629..ba154b901ba 100644 --- a/gcc/ada/s-wchstw.ads +++ b/gcc/ada/s-wchstw.ads @@ -37,7 +37,7 @@ with System.WCh_Con; package System.WCh_StW is -pragma Pure (WCh_StW); + pragma Pure; function String_To_Wide_String (S : String; diff --git a/gcc/ada/s-wchwts.ads b/gcc/ada/s-wchwts.ads index e5da87ad91b..ac34cf2dccd 100644 --- a/gcc/ada/s-wchwts.ads +++ b/gcc/ada/s-wchwts.ads @@ -39,7 +39,7 @@ with System.WCh_Con; package System.WCh_WtS is -pragma Pure (WCh_WtS); + pragma Pure; function Wide_String_To_String (S : Wide_String; diff --git a/gcc/ada/s-widboo.ads b/gcc/ada/s-widboo.ads index 5da23617789..9e5e1bd0945 100644 --- a/gcc/ada/s-widboo.ads +++ b/gcc/ada/s-widboo.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Boolean'Width package System.Wid_Bool is -pragma Pure (Wid_Bool); + pragma Pure; function Width_Boolean (Lo, Hi : Boolean) return Natural; -- Compute Width attribute for non-static type derived from Boolean. diff --git a/gcc/ada/s-widcha.ads b/gcc/ada/s-widcha.ads index f00495253f0..021a5a325f0 100644 --- a/gcc/ada/s-widcha.ads +++ b/gcc/ada/s-widcha.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Character'Width package System.Wid_Char is -pragma Pure (Wid_Char); + pragma Pure; function Width_Character (Lo, Hi : Character) return Natural; -- Compute Width attribute for non-static type derived from Character. diff --git a/gcc/ada/s-widenu.ads b/gcc/ada/s-widenu.ads index 116ba8b39cd..cef6e287aee 100644 --- a/gcc/ada/s-widenu.ads +++ b/gcc/ada/s-widenu.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Enumeration_Type'Width package System.Wid_Enum is -pragma Pure (Wid_Enum); + pragma Pure; function Width_Enumeration_8 (Names : String; diff --git a/gcc/ada/s-widlli.ads b/gcc/ada/s-widlli.ads index 7f93f7b443e..f2aede66aae 100644 --- a/gcc/ada/s-widlli.ads +++ b/gcc/ada/s-widlli.ads @@ -31,12 +31,12 @@ -- -- ------------------------------------------------------------------------------ --- This package contains the routine used for WIdth attribute for all +-- This package contains the routine used for Width attribute for all -- non-static signed integer subtypes. Note we only have one routine, -- since this seems a fairly marginal function. package System.Wid_LLI is -pragma Pure (Wid_LLI); + pragma Pure; function Width_Long_Long_Integer (Lo, Hi : Long_Long_Integer) diff --git a/gcc/ada/s-widllu.ads b/gcc/ada/s-widllu.ads index 91f587a7d84..dff5bb3019b 100644 --- a/gcc/ada/s-widllu.ads +++ b/gcc/ada/s-widllu.ads @@ -31,14 +31,14 @@ -- -- ------------------------------------------------------------------------------ --- This package contains the routine used for WIdth attribute for all +-- This package contains the routine used for Width attribute for all -- non-static unsigned integer (modular integer) subtypes. Note we only -- have one routine, since this seems a fairly marginal function. with System.Unsigned_Types; package System.Wid_LLU is -pragma Pure (Wid_LLU); + pragma Pure; function Width_Long_Long_Unsigned (Lo, Hi : System.Unsigned_Types.Long_Long_Unsigned) diff --git a/gcc/ada/s-widwch.ads b/gcc/ada/s-widwch.ads index 9c79e22312e..ca5e2fab89c 100644 --- a/gcc/ada/s-widwch.ads +++ b/gcc/ada/s-widwch.ads @@ -34,7 +34,7 @@ -- This package contains the routines used for Wide_[Wide_]Character'Width package System.Wid_WChar is -pragma Pure (Wid_WChar); + pragma Pure; function Width_Wide_Character (Lo, Hi : Wide_Character) return Natural; diff --git a/gcc/ada/s-wwdcha.ads b/gcc/ada/s-wwdcha.ads index 153111d2fa1..3ba15e473eb 100644 --- a/gcc/ada/s-wwdcha.ads +++ b/gcc/ada/s-wwdcha.ads @@ -34,7 +34,7 @@ -- This package contains the routine used for Character'Wide_[Wide_]Width package System.WWd_Char is -pragma Pure (WWd_Char); + pragma Pure; function Wide_Width_Character (Lo, Hi : Character) return Natural; -- Compute Wide_Width attribute for non-static type derived from diff --git a/gcc/ada/s-wwdenu.ads b/gcc/ada/s-wwdenu.ads index 1903e3e34f1..67bac34a859 100644 --- a/gcc/ada/s-wwdenu.ads +++ b/gcc/ada/s-wwdenu.ads @@ -36,7 +36,7 @@ with System.WCh_Con; package System.WWd_Enum is -pragma Pure (WWd_Enum); + pragma Pure; function Wide_Width_Enumeration_8 (Names : String; diff --git a/gcc/ada/s-wwdwch.ads b/gcc/ada/s-wwdwch.ads index b2dfc82f669..698a4ef0595 100644 --- a/gcc/ada/s-wwdwch.ads +++ b/gcc/ada/s-wwdwch.ads @@ -34,7 +34,7 @@ -- This package contains routines for [Wide_]Wide_Character'[Wide_]Wide_Width package System.Wwd_WChar is -pragma Pure (Wwd_WChar); + pragma Pure; function Wide_Width_Wide_Character (Lo, Hi : Wide_Character) return Natural; diff --git a/gcc/ada/system-aix.ads b/gcc/ada/system-aix.ads index 538f147756e..246207c18c8 100644 --- a/gcc/ada/system-aix.ads +++ b/gcc/ada/system-aix.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-darwin-ppc.ads b/gcc/ada/system-darwin-ppc.ads index 0ec65ae80b2..3d8f99b522d 100644 --- a/gcc/ada/system-darwin-ppc.ads +++ b/gcc/ada/system-darwin-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-freebsd-x86.ads b/gcc/ada/system-freebsd-x86.ads index aee0009fb5e..3eab5aef7e3 100644 --- a/gcc/ada/system-freebsd-x86.ads +++ b/gcc/ada/system-freebsd-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-hpux-ia64.ads b/gcc/ada/system-hpux-ia64.ads index 8f9c206a218..cb5af090af5 100644 --- a/gcc/ada/system-hpux-ia64.ads +++ b/gcc/ada/system-hpux-ia64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-hpux.ads b/gcc/ada/system-hpux.ads index 9e510be1a7e..4a72615f49c 100644 --- a/gcc/ada/system-hpux.ads +++ b/gcc/ada/system-hpux.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-interix.ads b/gcc/ada/system-interix.ads index 35fd53f869e..9e25857b2ec 100644 --- a/gcc/ada/system-interix.ads +++ b/gcc/ada/system-interix.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-irix-n32.ads b/gcc/ada/system-irix-n32.ads index 682fb09c8ca..794f494848b 100644 --- a/gcc/ada/system-irix-n32.ads +++ b/gcc/ada/system-irix-n32.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-irix-o32.ads b/gcc/ada/system-irix-o32.ads index 1a05a4550b9..1a69ff08189 100644 --- a/gcc/ada/system-irix-o32.ads +++ b/gcc/ada/system-irix-o32.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-hppa.ads b/gcc/ada/system-linux-hppa.ads index b0abb94dece..67c395c0d18 100644 --- a/gcc/ada/system-linux-hppa.ads +++ b/gcc/ada/system-linux-hppa.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-ia64.ads b/gcc/ada/system-linux-ia64.ads index 3d95bf64cb0..892a1be8dee 100644 --- a/gcc/ada/system-linux-ia64.ads +++ b/gcc/ada/system-linux-ia64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-ppc.ads b/gcc/ada/system-linux-ppc.ads index 200364795d6..99ed4e32b6f 100644 --- a/gcc/ada/system-linux-ppc.ads +++ b/gcc/ada/system-linux-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-x86.ads b/gcc/ada/system-linux-x86.ads index f3b45b1a647..6f43799ab28 100644 --- a/gcc/ada/system-linux-x86.ads +++ b/gcc/ada/system-linux-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-linux-x86_64.ads b/gcc/ada/system-linux-x86_64.ads index 3929553468b..e850d740384 100644 --- a/gcc/ada/system-linux-x86_64.ads +++ b/gcc/ada/system-linux-x86_64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-lynxos-ppc.ads b/gcc/ada/system-lynxos-ppc.ads index 328e0bd5c10..3aec6f23bb8 100644 --- a/gcc/ada/system-lynxos-ppc.ads +++ b/gcc/ada/system-lynxos-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-lynxos-x86.ads b/gcc/ada/system-lynxos-x86.ads index 651bc9f64e9..8213dbe7360 100644 --- a/gcc/ada/system-lynxos-x86.ads +++ b/gcc/ada/system-lynxos-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-mingw.ads b/gcc/ada/system-mingw.ads index 1428e9d56f9..b5967998da0 100644 --- a/gcc/ada/system-mingw.ads +++ b/gcc/ada/system-mingw.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-os2.ads b/gcc/ada/system-os2.ads index 267d6412185..9dc5bf8b686 100644 --- a/gcc/ada/system-os2.ads +++ b/gcc/ada/system-os2.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-solaris-sparc.ads b/gcc/ada/system-solaris-sparc.ads index 54a310f1dc5..1ec0af3872d 100644 --- a/gcc/ada/system-solaris-sparc.ads +++ b/gcc/ada/system-solaris-sparc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-solaris-sparcv9.ads b/gcc/ada/system-solaris-sparcv9.ads index c47e578952e..672cd97e5dd 100644 --- a/gcc/ada/system-solaris-sparcv9.ads +++ b/gcc/ada/system-solaris-sparcv9.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-solaris-x86.ads b/gcc/ada/system-solaris-x86.ads index c7388e1b922..0ebf08bef5c 100644 --- a/gcc/ada/system-solaris-x86.ads +++ b/gcc/ada/system-solaris-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-tru64.ads b/gcc/ada/system-tru64.ads index 7095b064561..ef3d7de8a0b 100644 --- a/gcc/ada/system-tru64.ads +++ b/gcc/ada/system-tru64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-unixware.ads b/gcc/ada/system-unixware.ads index 5ae8460a0bd..63fb6038cde 100644 --- a/gcc/ada/system-unixware.ads +++ b/gcc/ada/system-unixware.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vms-zcx.ads b/gcc/ada/system-vms-zcx.ads index a9459fe8131..5f9f59423c5 100644 --- a/gcc/ada/system-vms-zcx.ads +++ b/gcc/ada/system-vms-zcx.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vms.ads b/gcc/ada/system-vms.ads index 86acc7c15d2..d958ded7663 100644 --- a/gcc/ada/system-vms.ads +++ b/gcc/ada/system-vms.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vms_64.ads b/gcc/ada/system-vms_64.ads index 1e9cccbd928..3d7b8e8f615 100644 --- a/gcc/ada/system-vms_64.ads +++ b/gcc/ada/system-vms_64.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-alpha.ads b/gcc/ada/system-vxworks-alpha.ads index cd0be419d3f..6818addb087 100644 --- a/gcc/ada/system-vxworks-alpha.ads +++ b/gcc/ada/system-vxworks-alpha.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-m68k.ads b/gcc/ada/system-vxworks-m68k.ads index 6f8baae47a5..c532a5d3818 100644 --- a/gcc/ada/system-vxworks-m68k.ads +++ b/gcc/ada/system-vxworks-m68k.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-mips.ads b/gcc/ada/system-vxworks-mips.ads index fae8120cc18..288a2bca440 100644 --- a/gcc/ada/system-vxworks-mips.ads +++ b/gcc/ada/system-vxworks-mips.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-ppc.ads b/gcc/ada/system-vxworks-ppc.ads index 333dc51b78e..5db540ee949 100644 --- a/gcc/ada/system-vxworks-ppc.ads +++ b/gcc/ada/system-vxworks-ppc.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-sparcv9.ads b/gcc/ada/system-vxworks-sparcv9.ads index 0ff0c5e1a66..fa15a6f562c 100644 --- a/gcc/ada/system-vxworks-sparcv9.ads +++ b/gcc/ada/system-vxworks-sparcv9.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system-vxworks-x86.ads b/gcc/ada/system-vxworks-x86.ads index 11c55de11ee..ec6faf9fae2 100644 --- a/gcc/ada/system-vxworks-x86.ads +++ b/gcc/ada/system-vxworks-x86.ads @@ -37,10 +37,10 @@ ------------------------------------------------------------------------------ package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/system.ads b/gcc/ada/system.ads index 03581ee784e..11359c69d94 100644 --- a/gcc/ada/system.ads +++ b/gcc/ada/system.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (Compiler Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -42,10 +42,10 @@ -- about most System parameters, this generic version works fine. package System is -pragma Pure (System); --- Note that we take advantage of the implementation permission to make this --- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is --- Pure in any case (AI-362). + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). type Name is (SYSTEM_NAME_GNAT); System_Name : constant Name := SYSTEM_NAME_GNAT; diff --git a/gcc/ada/table.ads b/gcc/ada/table.ads index af54029132e..853948ab8c7 100644 --- a/gcc/ada/table.ads +++ b/gcc/ada/table.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -43,7 +43,7 @@ with Types; use Types; package Table is -pragma Elaborate_Body (Table); + pragma Elaborate_Body; generic type Table_Component_Type is private; diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index a756a8a6abc..ea8a949afb2 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -31,11 +31,6 @@ -- -- ------------------------------------------------------------------------------ -with Unchecked_Deallocation; - -package Types is -pragma Preelaborate (Types); - -- This package contains host independent type definitions which are used -- in more than one unit in the compiler. They are gathered here for easy -- reference, though in some cases the full description is found in the @@ -45,13 +40,18 @@ pragma Preelaborate (Types); -- dependencies would have to be dealt with. -- WARNING: There is a C version of this package. Any changes to this --- source file must be properly reflected in the C header file a-types.h +-- source file must be properly reflected in the C header file types.h -- Note: the declarations in this package reflect an expectation that the -- host machine has an efficient integer base type with a range at least -- 32 bits 2s-complement. If there are any machines for which this is not -- a correct assumption, a significant number of changes will be required! +with Unchecked_Deallocation; + +package Types is + pragma Preelaborate; + ------------------------------- -- General Use Integer Types -- ------------------------------- |