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.zip gcc-0355e3ebbe09450408118b4651a9545da577eeee.tar.gz gcc-0355e3ebbe09450408118b4651a9545da577eeee.tar.bz2 | |
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 f0a7e21..bfd1657f 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 056c881..2e20d92 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 8709025..4708bf8 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 fdefafcc..f4ce6df 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 b296936..07905b8 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 55d0a50..42ca589 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 087e22f..f029c3b 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 8cbba63..1e36373 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 a90cfc7..9e4b1e8 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 5124667..1228bf5 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 44865ab..7fec393 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 579307a..2411a524 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 fd044fe..cc8d2f9 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 a5e3bbc..ad79cbd 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 a466686..bb442ad 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 6895a5b..2a91a13 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 10176a9..0b389f5 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 73e015a..46db6e4 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 3974a80..634bbbb 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 147ab41..cfffd2f 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 09507b0..cf7202d 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 779afd5..e270172 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 ef24f76..309de17 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 2874552..0007560 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 b19954f..bdc3854 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 287f631..908250d 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 bee0020..0e8c7c4 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 c37d71e..7b4da4a 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 9e597e2..b6c2a56 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 f115d37..190eabe 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 af51de8..5a3d762 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 5c490cd..cbca304 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 1ccbf0e..5182d7c 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 01c5f87..01cd907 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 2c95758..e38fba4 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 2d3f589..7d1866b 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 fbc0f8a..92bb96f 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 c19f7c1..38cab86 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 dbf30dd..e1129db 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 b781809..edc6035 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 450e047..f8d498a 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 aa0d4e0..7d9466e 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 a5859cf..229db4e 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 84b92f6..9c6150a 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 a1d424b..42562dc 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 c5c7a28..6a1a061 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 48e4d86..27236ee 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 c79e24a..8b89f30 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 19fa324..559bd7b0 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 43ce1bc..f4c5015 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 f001996..891452a 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 996dbf9..c8e2aab 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 115b36e..8b5fb30 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 91cc10e..77af8d3 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 5436fbd..f2c43a0 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 139a816..9aaf855 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 dfc5bf7..71bb3fc 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 5978a39..d128ba4 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 530eee1..bb66da1 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 1890c90..bd14a34 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 b133780..4335580 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 b450c8c..7d9e158 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 cde3dd1..e2fe289 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 5027bca..851d5e6 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 a1d381c..c7dd634 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; |