diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 16:15:44 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 16:15:44 +0100 |
| commit | 0355e3ebbe09450408118b4651a9545da577eeee (patch) | |
| tree | 53d894665af58760d272194c441ac6778a0f756d /gcc/ada | |
| parent | e917e3b8153397295b80192e4521c27bd876546c (diff) | |
| download | gcc-0355e3ebbe09450408118b4651a9545da577eeee.tar.gz | |
lib.ads, [...]: Implement pragma Compiler_Unit_Warning...
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
Diffstat (limited to 'gcc/ada')
65 files changed, 158 insertions, 133 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f0a7e218814..bfd1657fe77 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,28 @@ 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 reformatting. diff --git a/gcc/ada/a-chlat1.ads b/gcc/ada/a-chlat1.ads index 056c881a923..2e20d92e51c 100644 --- a/gcc/ada/a-chlat1.ads +++ b/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; diff --git a/gcc/ada/a-clrefi.adb b/gcc/ada/a-clrefi.adb index 87090258f39..4708bf8f34c 100644 --- a/gcc/ada/a-clrefi.adb +++ b/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; diff --git a/gcc/ada/a-clrefi.ads b/gcc/ada/a-clrefi.ads index fdefafcccc9..f4ce6df2b0c 100644 --- a/gcc/ada/a-clrefi.ads +++ b/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; diff --git a/gcc/ada/a-comlin.adb b/gcc/ada/a-comlin.adb index b29693638d6..07905b80e63 100644 --- a/gcc/ada/a-comlin.adb +++ b/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; diff --git a/gcc/ada/a-comlin.ads b/gcc/ada/a-comlin.ads index 55d0a500525..42ca589da47 100644 --- a/gcc/ada/a-comlin.ads +++ b/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; diff --git a/gcc/ada/a-elchha.adb b/gcc/ada/a-elchha.adb index 087e22f4ffb..f029c3bd2d2 100644 --- a/gcc/ada/a-elchha.adb +++ b/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; diff --git a/gcc/ada/a-elchha.ads b/gcc/ada/a-elchha.ads index 8cbba63ee7c..1e36373baa7 100644 --- a/gcc/ada/a-elchha.ads +++ b/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); diff --git a/gcc/ada/a-except.adb b/gcc/ada/a-except.adb index a90cfc70785..9e4b1e8e4ce 100644 --- a/gcc/ada/a-except.adb +++ b/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 diff --git a/gcc/ada/a-except.ads b/gcc/ada/a-except.ads index 512466714a2..1228bf5fae5 100644 --- a/gcc/ada/a-except.ads +++ b/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 diff --git a/gcc/ada/a-ioexce.ads b/gcc/ada/a-ioexce.ads index 44865ab6649..7fec3934ac5 100644 --- a/gcc/ada/a-ioexce.ads +++ b/gcc/ada/a-ioexce.ads @@ -13,7 +13,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package Ada.IO_Exceptions is pragma Pure; diff --git a/gcc/ada/a-strhas.ads b/gcc/ada/a-strhas.ads index 579307a5f66..2411a524097 100644 --- a/gcc/ada/a-strhas.ads +++ b/gcc/ada/a-strhas.ads @@ -13,7 +13,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Containers; diff --git a/gcc/ada/aspects.adb b/gcc/ada/aspects.adb index fd044fef07f..cc8d2f93d82 100644 --- a/gcc/ada/aspects.adb +++ b/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, diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index a5e3bbc06b4..ad79cbdbbd7 100644 --- a/gcc/ada/aspects.ads +++ b/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, diff --git a/gcc/ada/back_end.adb b/gcc/ada/back_end.adb index a466686527e..bb442ad5e53 100644 --- a/gcc/ada/back_end.adb +++ b/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 diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index 6895a5b57a7..2a91a13427f 100644 --- a/gcc/ada/errout.ads +++ b/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 diff --git a/gcc/ada/g-byorma.adb b/gcc/ada/g-byorma.adb index 10176a937f7..0b389f5d403 100644 --- a/gcc/ada/g-byorma.adb +++ b/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 diff --git a/gcc/ada/g-byorma.ads b/gcc/ada/g-byorma.ads index 73e015a9abf..46db6e475ea 100644 --- a/gcc/ada/g-byorma.ads +++ b/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 diff --git a/gcc/ada/g-dyntab.adb b/gcc/ada/g-dyntab.adb index 3974a80cb52..634bbbbb4e8 100644 --- a/gcc/ada/g-dyntab.adb +++ b/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; diff --git a/gcc/ada/g-dyntab.ads b/gcc/ada/g-dyntab.ads index 147ab4103b5..cfffd2f8947 100644 --- a/gcc/ada/g-dyntab.ads +++ b/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; diff --git a/gcc/ada/g-hesora.adb b/gcc/ada/g-hesora.adb index 09507b0ec38..cf7202da324 100644 --- a/gcc/ada/g-hesora.adb +++ b/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 diff --git a/gcc/ada/g-hesora.ads b/gcc/ada/g-hesora.ads index 779afd559ac..e270172c048 100644 --- a/gcc/ada/g-hesora.ads +++ b/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; diff --git a/gcc/ada/g-htable.adb b/gcc/ada/g-htable.adb index ef24f765139..309de178515 100644 --- a/gcc/ada/g-htable.adb +++ b/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; diff --git a/gcc/ada/g-htable.ads b/gcc/ada/g-htable.ads index 28745520645..000756071bf 100644 --- a/gcc/ada/g-htable.ads +++ b/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; diff --git a/gcc/ada/g-spchge.adb b/gcc/ada/g-spchge.adb index b19954f36fb..bdc38544bb4 100644 --- a/gcc/ada/g-spchge.adb +++ b/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 diff --git a/gcc/ada/g-spchge.ads b/gcc/ada/g-spchge.ads index 287f6312edc..908250d25d0 100644 --- a/gcc/ada/g-spchge.ads +++ b/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; diff --git a/gcc/ada/g-speche.adb b/gcc/ada/g-speche.adb index bee00203782..0e8c7c46b28 100644 --- a/gcc/ada/g-speche.adb +++ b/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; diff --git a/gcc/ada/g-speche.ads b/gcc/ada/g-speche.ads index c37d71e2f9f..7b4da4a2f13 100644 --- a/gcc/ada/g-speche.ads +++ b/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; diff --git a/gcc/ada/g-u3spch.adb b/gcc/ada/g-u3spch.adb index 9e597e28e86..b6c2a56b321 100644 --- a/gcc/ada/g-u3spch.adb +++ b/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; diff --git a/gcc/ada/g-u3spch.ads b/gcc/ada/g-u3spch.ads index f115d377518..190eabebbfe 100644 --- a/gcc/ada/g-u3spch.ads +++ b/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; diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index af51de8adbd..5a3d7629c35 100644 --- a/gcc/ada/gnat_rm.texi +++ b/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:: @@ -2027,12 +2028,27 @@ 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 diff --git a/gcc/ada/lib.ads b/gcc/ada/lib.ads index 5c490cd2014..cbca3041d27 100644 --- a/gcc/ada/lib.ads +++ b/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 diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index 1ccbf0ede2a..5182d7c34d2 100644 --- a/gcc/ada/par-prag.adb +++ b/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 | diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 01c5f87a973..01cd907edac 100644 --- a/gcc/ada/restrict.adb +++ b/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; diff --git a/gcc/ada/s-addope.adb b/gcc/ada/s-addope.adb index 2c957584da4..e38fba4e2ba 100644 --- a/gcc/ada/s-addope.adb +++ b/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; diff --git a/gcc/ada/s-addope.ads b/gcc/ada/s-addope.ads index 2d3f5894681..7d1866b4f4d 100644 --- a/gcc/ada/s-addope.ads +++ b/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; diff --git a/gcc/ada/s-assert.adb b/gcc/ada/s-assert.adb index fbc0f8acbc7..92bb96f09cf 100644 --- a/gcc/ada/s-assert.adb +++ b/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; diff --git a/gcc/ada/s-assert.ads b/gcc/ada/s-assert.ads index c19f7c18a74..38cab863426 100644 --- a/gcc/ada/s-assert.ads +++ b/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 diff --git a/gcc/ada/s-bitops.adb b/gcc/ada/s-bitops.adb index dbf30ddd54e..e1129db9a32 100644 --- a/gcc/ada/s-bitops.adb +++ b/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; diff --git a/gcc/ada/s-bitops.ads b/gcc/ada/s-bitops.ads index b7818097738..edc6035a428 100644 --- a/gcc/ada/s-bitops.ads +++ b/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; diff --git a/gcc/ada/s-carun8.adb b/gcc/ada/s-carun8.adb index 450e0476504..f8d498a08b0 100644 --- a/gcc/ada/s-carun8.adb +++ b/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; diff --git a/gcc/ada/s-carun8.ads b/gcc/ada/s-carun8.ads index aa0d4e0f740..7d9466e5035 100644 --- a/gcc/ada/s-carun8.ads +++ b/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 diff --git a/gcc/ada/s-casuti.adb b/gcc/ada/s-casuti.adb index a5859cf748a..229db4ecc24 100644 --- a/gcc/ada/s-casuti.adb +++ b/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 diff --git a/gcc/ada/s-casuti.ads b/gcc/ada/s-casuti.ads index 84b92f6e6bc..9c6150abc64 100644 --- a/gcc/ada/s-casuti.ads +++ b/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; diff --git a/gcc/ada/s-conca2.adb b/gcc/ada/s-conca2.adb index a1d424b8547..42562dce95b 100644 --- a/gcc/ada/s-conca2.adb +++ b/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 diff --git a/gcc/ada/s-conca2.ads b/gcc/ada/s-conca2.ads index c5c7a2808be..6a1a06166b5 100644 --- a/gcc/ada/s-conca2.ads +++ b/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 diff --git a/gcc/ada/s-conca3.adb b/gcc/ada/s-conca3.adb index 48e4d86512b..27236ee6c0e 100644 --- a/gcc/ada/s-conca3.adb +++ b/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; diff --git a/gcc/ada/s-conca3.ads b/gcc/ada/s-conca3.ads index c79e24a39c3..8b89f3012d4 100644 --- a/gcc/ada/s-conca3.ads +++ b/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 diff --git a/gcc/ada/s-conca4.adb b/gcc/ada/s-conca4.adb index 19fa324834b..559bd7b0393 100644 --- a/gcc/ada/s-conca4.adb +++ b/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; diff --git a/gcc/ada/s-conca4.ads b/gcc/ada/s-conca4.ads index 43ce1bc3b2e..f4c50159419 100644 --- a/gcc/ada/s-conca4.ads +++ b/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 diff --git a/gcc/ada/s-conca5.adb b/gcc/ada/s-conca5.adb index f0019961a99..891452a6e5e 100644 --- a/gcc/ada/s-conca5.adb +++ b/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; diff --git a/gcc/ada/s-conca5.ads b/gcc/ada/s-conca5.ads index 996dbf93678..c8e2aab2e2f 100644 --- a/gcc/ada/s-conca5.ads +++ b/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 diff --git a/gcc/ada/s-conca6.adb b/gcc/ada/s-conca6.adb index 115b36ec0e4..8b5fb3098fb 100644 --- a/gcc/ada/s-conca6.adb +++ b/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; diff --git a/gcc/ada/s-conca6.ads b/gcc/ada/s-conca6.ads index 91cc10e68d5..77af8d313e5 100644 --- a/gcc/ada/s-conca6.ads +++ b/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 diff --git a/gcc/ada/s-conca7.adb b/gcc/ada/s-conca7.adb index 5436fbd8c5e..f2c43a04828 100644 --- a/gcc/ada/s-conca7.adb +++ b/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; diff --git a/gcc/ada/s-conca7.ads b/gcc/ada/s-conca7.ads index 139a816d23c..9aaf85562e2 100644 --- a/gcc/ada/s-conca7.ads +++ b/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 diff --git a/gcc/ada/s-conca8.adb b/gcc/ada/s-conca8.adb index dfc5bf7dfde..71bb3fc90a7 100644 --- a/gcc/ada/s-conca8.adb +++ b/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; diff --git a/gcc/ada/s-conca8.ads b/gcc/ada/s-conca8.ads index 5978a39dca3..d128ba45354 100644 --- a/gcc/ada/s-conca8.ads +++ b/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 diff --git a/gcc/ada/s-conca9.adb b/gcc/ada/s-conca9.adb index 530eee19349..bb66da1ab1d 100644 --- a/gcc/ada/s-conca9.adb +++ b/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; diff --git a/gcc/ada/s-conca9.ads b/gcc/ada/s-conca9.ads index 1890c90e155..bd14a342e44 100644 --- a/gcc/ada/s-conca9.ads +++ b/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 diff --git a/gcc/ada/s-crc32.adb b/gcc/ada/s-crc32.adb index b133780a97b..433558089ad 100644 --- a/gcc/ada/s-crc32.adb +++ b/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 diff --git a/gcc/ada/s-crc32.ads b/gcc/ada/s-crc32.ads index b450c8cd387..7d9e15859f2 100644 --- a/gcc/ada/s-crc32.ads +++ b/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; diff --git a/gcc/ada/s-crtl.ads b/gcc/ada/s-crtl.ads index cde3dd143da..e2fe289156f 100644 --- a/gcc/ada/s-crtl.ads +++ b/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; diff --git a/gcc/ada/s-excdeb.adb b/gcc/ada/s-excdeb.adb index 5027bcaee57..851d5e60c66 100644 --- a/gcc/ada/s-excdeb.adb +++ b/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 diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index a1d381c8b90..c7dd6343da2 100644 --- a/gcc/ada/sem_prag.adb +++ b/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; |