+2014-02-25 Robert Dewar <dewar@adacore.com>
+
+ * lib.ads, s-bitops.adb, s-bitops.ads, s-conca5.adb, gnat_rm.texi,
+ s-conca5.ads, s-conca7.adb, s-conca7.ads, s-crc32.adb, s-crc32.ads,
+ s-conca9.adb, s-conca9.ads, g-dyntab.adb, s-crtl.ads, g-dyntab.ads,
+ s-excdeb.adb, s-addope.adb, s-addope.ads, s-carun8.adb, s-carun8.ads,
+ g-htable.adb, g-htable.ads, g-hesora.adb, g-hesora.ads, s-conca2.adb,
+ s-conca2.ads, a-comlin.adb, a-chlat1.ads, a-comlin.ads, errout.ads,
+ a-except.adb, s-conca4.adb, a-except.ads, s-conca4.ads, s-conca6.adb,
+ s-conca6.ads, g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads,
+ a-strhas.ads, restrict.adb, aspects.adb, aspects.ads, s-conca8.adb,
+ s-conca8.ads, back_end.adb, par-prag.adb, g-byorma.adb, g-byorma.ads,
+ a-elchha.adb, a-elchha.ads, g-speche.adb, g-speche.ads, s-casuti.adb,
+ s-assert.adb, s-casuti.ads, s-assert.ads, a-clrefi.adb, a-clrefi.ads,
+ s-conca3.adb, s-conca3.ads, a-ioexce.ads: Implement pragma
+ Compiler_Unit_Warning, change Compiler_Unit everywhere to
+ Compiler_Unit_Warning.
+
+2014-02-25 Sergey Rybin <rybin@adacore.com frybin>
+
+ * sem_prag.adb (Analyze_Depends_In_Decl_Part): Do not normalize
+ in ASIS mode aggregates that are used as aspect definitions.
+
2014-02-25 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, sem_util.adb, sem_util.ads, exp_ch6.adb: Minor
-- --
------------------------------------------------------------------------------
-pragma Warnings (Off);
-pragma Compiler_Unit;
-pragma Warnings (On);
+pragma Compiler_Unit_Warning;
package Ada.Characters.Latin_1 is
pragma Pure;
-- --
-- B o d y --
-- --
--- Copyright (C) 2007-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 2007-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with Ada.Unchecked_Deallocation;
-- --
-- S p e c --
-- --
--- Copyright (C) 2007-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2007-2013, 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- --
-- Using a response file allow passing a set of arguments to an executable
-- longer than the maximum allowed by the system on the command line.
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Strings;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System; use System;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2010, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2013, 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 --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package Ada.Command_Line is
pragma Preelaborate;
-- --
-- B o d y --
-- --
--- Copyright (C) 2003-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2013, 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- --
-- Default version for most targets
-pragma Warnings (Off);
-pragma Compiler_Unit;
-pragma Warnings (On);
+pragma Compiler_Unit_Warning;
with System.Standard_Library; use System.Standard_Library;
with System.Soft_Links;
-- --
-- S p e c --
-- --
--- Copyright (C) 2003-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2013, 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- --
-- Last chance handler. Unhandled exceptions are passed to this routine
-pragma Warnings (Off);
-pragma Compiler_Unit;
-pragma Warnings (On);
+pragma Compiler_Unit_Warning;
procedure Ada.Exceptions.Last_Chance_Handler
(Except : Exception_Occurrence);
-- 2005 functionality is required. In particular, it is used for building
-- run times on all targets.
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
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 Compiler_Unit_Warning;
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package Ada.IO_Exceptions is
pragma Pure;
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with Ada.Containers;
Aspect_Atomic_Components => Aspect_Atomic_Components,
Aspect_Attach_Handler => Aspect_Attach_Handler,
Aspect_Bit_Order => Aspect_Bit_Order,
- Aspect_Compiler_Unit => Aspect_Compiler_Unit,
Aspect_Component_Size => Aspect_Component_Size,
Aspect_Constant_Indexing => Aspect_Constant_Indexing,
Aspect_Contract_Cases => Aspect_Contract_Cases,
-- The following aspects correspond to library unit pragmas
Aspect_All_Calls_Remote,
- Aspect_Compiler_Unit, -- GNAT
Aspect_Elaborate_Body,
Aspect_Preelaborate,
Aspect_Pure,
(Aspect_Abstract_State => True,
Aspect_Async_Readers => True,
Aspect_Async_Writers => True,
- Aspect_Compiler_Unit => True,
Aspect_Contract_Cases => True,
Aspect_Depends => True,
Aspect_Dimension => True,
Aspect_Atomic_Components => Name_Atomic_Components,
Aspect_Attach_Handler => Name_Attach_Handler,
Aspect_Bit_Order => Name_Bit_Order,
- Aspect_Compiler_Unit => Name_Compiler_Unit,
Aspect_Component_Size => Name_Component_Size,
Aspect_Constant_Indexing => Name_Constant_Indexing,
Aspect_Contract_Cases => Name_Contract_Cases,
Aspect_Async_Writers => Always_Delay,
Aspect_Asynchronous => Always_Delay,
Aspect_Attach_Handler => Always_Delay,
- Aspect_Compiler_Unit => Always_Delay,
Aspect_Constant_Indexing => Always_Delay,
Aspect_Contract_Cases => Always_Delay,
Aspect_CPU => Always_Delay,
Next_Arg := 1;
while Next_Arg <= Args'Last loop
Look_At_Arg : declare
- Argv : constant String := Args (Next_Arg).all;
+ Argv : constant String := Args (Next_Arg).all;
begin
-- If the previous switch has set the Output_File_Name_Present
-- avoided. This is currently used by the Compile_Time_Warning pragma
-- to ensure the message for a with'ed unit is output, and for warnings
-- on ineffective back-end inlining, which is detected in units that
- -- contain subprograms to be inlined in the main program.
+ -- contain subprograms to be inlined in the main program. It is also
+ -- used by the Compiler_Unit_Warning pragma for similar reasons.
-- Insertion character ? (Question: warning message)
-- The character ? appearing anywhere in a message makes the message
-- --
-- B o d y --
-- --
--- Copyright (C) 2006-2010, AdaCore --
+-- Copyright (C) 2006-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body GNAT.Byte_Order_Mark is
-- --
-- S p e c --
-- --
--- Copyright (C) 2006-2010, AdaCore --
+-- Copyright (C) 2006-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package GNAT.Byte_Order_Mark is
-- --
-- B o d y --
-- --
--- Copyright (C) 2000-2010, AdaCore --
+-- Copyright (C) 2000-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
with GNAT.Heap_Sort_G;
with System; use System;
-- --
-- S p e c --
-- --
--- Copyright (C) 2000-2010, AdaCore --
+-- Copyright (C) 2000-2013, 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- --
-- GNAT.Table and the GNAT compiler source unit Table to keep as much
-- coherency as possible between these three related units.
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
generic
type Table_Component_Type is private;
-- --
-- B o d y --
-- --
--- Copyright (C) 1995-2010, AdaCore --
+-- Copyright (C) 1995-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body GNAT.Heap_Sort_A is
-- --
-- S p e c --
-- --
--- Copyright (C) 1995-2010, AdaCore --
+-- Copyright (C) 1995-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package GNAT.Heap_Sort_A is
pragma Preelaborate;
-- --
-- B o d y --
-- --
--- Copyright (C) 1995-2010, AdaCore --
+-- Copyright (C) 1995-2013, 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- --
-- supply a dummy body, the old incorrect body is picked up during the
-- bootstrap process).
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body GNAT.HTable is
end GNAT.HTable;
-- --
-- S p e c --
-- --
--- Copyright (C) 1995-2011, AdaCore --
+-- Copyright (C) 1995-2013, 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- --
-- See file s-htable.ads for full documentation of the interface
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.HTable;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2010, AdaCore --
+-- Copyright (C) 1998-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body GNAT.Spelling_Checker_Generic is
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2010, AdaCore --
+-- Copyright (C) 1998-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package GNAT.Spelling_Checker_Generic is
pragma Pure;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2010, AdaCore --
+-- Copyright (C) 1998-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
with GNAT.Spelling_Checker_Generic;
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2010, AdaCore --
+-- Copyright (C) 1998-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package GNAT.Spelling_Checker is
pragma Pure;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2010, AdaCore --
+-- Copyright (C) 1998-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
with GNAT.Spelling_Checker_Generic;
-- --
-- S p e c --
-- --
--- Copyright (C) 1998-2010, AdaCore --
+-- Copyright (C) 1998-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.WCh_Cnv;
* Pragma Compile_Time_Error::
* Pragma Compile_Time_Warning::
* Pragma Compiler_Unit::
+* Pragma Compiler_Unit_Warning::
* Pragma Complete_Representation::
* Pragma Complex_Representation::
* Pragma Component_Alignment::
Implementation Defined Aspects
* Aspect Abstract_State::
-* Aspect Compiler_Unit::
* Aspect Contract_Cases::
* Aspect Depends::
* Aspect Dimension::
* Pragma Compile_Time_Error::
* Pragma Compile_Time_Warning::
* Pragma Compiler_Unit::
+* Pragma Compiler_Unit_Warning::
* Pragma Complete_Representation::
* Pragma Complex_Representation::
* Pragma Component_Alignment::
pragma Compiler_Unit;
@end smallexample
+@noindent
+This pragma is obsolete. It is equivalent to Compiler_Unit_Warning. It is
+retained so that old versions of the GNAT run-time that use this pragma can
+be compiled with newer versions of the compiler.
+
+@node Pragma Compiler_Unit_Warning
+@unnumberedsec Pragma Compiler_Unit_Warning
+@findex Compiler_Unit_Warning
+@noindent
+Syntax:
+
+@smallexample @c ada
+pragma Compiler_Unit_Warning;
+@end smallexample
+
@noindent
This pragma is intended only for internal use in the GNAT run-time library.
It indicates that the unit is used as part of the compiler build. The effect
-is to disallow constructs (raise with message, conditional expressions etc)
-that would cause trouble when bootstrapping using an older version of GNAT.
-For the exact list of restrictions, see the compiler sources and references
-to Is_Compiler_Unit.
+is to generate warnings for the use of constructs (for example, conditional
+expressions) that would cause trouble when bootstrapping using an older
+version of GNAT. For the exact list of restrictions, see the compiler sources
+and references to Check_Compiler_Unit.
@node Pragma Complete_Representation
@unnumberedsec Pragma Complete_Representation
@menu
* Aspect Abstract_State::
-* Aspect Compiler_Unit::
* Aspect Contract_Cases::
* Aspect Depends::
* Aspect Dimension::
@noindent
This aspect is equivalent to pragma @code{Abstract_State}.
-@node Aspect Compiler_Unit
-@unnumberedsec Aspect Compiler_Unit
-@findex Compiler_Unit
-@noindent
-This aspect is equivalent to pragma @code{Compiler_Unit}.
-
@node Aspect Contract_Cases
@unnumberedsec Aspect Contract_Cases
@findex Contract_Cases
-- Is_Compiler_Unit
-- A Boolean flag, initially set False by default, set to True if a
- -- pragma Compiler_Unit appears in the unit.
+ -- pragma Compiler_Unit_Warning appears in the unit.
-- Ident_String
-- N_String_Literal node from a valid pragma Ident that applies to
Pragma_Compile_Time_Error |
Pragma_Compile_Time_Warning |
Pragma_Compiler_Unit |
+ Pragma_Compiler_Unit_Warning |
Pragma_Contract_Cases |
Pragma_Convention_Identifier |
Pragma_CPP_Class |
procedure Check_Compiler_Unit (N : Node_Id) is
begin
if Is_Compiler_Unit (Get_Source_Unit (N)) then
- Error_Msg_N ("use of construct not allowed in compiler", N);
+ Error_Msg_N ("use of construct not allowed in compiler!!??", N);
end if;
end Check_Compiler_Unit;
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with Ada.Unchecked_Conversion;
-- --
-- S p e c --
-- --
--- Copyright (C) 2004-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2013, 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- --
-- inappropriate use by applications programs). In addition, the logical
-- operations may not be available if type Address is a signed integer.
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Address_Operations is
pragma Pure;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2011, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with Ada.Exceptions;
with System.Exceptions_Debug;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Assertions is
-- --
-- B o d y --
-- --
--- Copyright (C) 1996-2010, Free Software Foundation, Inc. --
+-- Copyright (C) 1996-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System; use System;
with System.Unsigned_Types; use System.Unsigned_Types;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2013, 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- --
-- Operations on packed bit strings
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System;
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Address_Operations; use System.Address_Operations;
-- --
-- S p e c --
-- --
--- Copyright (C) 2002-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2013, 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- --
-- This package contains functions for runtime comparisons on arrays whose
-- elements are 8-bit discrete type values to be treated as unsigned.
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Compare_Array_Unsigned_8 is
-- --
-- B o d y --
-- --
--- Copyright (C) 1995-2010, AdaCore --
+-- Copyright (C) 1995-2013, 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body System.Case_Util is
-- --
-- S p e c --
-- --
--- Copyright (C) 1995-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Case_Util is
pragma Pure;
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body System.Concat_2 is
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_2 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_2;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_3 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_3;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_4 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_4;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_5 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_5;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_6 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_6;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_7 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_7;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_8 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Concat_8;
-- --
-- S p e c --
-- --
--- Copyright (C) 2008-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2008-2013, 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- --
-- 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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
package System.Concat_9 is
-- --
-- B o d y --
-- --
--- Copyright (C) 2001-2010, Free Software Foundation, Inc. --
+-- Copyright (C) 2001-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body System.CRC32 is
-- --
-- S p e c --
-- --
--- Copyright (C) 2001-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2001-2013, 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- --
-- "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 Compiler_Unit;
+pragma Compiler_Unit_Warning;
with Interfaces;
-- This package provides the low level interface to the C runtime library
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
with System.Parameters;
-- --
-- B o d y --
-- --
--- Copyright (C) 2006-2011, Free Software Foundation, Inc. --
+-- Copyright (C) 2006-2013, 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- --
-- --
------------------------------------------------------------------------------
-pragma Compiler_Unit;
+pragma Compiler_Unit_Warning;
package body System.Exceptions_Debug is
end if;
-- Do not normalize an erroneous clause because the inputs
- -- and/or outputs may denote illegal items.
+ -- and/or outputs may denote illegal items. Normalization is
+ -- disabled in ASIS mode as it alters the tree by introducing
+ -- new nodes similar to expansion.
- if Serious_Errors_Detected = Errors then
+ if Serious_Errors_Detected = Errors and then not ASIS_Mode then
Normalize_Clause (Clause);
end if;
projects / thirdparty / gcc.git / commitdiff
