+2009-04-17 Robert Dewar <dewar@adacore.com>
+
+ * s-conca5.adb, g-sercom.adb, s-conca5.ads, s-conca7.adb, exp_imgv.adb,
+ s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads,
+ s-addope.adb, i-cstrin.ads, s-addope.ads, s-carun8.adb, s-carun8.ads,
+ g-htable.ads, g-hesora.adb, g-hesora.ads, s-htable.adb, s-htable.ads,
+ s-conca2.adb, s-conca2.ads, a-except.adb, s-conca4.adb, a-except.ads,
+ s-conca4.ads, s-except.adb, s-except.ads, s-conca6.adb, s-conca6.ads,
+ g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, s-conca8.adb,
+ s-conca8.ads, g-byorma.adb, g-byorma.ads, s-memory.adb, s-memory.ads,
+ g-speche.adb, g-speche.ads, g-stsifd-sockets.adb, exp_dist.adb,
+ s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-exctab.adb,
+ s-exctab.ads, s-imenne.adb, s-imenne.ads, s-casuti.adb, osint.adb,
+ s-assert.adb, s-casuti.ads, s-assert.ads, s-os_lib.adb, s-conca3.adb,
+ s-conca3.ads: Remove unneeded pragma Warnings
+
2009-04-17 Robert Dewar <dewar@adacore.com>
* g-moreex.adb: Add comments.
-- 2005 functionality is required. In particular, it is used for building
-- run times on all targets.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
pragma Style_Checks (All_Checks);
-- No subprogram ordering check, due to logical grouping
-- 2005 functionality is required. In particular, it is used for building
-- run times on all targets.
+pragma Compiler_Unit;
+
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get
-- elaboration circularities with ourself.
-pragma Warnings (Off);
-pragma Compiler_Unit;
-pragma Warnings (On);
-
with System;
with System.Parameters;
with System.Standard_Library;
(Vis_Decl : Node_Id;
RAS_Type : Entity_Id)
is
- pragma Warnings (Off);
pragma Unreferenced (RAS_Type);
- pragma Warnings (On);
begin
Add_RAS_Access_TSS (Vis_Decl);
end Add_RAST_Features;
-- List of statements for extra formal parameters. It will appear
-- after the regular statements for writing out parameters.
- pragma Warnings (Off);
pragma Unreferenced (RACW_Type);
-- Used only for the PolyORB case
- pragma Warnings (On);
begin
-- The general form of a calling stub for a given subprogram is:
RPC_Receiver_Decl : Node_Id;
Body_Decls : List_Id)
is
- pragma Warnings (Off);
pragma Unreferenced (RPC_Receiver_Decl);
- pragma Warnings (On);
begin
Add_RACW_From_Any
Stub_Type_Access : Entity_Id;
Body_Decls : List_Id)
is
- pragma Warnings (Off);
pragma Unreferenced (Stub_Type, Stub_Type_Access);
- pragma Warnings (On);
+
Loc : constant Source_Ptr := Sloc (RACW_Type);
Proc_Decl : Node_Id;
Stub_Type_Access : Entity_Id;
Body_Decls : List_Id)
is
- pragma Warnings (Off);
pragma Unreferenced (Stub_Type, Stub_Type_Access);
- pragma Warnings (On);
Loc : constant Source_Ptr := Sloc (RACW_Type);
RPC_Receiver_Decl : out Node_Id)
is
Loc : constant Source_Ptr := Sloc (Stub_Type);
- pragma Warnings (Off);
+
pragma Unreferenced (RACW_Type);
- pragma Warnings (On);
begin
Stub_Type_Decl :=
Counter : Entity_Id;
Datum : Node_Id)
is
- pragma Warnings (Off);
pragma Unreferenced (Counter);
- pragma Warnings (On);
Element_Any : Node_Id;
Rec : Entity_Id;
Field : Node_Id)
is
- pragma Warnings (Off);
pragma Unreferenced (Any, Counter, Rec);
- pragma Warnings (On);
begin
if Nkind (Field) = N_Defining_Identifier then
-- as is done with other ZFP violations.
declare
- pragma Warnings (Off); -- since Discard is unreferenced
Discard : constant Entity_Id := RTE (RE_Null);
- pragma Warnings (On);
+ pragma Unreferenced (Discard);
begin
return;
end;
-- --
------------------------------------------------------------------------------
+pragma Compiler_Unit;
+
package body GNAT.Byte_Order_Mark is
--------------
-- --
-- S p e c --
-- --
--- Copyright (C) 2006-2007, AdaCore --
+-- Copyright (C) 2006-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- --
-- cases depend on the first character of the XML file being < so that the
-- encoding of this character can be recognized.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package GNAT.Byte_Order_Mark is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body GNAT.Heap_Sort_A is
-- --
-- S p e c --
-- --
--- Copyright (C) 1995-2007, AdaCore --
+-- Copyright (C) 1995-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- --
-- worst case and is in place with no additional storage required. See
-- the body for exact details of the algorithm used.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package GNAT.Heap_Sort_A is
pragma Preelaborate;
-- this facility is accessed from run time routines, but clients should
-- always access the version supplied via GNAT.HTable.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.HTable;
procedure Open
(Port : out Serial_Port;
- Name : Port_Name) is
+ Name : Port_Name)
+ is
begin
Unimplemented;
end Open;
Stop_Bits : Stop_Bits_Number := One;
Parity : Parity_Check := None;
Block : Boolean := True;
- Timeout : Duration := 10.0) is
+ Timeout : Duration := 10.0)
+ is
begin
Unimplemented;
end Set;
overriding procedure Read
(Port : in out Serial_Port;
Buffer : out Stream_Element_Array;
- Last : out Stream_Element_Offset) is
+ Last : out Stream_Element_Offset)
+ is
begin
Unimplemented;
end Read;
overriding procedure Write
(Port : in out Serial_Port;
- Buffer : Stream_Element_Array) is
+ Buffer : Stream_Element_Array)
+ is
begin
Unimplemented;
end Write;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2007, AdaCore --
+-- Copyright (C) 1998-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- --
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body GNAT.Spelling_Checker_Generic is
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2007, AdaCore --
+-- Copyright (C) 1998-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- --
-- codes for ASCII characters in the range 16#20#..16#7F# have their normal
-- expected encoding values (e.g. the Pos value 16#31# must be digit 1).
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package GNAT.Spelling_Checker_Generic is
pragma Pure;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2007, AdaCore --
+-- Copyright (C) 1998-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- --
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with GNAT.Spelling_Checker_Generic;
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2007, AdaCore --
+-- Copyright (C) 1998-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- --
-- This package provides a utility routine for checking for bad spellings
-- for the case of String arguments.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package GNAT.Spelling_Checker is
pragma Pure;
-- Address of listening socket
Res : C.int;
- -- Return status of system calls
+ pragma Warnings (Off, Res);
+ -- Return status of system calls (usually ignored, hence warnings off)
begin
Fds.all := (Read_End | Write_End => Failure);
pragma Assert (Res = Failure
and then
Socket_Errno = SOSC.EADDRINUSE);
- pragma Warnings (Off); -- useless assignment to "Res"
Res := C_Close (W_Sock);
- pragma Warnings (On);
W_Sock := Failure;
Res := C_Close (R_Sock);
R_Sock := Failure;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2007, AdaCore --
+-- Copyright (C) 1998-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- --
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with GNAT.Spelling_Checker_Generic;
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2007, AdaCore --
+-- Copyright (C) 1998-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- --
-- This package provides a utility routine for checking for bad spellings
-- for the case of System.WCh_Cnv.UTF_32_String arguments.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.WCh_Cnv;
type char_array_access is access all char_array;
- pragma Warnings (Off);
pragma No_Strict_Aliasing (char_array_access);
- pragma Warnings (On);
-- Since this type is used for external interfacing, with the pointer
-- coming from who knows where, it seems a good idea to turn off any
- -- strict aliasing assumptions for this type. We turn off warnings for
- -- this pragma to deal with being compiled with an earlier GNAT version
- -- that does not recognize this pragma.
+ -- strict aliasing assumptions for this type.
type chars_ptr is private;
Status : Boolean;
pragma Warnings (Off, Status);
- -- For the call to Close
+ -- For the call to Close where status is ignored
begin
File_FD := Open_Read (Buffer'Address, Binary);
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Ada.Unchecked_Conversion;
-- inappropriate use by applications programs). In addition, the logical
-- operations may not be available if type Address is a signed integer.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Address_Operations is
pragma Pure;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Ada.Exceptions;
with System.Exceptions;
-- 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.Assertions is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.Address_Operations; use System.Address_Operations;
-- This package contains functions for runtime comparisons on arrays whose
-- elements are 8-bit discrete type values to be treated as unsigned.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Compare_Array_Unsigned_8 is
-- --
-- B o d y --
-- --
--- Copyright (C) 1995-2007, AdaCore --
+-- Copyright (C) 1995-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- --
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Case_Util is
-- Note that all the routines in this package are available to the user
-- via GNAT.Case_Util, which imports all the entities from this package.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Case_Util is
pragma Pure;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_2 is
-- This package contains a procedure for runtime concatenation of two string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_2 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_3 is
-- This package contains a procedure for runtime concatenation of three string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_3 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_4 is
-- This package contains a procedure for runtime concatenation of four string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_4 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_5 is
-- This package contains a procedure for runtime concatenation of five string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_5 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_6 is
-- This package contains a procedure for runtime concatenation of six string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_6 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_7 is
-- This package contains a procedure for runtime concatenation of seven string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_7 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_8 is
-- This package contains a procedure for runtime concatenation of eight string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_8 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Concat_9 is
-- This package contains a procedure for runtime concatenation of eight string
-- operands. It is used when we want to save space in the generated code.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Concat_9 is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.CRC32 is
-- "Computation of Cyclic Redundancy Checks via Table Look-Up", Communications
-- of the ACM, Vol. 31 No. 8, pp.1008-1013 Aug. 1988. Sarwate, D.V.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Interfaces;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Exceptions is
-- It should be compiled without optimization to let debuggers inspect
-- parameter values reliably from breakpoints on the routines.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.Standard_Library;
package System.Exceptions is
- pragma Warnings (Off);
pragma Preelaborate_05;
- pragma Warnings (On);
-- To let Ada.Exceptions "with" us and let us "with" Standard_Library
package SSL renames System.Standard_Library;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.HTable;
with System.Soft_Links; use System.Soft_Links;
-- registered exception names, for the implementation of the mapping
-- of names to exceptions (used for exception streams and attributes)
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.Standard_Library;
-- --
-- B o d y --
-- --
--- Copyright (C) 1995-2007, AdaCore --
+-- Copyright (C) 1995-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- --
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Ada.Unchecked_Deallocation;
-- The Static_HTable package provides a more complex interface that allows
-- complete control over allocation.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.HTable is
pragma Preelaborate;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Ada.Unchecked_Conversion;
-- for bootstrapping with older versions of the compiler which expect to find
-- functions in this package.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Img_Enum_New is
pragma Pure;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Ada.Unchecked_Conversion;
-- these functions. The new compiler will search for procedures in the new
-- version of the unit.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package System.Img_Enum is
pragma Pure;
-- This dummy version of System.Machine_State_Operations is used
-- on targets for which zero cost exception handling is not implemented.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
package body System.Machine_State_Operations is
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get
-- you can remove the calls to Abort_Defer.all and Abort_Undefer.all from
-- this unit.
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with Ada.Exceptions;
with System.Soft_Links;
-- 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.Memory is
pragma Elaborate_Body;
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
pragma Compiler_Unit;
-pragma Warnings (On);
with System.Case_Util;
with System.CRTL;
projects / thirdparty / gcc.git / commitdiff
