g-moreex.adb: Add comments.

2009-04-17  Robert Dewar  <dewar@adacore.com>

	* g-moreex.adb: Add comments.

	* s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)

	* s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
	Warnings (Off)

	* prepcomp.adb: Add ??? comment

	* a-tasatt.adb: Minor reformatting

	* g-trasym-vms-alpha.adb: Add ??? comment

	* g-trasym-vms-ia64.adb: Add ??? comment

	* xoscons.adb: Minor reformatting

	* s-tassta.adb: Minor reformatting

	* s-scaval.adb: Add ??? comment

	* stand.ads: Minor code clean up (remove junk with of Namet)

	* s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
	s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
	s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
	s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
	s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
	s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
	s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
	s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
	Warnings off pragmas.

From-SVN: r146262
This commit is contained in:
Robert Dewar 2009-04-17 13:07:12 +00:00 committed by Arnaud Charlet
parent df416fb084
commit 74e63df17e
50 changed files with 92 additions and 162 deletions

View file

@ -1,3 +1,38 @@
2009-04-17 Robert Dewar <dewar@adacore.com>
* g-moreex.adb: Add comments.
* s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)
* s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
Warnings (Off)
* prepcomp.adb: Add ??? comment
* a-tasatt.adb: Minor reformatting
* g-trasym-vms-alpha.adb: Add ??? comment
* g-trasym-vms-ia64.adb: Add ??? comment
* xoscons.adb: Minor reformatting
* s-tassta.adb: Minor reformatting
* s-scaval.adb: Add ??? comment
* stand.ads: Minor code clean up (remove junk with of Namet)
* s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
Warnings off pragmas.
2009-04-17 Pascal Obry <obry@adacore.com>
* initialize.c: Fix test for reallocating the arguments array.

View file

@ -276,8 +276,7 @@ package body Ada.Task_Attributes is
-- For reference to directly addressed task attributes
pragma Warnings (On);
-- End of warnings off region for directly addressed
-- attribute conversion functions.
-- End warnings off region for directly addressed attribute conversions
function To_Access_Address is new Ada.Unchecked_Conversion
(Access_Node, Access_Address);
@ -307,8 +306,6 @@ package body Ada.Task_Attributes is
(Local_Deallocator, Deallocator);
-- To defeat accessibility check
pragma Warnings (On);
------------------------
-- Storage Management --
------------------------

View file

@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2000-2006, AdaCore --
-- Copyright (C) 2000-2008, 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- --
@ -47,32 +47,17 @@ package body GNAT.Most_Recent_Exception is
use type Ada.Exceptions.Exception_Occurrence_Access;
begin
pragma Warnings (Off);
if EOA = null then
return Ada.Exceptions.Null_Occurrence;
else
return EOA.all;
end if;
pragma Warnings (On);
-- ???Note that both of the above return statements violate the Ada
-- 2005 rule forbidding copying of limited objects (see RM-7.5(2.8/2)).
-- When compiled with -gnatg, the compiler gives a warning instead of
-- an error, so we can turn it off.
-- To fix this, remove the pragmas Warnings above, and use the following
-- code. We can't do that yet, because AI-318 is not yet implemented.
--
-- return Result : Ada.Exceptions.Exception_Occurrence do
-- if EOA = null then
-- Ada.Exceptions.Save_Occurrence
-- (Target => Result,
-- Source => Ada.Exceptions.Null_Occurrence);
-- else
-- Ada.Exceptions.Save_Occurrence
-- (Target => Result,
-- Source => EOA.all);
-- end if;
-- end return;
return Result : Ada.Exceptions.Exception_Occurrence do
if EOA = null then
Ada.Exceptions.Save_Occurrence
(Target => Result,
Source => Ada.Exceptions.Null_Occurrence);
else
Ada.Exceptions.Save_Occurrence
(Target => Result,
Source => EOA.all);
end if;
end return;
end Occurrence;
-----------------------

View file

@ -40,7 +40,7 @@ with System.Traceback_Entries;
package body GNAT.Traceback.Symbolic is
pragma Warnings (Off);
pragma Warnings (Off); -- Needs comment ???
pragma Linker_Options ("--for-linker=sys$library:trace.exe");
use Interfaces.C;

View file

@ -39,7 +39,7 @@ with System.Traceback_Entries;
package body GNAT.Traceback.Symbolic is
pragma Warnings (Off);
pragma Warnings (Off); -- ??? needs comment
pragma Linker_Options ("--for-linker=sys$library:trace.exe");
use System;

View file

@ -45,8 +45,11 @@ package body Prepcomp is
Source_Index_Of_Preproc_Data_File : Source_File_Index := No_Source_File;
-- The following variable should be a constant, but this is not
-- possible. Warnings are Off because it is never assigned a value.
-- The following variable should be a constant, but this is not possible
-- because its type GNAT.Dynamic_Tables.Instance has a component P of
-- unitialized private type GNAT.Dynamic_Tables.Table_Private and there are
-- no exported values for this private type.
-- Warnings are Off because it is never assigned a value.
pragma Warnings (Off);
No_Mapping : Prep.Symbol_Table.Instance;

View file

@ -115,6 +115,7 @@ package System.Aux_DEC is
-- Floating point type declarations for VAX floating point data types
pragma Warnings (Off);
-- ??? needs comment
type F_Float is digits 6;
pragma Float_Representation (VAX_Float, F_Float);

View file

@ -105,6 +105,7 @@ package System.Aux_DEC is
-- Floating point type declarations for VAX floating point data types
pragma Warnings (Off);
-- ??? needs comment
type F_Float is digits 6;
pragma Float_Representation (VAX_Float, F_Float);

View file

@ -48,9 +48,7 @@
-- be used by other predefined packages. User access to this package is via
-- a renaming of this package in GNAT.OS_Lib (file g-os_lib.ads).
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with System;
with System.Strings;

View file

@ -33,9 +33,7 @@
-- an exception message. It can be used from Pure units. This unit is for
-- internal use only, it is not generally available to applications.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.Pure_Exceptions is
pragma Pure;

View file

@ -71,7 +71,7 @@ package body System.Scalar_Values is
-- On other targets the type is 8 bytes, and type Byte8 is used for
-- values that are then converted to ByteLF.
pragma Warnings (Off);
pragma Warnings (Off); -- why ???
function To_ByteLF is new Ada.Unchecked_Conversion (Byte8, ByteLF);
pragma Warnings (On);

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with System.Soft_Links;
with System.Parameters;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with System.Storage_Elements;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get an
@ -309,7 +307,7 @@ package body System.Soft_Links is
-------------------------
procedure Task_Termination_NT (Excep : EO) is
pragma Warnings (Off, Excep);
pragma Unreferenced (Excep);
begin
null;
end Task_Termination_NT;

View file

@ -37,11 +37,6 @@
-- initialized to non-tasking versions, and then if the tasking support is
-- initialized, they are set to the real tasking versions.
pragma Warnings (Off);
-- When compiling this package with older compilers, there are many warnings,
-- so we suppress them throughout most of this file. Pragmas Compiler_Unit,
-- Preelaborate_05, and Favor_Top_Level are not supported by older compilers.
pragma Compiler_Unit;
with Ada.Exceptions;
@ -130,7 +125,6 @@ package System.Soft_Links is
Len : Natural)
return String;
pragma Favor_Top_Level (Traceback_Decorator_Wrapper_Call);
pragma Warnings (On);
-- Declarations for the no tasking versions of the required routines
@ -312,35 +306,35 @@ package System.Soft_Links is
------------------------
-- Here we define a single type that encapsulates the various task
-- specific data. This type is used to store the necessary data into
-- the Task_Control_Block or into a global variable in the non tasking
-- case.
-- specific data. This type is used to store the necessary data into the
-- Task_Control_Block or into a global variable in the non tasking case.
type TSD is record
Pri_Stack_Info : aliased Stack_Checking.Stack_Info;
-- Information on stack (Base/Limit/Size) that is used
-- by System.Stack_Checking. If this TSD does not belong to
-- the environment task, the Size field must be initialized
-- to the tasks requested stack size before the task can do
-- its first stack check.
-- Information on stack (Base/Limit/Size) used by System.Stack_Checking.
-- If this TSD does not belong to the environment task, the Size field
-- must be initialized to the tasks requested stack size before the task
-- can do its first stack check.
pragma Warnings (Off);
-- Needed because we are giving a non-static default to an object in
-- a preelaborated unit, which is formally not permitted, but OK here.
Jmpbuf_Address : System.Address := System.Null_Address;
-- Address of jump buffer used to store the address of the
-- current longjmp/setjmp buffer for exception management.
-- These buffers are threaded into a stack, and the address
-- here is the top of the stack. A null address means that
-- no exception handler is currently active.
-- Address of jump buffer used to store the address of the current
-- longjmp/setjmp buffer for exception management. These buffers are
-- threaded into a stack, and the address here is the top of the stack.
-- A null address means that no exception handler is currently active.
Sec_Stack_Addr : System.Address := System.Null_Address;
pragma Warnings (On);
-- Address of currently allocated secondary stack
Current_Excep : aliased EO;
-- Exception occurrence that contains the information for the
-- current exception. Note that any exception in the same task
-- destroys this information, so the data in this variable must
-- be copied out before another exception can occur.
-- Exception occurrence that contains the information for the current
-- exception. Note that any exception in the same task destroys this
-- information, so the data in this variable must be copied out before
-- another exception can occur.
--
-- Also act as a list of the active exceptions in the case of the GCC
-- exception mechanism, organized as a stack with the most recent first.

View file

@ -33,9 +33,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.String_Ops_Concat_3 is

View file

@ -35,9 +35,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.String_Ops_Concat_3 is
pragma Pure;

View file

@ -33,9 +33,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.String_Ops_Concat_4 is

View file

@ -35,9 +35,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.String_Ops_Concat_4 is
pragma Pure;

View file

@ -33,9 +33,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.String_Ops_Concat_5 is

View file

@ -35,9 +35,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.String_Ops_Concat_5 is
pragma Pure;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
-- As noted in the spec, this dummy body is present because otherwise we
-- have bootstrapping path problems (there used to be a real body).

View file

@ -35,9 +35,7 @@
-- This package defines basic types and objects. Operations related to
-- stack checking can be found in package System.Stack_Checking.Operations.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with System.Storage_Elements;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
-- The purpose of this body is simply to ensure that the two with'ed units
-- are properly included in the link. They are not with'ed from the spec
@ -43,7 +41,8 @@ pragma Polling (Off);
-- elaboration circularities with Ada.Exceptions if polling is on.
pragma Warnings (Off);
-- Kill warnings from unused withs
-- Kill warnings from unused withs. These unused with's are here to make
-- sure the relevant units are loaded and properly elaborated.
with System.Soft_Links;
-- Referenced directly from generated code using external symbols so it

View file

@ -44,9 +44,7 @@
-- package and the packages it references are included in all Ada programs,
-- together with the included data.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with Ada.Unchecked_Conversion;

View file

@ -37,9 +37,7 @@
-- extra declarations that can be introduced into System using Extend_System.
-- It is a good idea to avoid use clauses for this package!
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.Storage_Elements is
pragma Pure;
@ -66,12 +64,8 @@ package System.Storage_Elements is
type Storage_Element is mod 2 ** Storage_Unit;
for Storage_Element'Size use Storage_Unit;
pragma Warnings (Off);
pragma Universal_Aliasing (Storage_Element);
pragma Warnings (On);
-- This type is used by the expansion to implement aggregate copy.
-- We turn off warnings for this pragma to deal with being compiled
-- with an earlier GNAT version that does not recognize this pragma.
-- This type is used by the expander to implement aggregate copy
type Storage_Array is
array (Storage_Offset range <>) of aliased Storage_Element;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with Ada.Unchecked_Conversion;

View file

@ -31,9 +31,7 @@
-- This package contains functions for runtime comparisons on strings
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.String_Compare is

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.Strings is

View file

@ -35,9 +35,7 @@
-- be used by other predefined packages. User access to this package is via
-- a renaming of this package in GNAT.String (file g-string.ads).
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with Ada.Unchecked_Deallocation;

View file

@ -33,9 +33,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.String_Ops is

View file

@ -36,9 +36,7 @@
-- which now generates concatenation inline. It is retained only because
-- it may be used during bootstrapping using old versions of the compiler.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.String_Ops is
pragma Pure;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with Ada.Streams; use Ada.Streams;
with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO;

View file

@ -46,9 +46,7 @@
-- or
-- String_Output_Blk_IO (Some_Stream, Some_String);
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with Ada.Streams;

View file

@ -938,7 +938,7 @@ package body System.Tasking.Stages is
Initialization.Undefer_Abort (Self_ID);
end Move_Activation_Chain;
-- Compiler interface only. Do not call from within the RTS.
-- Compiler interface only. Do not call from within the RTS
--------------------
-- Set_Entry_Name --

View file

@ -34,9 +34,7 @@
-- Note: this unit must be compiled using -fno-optimize-sibling-calls.
-- See comment below in body of Call_Chain for details on the reason.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.Traceback is

View file

@ -29,14 +29,11 @@
-- --
------------------------------------------------------------------------------
-- This package provides a method for generating a traceback of the
-- current execution location. The traceback shows the locations of
-- calls in the call chain, up to either the top or a designated
-- number of levels.
-- This package provides a method for generating a traceback of the current
-- execution location. The traceback shows the locations of calls in the call
-- chain, up to either the top or a designated number of levels.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get
@ -61,12 +58,11 @@ package System.Traceback is
-- Traceback is the address of an array of addresses where the
-- result will be stored.
--
-- Max_Len is the length of the Traceback array. If the call chain
-- is longer than this, then additional entries are discarded, and
-- the traceback is missing some of the highest level entries.
-- Max_Len is the length of the Traceback array. If the call chain is
-- longer than this, then additional entries are discarded, and the
-- traceback is missing some of the highest level entries.
--
-- Len is the returned actual number of addresses stored
-- in the Traceback array.
-- Len is the returned number of addresses stored in the Traceback array
--
-- Exclude_Min/Exclude_Max, if non null, provide a range of addresses
-- to ignore from the computation of the traceback.
@ -77,9 +73,9 @@ package System.Traceback is
-- this procedure, 2 means 1 + exclude the frame for this procedure's
-- caller, ...
--
-- On return, the Traceback array is filled in, and Len indicates
-- the number of stored entries. The first entry is the most recent
-- call, and the last entry is the highest level call.
-- On return, the Traceback array is filled in, and Len indicates the
-- number of stored entries. The first entry is the most recent call,
-- and the last entry is the highest level call.
function C_Call_Chain
(Traceback : System.Address;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.Traceback_Entries is

View file

@ -38,9 +38,7 @@
-- version of the package, an entry is a mere code location representing the
-- address of a call instruction part of the call-chain.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.Traceback_Entries is
pragma Preelaborate;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
pragma Style_Checks (Off);
-- Allow long lines in this unit

View file

@ -41,9 +41,7 @@
-- the same services. The reason this package is in System is so that it can
-- with'ed by other packages in the Ada and System hierarchies.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.UTF_32 is

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with Interfaces; use Interfaces;
with System.WCh_Con; use System.WCh_Con;

View file

@ -43,9 +43,7 @@
-- This unit may be used directly from an application program by providing
-- an appropriate WITH, and the interface can be expected to remain stable.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
with System.WCh_Con;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.WCh_Con is

View file

@ -36,9 +36,7 @@
-- This unit may be used directly from an application program by providing
-- an appropriate WITH, and the interface can be expected to remain stable.
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.WCh_Con is
pragma Pure;

View file

@ -29,9 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package body System.WCh_JIS is

View file

@ -32,9 +32,7 @@
-- This package contains routines used for converting between internal
-- JIS codes and the two external forms we support (EUC and Shift-JIS)
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
package System.WCh_JIS is
pragma Pure;

View file

@ -35,13 +35,6 @@
with Types; use Types;
-- Do we really need the with of Namet?
pragma Warnings (Off);
with Namet; use Namet;
pragma Elaborate_All (Namet);
pragma Warnings (On);
package Stand is
type Standard_Entity_Type is (

View file

@ -23,14 +23,14 @@
-- --
------------------------------------------------------------------------------
-- This program generates the spec of System.OS_Constants (s-oscons.ads).
-- This program generates the spec of System.OS_Constants (s-oscons.ads)
-- It works in conjunction with a C template file which must be pre-processed
-- and compiled using the cross compiler. Two input files are used:
-- - the preprocessed C file: s-oscons-tmplt.i
-- - the generated assembly file: s-oscons-tmplt.s
-- The contents of s-oscons.ads is written on standard output.
-- The contents of s-oscons.ads is written on standard output
with Ada.Characters.Handling; use Ada.Characters.Handling;
with Ada.Exceptions; use Ada.Exceptions;