mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-09 22:21:44 +08:00
Code Issues Packages Projects Releases Wiki Activity

lib.ads, [...]: Implement pragma Compiler_Unit_Warning...

Browse Source 
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.

From-SVN: r208137
This commit is contained in:
Arnaud Charlet 2014-02-25 16:15:44 +01:00
parent e917e3b815
commit 0355e3ebbe
65 changed files with 158 additions and 133 deletions

23
gcc/ada/ChangeLog

@ -1,3 +1,26 @@
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

4
gcc/ada/a-chlat1.ads

@ -13,9 +13,7 @@
-- --
------------------------------------------------------------------------------
pragma Warnings (Off);
pragma Compiler_Unit;
pragma Warnings (On);
pragma Compiler_Unit_Warning;
package Ada.Characters.Latin_1 is
pragma Pure;

4
gcc/ada/a-clrefi.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with Ada.Unchecked_Deallocation;

4
gcc/ada/a-clrefi.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -36,7 +36,7 @@
-- 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;

4
gcc/ada/a-comlin.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System; use System;

4
gcc/ada/a-comlin.ads

@ -6,7 +6,7 @@
-- --
-- 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 --
@ -33,7 +33,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package Ada.Command_Line is
pragma Preelaborate;

6
gcc/ada/a-elchha.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -31,9 +31,7 @@
-- 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;

6
gcc/ada/a-elchha.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -31,9 +31,7 @@
-- 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);

2
gcc/ada/a-except.adb

@ -40,7 +40,7 @@
-- 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

2
gcc/ada/a-except.ads

@ -45,7 +45,7 @@
-- 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

2
gcc/ada/a-ioexce.ads

@ -13,7 +13,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package Ada.IO_Exceptions is
pragma Pure;

2
gcc/ada/a-strhas.ads

@ -13,7 +13,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with Ada.Containers;

1
gcc/ada/aspects.adb

@ -502,7 +502,6 @@ package body Aspects is
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,

4
gcc/ada/aspects.ads

@ -143,7 +143,6 @@ package Aspects is
-- The following aspects correspond to library unit pragmas
Aspect_All_Calls_Remote,
Aspect_Compiler_Unit, -- GNAT
Aspect_Elaborate_Body,
Aspect_Preelaborate,
Aspect_Pure,
@ -217,7 +216,6 @@ package Aspects is
(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,
@ -377,7 +375,6 @@ package Aspects is
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,
@ -585,7 +582,6 @@ package Aspects is
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,

2
gcc/ada/back_end.adb

@ -283,7 +283,7 @@ package body Back_End is
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

3
gcc/ada/errout.ads

@ -252,7 +252,8 @@ package Errout is
-- 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

4
gcc/ada/g-byorma.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body GNAT.Byte_Order_Mark is

4
gcc/ada/g-byorma.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -61,7 +61,7 @@
-- 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

4
gcc/ada/g-dyntab.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with GNAT.Heap_Sort_G;
with System; use System;

4
gcc/ada/g-dyntab.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -45,7 +45,7 @@
-- 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;

4
gcc/ada/g-hesora.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body GNAT.Heap_Sort_A is

4
gcc/ada/g-hesora.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -40,7 +40,7 @@
-- 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;

4
gcc/ada/g-htable.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -34,7 +34,7 @@
-- 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;

4
gcc/ada/g-htable.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -39,7 +39,7 @@
-- See file s-htable.ads for full documentation of the interface
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.HTable;

4
gcc/ada/g-spchge.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body GNAT.Spelling_Checker_Generic is

4
gcc/ada/g-spchge.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -37,7 +37,7 @@
-- 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;

4
gcc/ada/g-speche.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with GNAT.Spelling_Checker_Generic;

4
gcc/ada/g-speche.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -34,7 +34,7 @@
-- 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;

4
gcc/ada/g-u3spch.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with GNAT.Spelling_Checker_Generic;

4
gcc/ada/g-u3spch.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -34,7 +34,7 @@
-- 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;

33
gcc/ada/gnat_rm.texi

@ -123,6 +123,7 @@ Implementation Defined Pragmas
* Pragma Compile_Time_Error::
* Pragma Compile_Time_Warning::
* Pragma Compiler_Unit::
* Pragma Compiler_Unit_Warning::
* Pragma Complete_Representation::
* Pragma Complex_Representation::
* Pragma Component_Alignment::
@ -279,7 +280,6 @@ Implementation Defined Pragmas
Implementation Defined Aspects
* Aspect Abstract_State::
* Aspect Compiler_Unit::
* Aspect Contract_Cases::
* Aspect Depends::
* Aspect Dimension::
@ -955,6 +955,7 @@ consideration, the use of these pragmas should be minimized.
* Pragma Compile_Time_Error::
* Pragma Compile_Time_Warning::
* Pragma Compiler_Unit::
* Pragma Compiler_Unit_Warning::
* Pragma Complete_Representation::
* Pragma Complex_Representation::
* Pragma Component_Alignment::
@ -2026,13 +2027,28 @@ Syntax:
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
@ -7662,7 +7678,6 @@ clause.
@menu
* Aspect Abstract_State::
* Aspect Compiler_Unit::
* Aspect Contract_Cases::
* Aspect Depends::
* Aspect Dimension::
@ -7706,12 +7721,6 @@ clause.
@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

2
gcc/ada/lib.ads

@ -328,7 +328,7 @@ package Lib is
-- 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

1
gcc/ada/par-prag.adb

@ -1154,6 +1154,7 @@ begin
Pragma_Compile_Time_Error |
Pragma_Compile_Time_Warning |
Pragma_Compiler_Unit |
Pragma_Compiler_Unit_Warning |
Pragma_Contract_Cases |
Pragma_Convention_Identifier |
Pragma_CPP_Class |

2
gcc/ada/restrict.adb

@ -171,7 +171,7 @@ package body Restrict is
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;

4
gcc/ada/s-addope.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with Ada.Unchecked_Conversion;

4
gcc/ada/s-addope.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -40,7 +40,7 @@
-- 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;

4
gcc/ada/s-assert.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with Ada.Exceptions;
with System.Exceptions_Debug;

4
gcc/ada/s-assert.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -36,7 +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 Compiler_Unit;
pragma Compiler_Unit_Warning;
package System.Assertions is

4
gcc/ada/s-bitops.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System; use System;
with System.Unsigned_Types; use System.Unsigned_Types;

4
gcc/ada/s-bitops.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -31,7 +31,7 @@
-- Operations on packed bit strings
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System;

4
gcc/ada/s-carun8.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Address_Operations; use System.Address_Operations;

4
gcc/ada/s-carun8.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-casuti.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body System.Case_Util is

4
gcc/ada/s-casuti.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -37,7 +37,7 @@
-- 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;

4
gcc/ada/s-conca2.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body System.Concat_2 is

4
gcc/ada/s-conca2.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca3.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_2;

4
gcc/ada/s-conca3.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca4.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_3;

4
gcc/ada/s-conca4.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca5.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_4;

4
gcc/ada/s-conca5.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca6.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_5;

4
gcc/ada/s-conca6.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca7.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_6;

4
gcc/ada/s-conca7.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca8.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_7;

4
gcc/ada/s-conca8.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-conca9.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Concat_8;

4
gcc/ada/s-conca9.ads

@ -6,7 +6,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- --
@ -32,7 +32,7 @@
-- 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

4
gcc/ada/s-crc32.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body System.CRC32 is

4
gcc/ada/s-crc32.ads

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -54,7 +54,7 @@
-- "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;

2
gcc/ada/s-crtl.ads

@ -31,7 +31,7 @@
-- This package provides the low level interface to the C runtime library
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Parameters;

4
gcc/ada/s-excdeb.adb

@ -6,7 +6,7 @@
-- --
-- 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- --
@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body System.Exceptions_Debug is

6
gcc/ada/sem_prag.adb

@ -1784,9 +1784,11 @@ package body Sem_Prag 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;