diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-25 15:11:39 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-25 15:11:39 +0000 |
| commit | 3d33b949aac9daae578ce67d9f4691a8a5a4a08d (patch) | |
| tree | fde1444e6ac3289e10eb4a61cb47f302880ea78c /gcc | |
| parent | 334d1dbea30a398c5095983f7b6dfdd851bfee12 (diff) | |
| download | gcc-3d33b949aac9daae578ce67d9f4691a8a5a4a08d.tar.gz | |
2014-02-25 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, sem_util.adb, sem_util.ads, exp_ch6.adb: Minor
reformatting.
2014-02-25 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Freeze_Entity): If the return type of a function
is a limited view, and the non-limited view has not been seen yet,
defer freezing to some later point.
2014-02-25 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb: Minor reformatting.
2014-02-25 Robert Dewar <dewar@adacore.com>
* s-excdeb.ads, s-except.ads, s-exctab.adb, s-exctab.ads, s-finmas.ads,
s-htable.adb, s-htable.ads, s-imenne.adb, s-imenne.ads, s-imgenu.adb,
s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-memory-vms_64.adb,
s-memory-vms_64.ads, s-memory.adb, s-memory.ads, s-os_lib.adb,
s-os_lib.ads, s-parame.adb, s-parame.ads, s-purexc.ads, s-restri.adb,
s-restri.ads, s-rident.ads, s-secsta.adb, s-secsta.ads, s-soflin.adb,
s-soflin.ads, s-sopco3.adb, s-sopco3.ads, s-sopco4.adb, s-sopco4.ads,
s-sopco5.adb, s-sopco5.ads, s-spsufi.ads, s-stache.adb, s-stache.ads,
s-stalib.adb, s-stalib.ads, s-stoele.adb, s-stoele.ads, s-strcom.adb,
s-strcom.ads, s-strhas.adb, s-string.adb, s-string.ads, s-strops.adb,
s-strops.ads, s-ststop.adb, s-ststop.ads, s-traceb.adb, s-traceb.ads,
s-traent.adb, s-traent.ads, s-unstyp.ads, s-utf_32.adb, s-utf_32.ads,
s-wchcnv.adb, s-wchcnv.ads, s-wchcon.adb, s-wchcon.ads, s-wchjis.adb,
s-wchjis.ads, sem_ch11.adb, sem_ch4.adb, sem_ch5.adb, sem_prag.adb,
snames.ads-tmpl: Change Compiler_Unit everywhere to
Compiler_Unit_Warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208135 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
76 files changed, 238 insertions, 153 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ad3b82d2086..f0a7e218814 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,37 @@ +2014-02-25 Robert Dewar <dewar@adacore.com> + + * exp_ch7.adb, sem_util.adb, sem_util.ads, exp_ch6.adb: Minor + reformatting. + +2014-02-25 Ed Schonberg <schonberg@adacore.com> + + * freeze.adb (Freeze_Entity): If the return type of a function + is a limited view, and the non-limited view has not been seen yet, + defer freezing to some later point. + +2014-02-25 Robert Dewar <dewar@adacore.com> + + * sem_ch3.adb: Minor reformatting. + +2014-02-25 Robert Dewar <dewar@adacore.com> + + * s-excdeb.ads, s-except.ads, s-exctab.adb, s-exctab.ads, s-finmas.ads, + s-htable.adb, s-htable.ads, s-imenne.adb, s-imenne.ads, s-imgenu.adb, + s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-memory-vms_64.adb, + s-memory-vms_64.ads, s-memory.adb, s-memory.ads, s-os_lib.adb, + s-os_lib.ads, s-parame.adb, s-parame.ads, s-purexc.ads, s-restri.adb, + s-restri.ads, s-rident.ads, s-secsta.adb, s-secsta.ads, s-soflin.adb, + s-soflin.ads, s-sopco3.adb, s-sopco3.ads, s-sopco4.adb, s-sopco4.ads, + s-sopco5.adb, s-sopco5.ads, s-spsufi.ads, s-stache.adb, s-stache.ads, + s-stalib.adb, s-stalib.ads, s-stoele.adb, s-stoele.ads, s-strcom.adb, + s-strcom.ads, s-strhas.adb, s-string.adb, s-string.ads, s-strops.adb, + s-strops.ads, s-ststop.adb, s-ststop.ads, s-traceb.adb, s-traceb.ads, + s-traent.adb, s-traent.ads, s-unstyp.ads, s-utf_32.adb, s-utf_32.ads, + s-wchcnv.adb, s-wchcnv.ads, s-wchcon.adb, s-wchcon.ads, s-wchjis.adb, + s-wchjis.ads, sem_ch11.adb, sem_ch4.adb, sem_ch5.adb, sem_prag.adb, + snames.ads-tmpl: Change Compiler_Unit everywhere to + Compiler_Unit_Warning. + 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb (Add_Or_Save_Precondition): New routine. diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 4aa43ba10d5..74c864a49ab 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -8671,8 +8671,7 @@ package body Exp_Ch6 is procedure Collect_Body_Postconditions (Stmts : in out List_Id) is procedure Collect_Body_Postconditions_Of_Kind (Post_Nam : Name_Id); - -- Process all postconditions of a particular kind denoted by - -- Post_Nam. + -- Process all postconditions of the kind denoted by Post_Nam ----------------------------------------- -- Collect_Body_Postconditions_Of_Kind -- @@ -8716,8 +8715,7 @@ package body Exp_Ch6 is (Item => Check_Prag, List => Stmts); - -- When analyzing a generic unit, save the pragma for - -- later. + -- If analyzing a generic unit, save pragma for later else Prepend_To_Declarations (Check_Prag); diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index dccf8318db7..defa273237b 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -3572,8 +3572,7 @@ package body Exp_Ch7 is return; - -- If we have encountered Standard there are no enclosing transient - -- scopes. + -- If we encounter Standard there are no enclosing transient scopes elsif Scope_Stack.Table (S).Entity = Standard_Standard then exit; diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 789aa660ddc..73717239033 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -3909,6 +3909,18 @@ package body Freeze is then R_Type := Full_View (R_Type); Set_Etype (E, R_Type); + + -- If the return type is a limited view and the non- + -- limited view is still incomplete, the function has + -- to be frozen at a later time. + + elsif Ekind (R_Type) = E_Incomplete_Type + and then From_Limited_With (R_Type) + and then + Ekind (Non_Limited_View (R_Type)) = E_Incomplete_Type + then + Set_Is_Frozen (E, False); + return Result; end if; Freeze_And_Append (R_Type, N, Result); diff --git a/gcc/ada/s-excdeb.ads b/gcc/ada/s-excdeb.ads index f0480918390..4dd94c20583 100644 --- a/gcc/ada/s-excdeb.ads +++ b/gcc/ada/s-excdeb.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- 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- -- @@ -33,7 +33,7 @@ -- It should be compiled without optimization to let debuggers inspect -- parameter values reliably from breakpoints on the routines. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System.Standard_Library; diff --git a/gcc/ada/s-except.ads b/gcc/ada/s-except.ads index b7087c68f69..8bf0284ab19 100644 --- a/gcc/ada/s-except.ads +++ b/gcc/ada/s-except.ads @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Exceptions is diff --git a/gcc/ada/s-exctab.adb b/gcc/ada/s-exctab.adb index afd46e96f7d..a94d99a4eba 100644 --- a/gcc/ada/s-exctab.adb +++ b/gcc/ada/s-exctab.adb @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System.HTable; with System.Soft_Links; use System.Soft_Links; diff --git a/gcc/ada/s-exctab.ads b/gcc/ada/s-exctab.ads index c9fe6980b10..3434fd8cab6 100644 --- a/gcc/ada/s-exctab.ads +++ b/gcc/ada/s-exctab.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1996-2009, 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- -- @@ -33,7 +33,7 @@ -- registered exception names, for the implementation of the mapping -- of names to exceptions (used for exception streams and attributes) -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System.Standard_Library; diff --git a/gcc/ada/s-finmas.ads b/gcc/ada/s-finmas.ads index f0dd5b8767e..a94a8f99b60 100644 --- a/gcc/ada/s-finmas.ads +++ b/gcc/ada/s-finmas.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-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- -- @@ -33,7 +33,7 @@ with Ada.Finalization; with System.Storage_Elements; with System.Storage_Pools; -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Finalization_Masters is pragma Preelaborate; diff --git a/gcc/ada/s-htable.adb b/gcc/ada/s-htable.adb index b8116f9437d..53302739457 100644 --- a/gcc/ada/s-htable.adb +++ b/gcc/ada/s-htable.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1995-2012, 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; with Ada.Unchecked_Deallocation; with System.String_Hash; diff --git a/gcc/ada/s-htable.ads b/gcc/ada/s-htable.ads index 29fb5fbd163..86fb56352cb 100644 --- a/gcc/ada/s-htable.ads +++ b/gcc/ada/s-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- -- @@ -37,7 +37,7 @@ -- The Static_HTable package provides a more complex interface that allows -- complete control over allocation. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.HTable is pragma Preelaborate; diff --git a/gcc/ada/s-imenne.adb b/gcc/ada/s-imenne.adb index 37ef4a7e65d..9f2a56ea2fb 100644 --- a/gcc/ada/s-imenne.adb +++ b/gcc/ada/s-imenne.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2000-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 2000-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-imenne.ads b/gcc/ada/s-imenne.ads index bf2ba29b15b..3726720cd17 100644 --- a/gcc/ada/s-imenne.ads +++ b/gcc/ada/s-imenne.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 2000-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 @@ -- for bootstrapping with older versions of the compiler which expect to find -- functions in this package. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Img_Enum_New is pragma Pure; diff --git a/gcc/ada/s-imgenu.adb b/gcc/ada/s-imgenu.adb index 99c6acfa97e..96d1332494c 100644 --- a/gcc/ada/s-imgenu.adb +++ b/gcc/ada/s-imgenu.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2000-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 2000-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-imgenu.ads b/gcc/ada/s-imgenu.ads index 24afb3a3ad2..ef5474a4f3c 100644 --- a/gcc/ada/s-imgenu.ads +++ b/gcc/ada/s-imgenu.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 2000-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- -- @@ -41,7 +41,7 @@ -- these functions. The new compiler will search for procedures in the new -- version of the unit. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Img_Enum is pragma Pure; diff --git a/gcc/ada/s-mastop.adb b/gcc/ada/s-mastop.adb index fba5bb133cf..73be3e9ec15 100644 --- a/gcc/ada/s-mastop.adb +++ b/gcc/ada/s-mastop.adb @@ -7,7 +7,7 @@ -- B o d y -- -- (Dummy version) -- -- -- --- Copyright (C) 1999-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-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- -- @@ -30,10 +30,10 @@ -- -- ------------------------------------------------------------------------------ --- This dummy version of System.Machine_State_Operations is used --- on targets for which zero cost exception handling is not implemented. +-- This dummy version of System.Machine_State_Operations is used on targets +-- for which zero cost exception handling is not implemented. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.Machine_State_Operations is diff --git a/gcc/ada/s-mastop.ads b/gcc/ada/s-mastop.ads index 74ff217c693..93f06f8f24a 100644 --- a/gcc/ada/s-mastop.ads +++ b/gcc/ada/s-mastop.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1999-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-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; pragma Polling (Off); -- We must turn polling off for this unit, because otherwise we get diff --git a/gcc/ada/s-memory-vms_64.adb b/gcc/ada/s-memory-vms_64.adb index f371e977e0a..7a08f7d0799 100644 --- a/gcc/ada/s-memory-vms_64.adb +++ b/gcc/ada/s-memory-vms_64.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2011, 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- -- @@ -41,7 +41,7 @@ -- you can remove the calls to Abort_Defer.all and Abort_Undefer.all from -- this unit. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Exceptions; with System.Soft_Links; diff --git a/gcc/ada/s-memory-vms_64.ads b/gcc/ada/s-memory-vms_64.ads index 8a900be8508..464446a8b2e 100644 --- a/gcc/ada/s-memory-vms_64.ads +++ b/gcc/ada/s-memory-vms_64.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2001-2011, 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- -- @@ -40,7 +40,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.Memory is pragma Elaborate_Body; diff --git a/gcc/ada/s-memory.adb b/gcc/ada/s-memory.adb index 3fb1cda9bcb..b7d37d26881 100644 --- a/gcc/ada/s-memory.adb +++ b/gcc/ada/s-memory.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- 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- -- @@ -41,7 +41,7 @@ -- you can remove the calls to Abort_Defer.all and Abort_Undefer.all from -- this unit. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Exceptions; with System.Soft_Links; diff --git a/gcc/ada/s-memory.ads b/gcc/ada/s-memory.ads index 4af600205ad..87a129a6903 100644 --- a/gcc/ada/s-memory.ads +++ b/gcc/ada/s-memory.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- -- @@ -40,7 +40,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.Memory is pragma Elaborate_Body; diff --git a/gcc/ada/s-os_lib.adb b/gcc/ada/s-os_lib.adb index 550c1f5a301..f20e0cf5673 100644 --- a/gcc/ada/s-os_lib.adb +++ b/gcc/ada/s-os_lib.adb @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Unchecked_Conversion; with Ada.Unchecked_Deallocation; diff --git a/gcc/ada/s-os_lib.ads b/gcc/ada/s-os_lib.ads index 274810e0ddb..616c8523fc8 100644 --- a/gcc/ada/s-os_lib.ads +++ b/gcc/ada/s-os_lib.ads @@ -51,7 +51,7 @@ -- Note: a distinct body for this spec is included in the .NET runtime library -- and must be kept in sync with changes made in this file. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System; with System.Strings; diff --git a/gcc/ada/s-parame.adb b/gcc/ada/s-parame.adb index ff61b7ee572..9a40c6f6be3 100644 --- a/gcc/ada/s-parame.adb +++ b/gcc/ada/s-parame.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- 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- -- @@ -31,7 +31,7 @@ -- This is the default (used on all native platforms) version of this package -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.Parameters is diff --git a/gcc/ada/s-parame.ads b/gcc/ada/s-parame.ads index e4317fafcf6..4ebfc5cd877 100644 --- a/gcc/ada/s-parame.ads +++ b/gcc/ada/s-parame.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- 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- -- @@ -46,7 +46,7 @@ -- Note: do not introduce any pragma Inline statements into this unit, since -- otherwise the relinking and rebinding capability would be deactivated. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Parameters is pragma Pure; diff --git a/gcc/ada/s-purexc.ads b/gcc/ada/s-purexc.ads index a327f48bf0a..ab05e2ae0ee 100644 --- a/gcc/ada/s-purexc.ads +++ b/gcc/ada/s-purexc.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 2000-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- -- @@ -33,7 +33,7 @@ -- an exception message. It can be used from Pure units. This unit is for -- internal use only, it is not generally available to applications. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Pure_Exceptions is pragma Pure; diff --git a/gcc/ada/s-restri.adb b/gcc/ada/s-restri.adb index 7ce6da9cc46..bd87b1705ec 100644 --- a/gcc/ada/s-restri.adb +++ b/gcc/ada/s-restri.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; package body System.Restrictions is use Rident; diff --git a/gcc/ada/s-restri.ads b/gcc/ada/s-restri.ads index a0cb1e9d2cc..66c6584a2ac 100644 --- a/gcc/ada/s-restri.ads +++ b/gcc/ada/s-restri.ads @@ -38,7 +38,7 @@ -- with names discarded, so that we do not have image tables for the -- large restriction enumeration types at run time. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System.Rident; diff --git a/gcc/ada/s-rident.ads b/gcc/ada/s-rident.ads index 732ce9dbfe5..a7334c8f874 100644 --- a/gcc/ada/s-rident.ads +++ b/gcc/ada/s-rident.ads @@ -69,7 +69,7 @@ -- restrictions are ignored, and the consistency checking for restrictions -- might be incomplete, which is no big deal. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; generic package System.Rident is diff --git a/gcc/ada/s-secsta.adb b/gcc/ada/s-secsta.adb index e883721e309..f8142fbe523 100644 --- a/gcc/ada/s-secsta.adb +++ b/gcc/ada/s-secsta.adb @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System.Soft_Links; with System.Parameters; diff --git a/gcc/ada/s-secsta.ads b/gcc/ada/s-secsta.ads index d2da2bcffb1..a1685e02193 100644 --- a/gcc/ada/s-secsta.ads +++ b/gcc/ada/s-secsta.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- 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 System.Storage_Elements; diff --git a/gcc/ada/s-soflin.adb b/gcc/ada/s-soflin.adb index 1da838eba4f..2bbc2aa0b36 100644 --- a/gcc/ada/s-soflin.adb +++ b/gcc/ada/s-soflin.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- 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- -- @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; pragma Polling (Off); -- We must turn polling off for this unit, because otherwise we get an diff --git a/gcc/ada/s-soflin.ads b/gcc/ada/s-soflin.ads index 2592bd1eeb7..7f3ebe45afa 100644 --- a/gcc/ada/s-soflin.ads +++ b/gcc/ada/s-soflin.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- -- @@ -37,7 +37,7 @@ -- initialized to non-tasking versions, and then if the tasking support is -- initialized, they are set to the real tasking versions. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Exceptions; with System.Stack_Checking; diff --git a/gcc/ada/s-sopco3.adb b/gcc/ada/s-sopco3.adb index 5e7b6bbcc91..9c4e00557ea 100644 --- a/gcc/ada/s-sopco3.adb +++ b/gcc/ada/s-sopco3.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- -- @@ -33,7 +33,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.String_Ops_Concat_3 is diff --git a/gcc/ada/s-sopco3.ads b/gcc/ada/s-sopco3.ads index 68b1066c60a..89dd9cfb8f9 100644 --- a/gcc/ada/s-sopco3.ads +++ b/gcc/ada/s-sopco3.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- -- @@ -35,7 +35,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.String_Ops_Concat_3 is pragma Pure; diff --git a/gcc/ada/s-sopco4.adb b/gcc/ada/s-sopco4.adb index 4bfbcc31ccd..fc3a7402c44 100644 --- a/gcc/ada/s-sopco4.adb +++ b/gcc/ada/s-sopco4.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- -- @@ -33,7 +33,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.String_Ops_Concat_4 is diff --git a/gcc/ada/s-sopco4.ads b/gcc/ada/s-sopco4.ads index e198bbae81c..79cd3ddfcf8 100644 --- a/gcc/ada/s-sopco4.ads +++ b/gcc/ada/s-sopco4.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- -- @@ -35,7 +35,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.String_Ops_Concat_4 is pragma Pure; diff --git a/gcc/ada/s-sopco5.adb b/gcc/ada/s-sopco5.adb index 8467028c6ba..6be4d5b338b 100644 --- a/gcc/ada/s-sopco5.adb +++ b/gcc/ada/s-sopco5.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- -- @@ -33,7 +33,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.String_Ops_Concat_5 is diff --git a/gcc/ada/s-sopco5.ads b/gcc/ada/s-sopco5.ads index 3491bb9ad96..2521279c4be 100644 --- a/gcc/ada/s-sopco5.ads +++ b/gcc/ada/s-sopco5.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- -- @@ -35,7 +35,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.String_Ops_Concat_5 is pragma Pure; diff --git a/gcc/ada/s-spsufi.ads b/gcc/ada/s-spsufi.ads index 1de738b6f84..c49af44f667 100644 --- a/gcc/ada/s-spsufi.ads +++ b/gcc/ada/s-spsufi.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-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 System.Storage_Pools.Subpools.Finalization is diff --git a/gcc/ada/s-stache.adb b/gcc/ada/s-stache.adb index ffad2054481..927e0ab154c 100644 --- a/gcc/ada/s-stache.adb +++ b/gcc/ada/s-stache.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1999-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2013, Free Software Foundation, Inc. -- -- -- -- GNARL 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; -- As noted in the spec, this dummy body is present because otherwise we -- have bootstrapping path problems (there used to be a real body). diff --git a/gcc/ada/s-stache.ads b/gcc/ada/s-stache.ads index 878b8a5270c..374f676df6d 100644 --- a/gcc/ada/s-stache.ads +++ b/gcc/ada/s-stache.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1999-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2013, Free Software Foundation, Inc. -- -- -- -- GNARL 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- -- @@ -35,7 +35,7 @@ -- This package defines basic types and objects. Operations related to -- stack checking can be found in package System.Stack_Checking.Operations. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with System.Storage_Elements; diff --git a/gcc/ada/s-stalib.adb b/gcc/ada/s-stalib.adb index ba83b8d9cdc..1b95c6a3959 100644 --- a/gcc/ada/s-stalib.adb +++ b/gcc/ada/s-stalib.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1995-2011, 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- -- @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; -- The purpose of this body is simply to ensure that the two with'ed units -- are properly included in the link. They are not with'ed from the spec diff --git a/gcc/ada/s-stalib.ads b/gcc/ada/s-stalib.ads index b1c06180939..e38f36e5567 100644 --- a/gcc/ada/s-stalib.ads +++ b/gcc/ada/s-stalib.ads @@ -44,7 +44,7 @@ -- package and the packages it references are included in all Ada programs, -- together with the included data. -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/s-stoele.adb b/gcc/ada/s-stoele.adb index cd3e22ef907..6a3fe5cfd13 100644 --- a/gcc/ada/s-stoele.adb +++ b/gcc/ada/s-stoele.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 Ada.Unchecked_Conversion; diff --git a/gcc/ada/s-stoele.ads b/gcc/ada/s-stoele.ads index 132482b7502..bf773cb03d4 100644 --- a/gcc/ada/s-stoele.ads +++ b/gcc/ada/s-stoele.ads @@ -37,7 +37,7 @@ -- extra declarations that can be introduced into System using Extend_System. -- It is a good idea to avoid use clauses for this package. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Storage_Elements is pragma Pure; diff --git a/gcc/ada/s-strcom.adb b/gcc/ada/s-strcom.adb index 37ccc61380a..4388d801e68 100644 --- a/gcc/ada/s-strcom.adb +++ b/gcc/ada/s-strcom.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 Ada.Unchecked_Conversion; diff --git a/gcc/ada/s-strcom.ads b/gcc/ada/s-strcom.ads index 6d1a303c560..7458f5da015 100644 --- a/gcc/ada/s-strcom.ads +++ b/gcc/ada/s-strcom.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- -- @@ -31,7 +31,7 @@ -- This package contains functions for runtime comparisons on strings -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.String_Compare is diff --git a/gcc/ada/s-strhas.adb b/gcc/ada/s-strhas.adb index 0e86cb66b31..6b7b9fea2a6 100644 --- a/gcc/ada/s-strhas.adb +++ b/gcc/ada/s-strhas.adb @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2009, Free Software Foundation, Inc. -- +-- Copyright (C) 2009-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.String_Hash is diff --git a/gcc/ada/s-string.adb b/gcc/ada/s-string.adb index a4ffd91b5cd..d6e32fb5157 100644 --- a/gcc/ada/s-string.adb +++ b/gcc/ada/s-string.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1995-2012, 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- -- @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.Strings is diff --git a/gcc/ada/s-string.ads b/gcc/ada/s-string.ads index 87b7e8aebef..ee054987655 100644 --- a/gcc/ada/s-string.ads +++ b/gcc/ada/s-string.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1995-2012, 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- -- @@ -35,7 +35,7 @@ -- be used by other predefined packages. User access to this package is via -- a renaming of this package in GNAT.String (file g-string.ads). -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Unchecked_Deallocation; diff --git a/gcc/ada/s-strops.adb b/gcc/ada/s-strops.adb index 44a6a76bf15..a822ea48c44 100644 --- a/gcc/ada/s-strops.adb +++ b/gcc/ada/s-strops.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- -- @@ -33,7 +33,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.String_Ops is diff --git a/gcc/ada/s-strops.ads b/gcc/ada/s-strops.ads index 54ac74578a6..8e6d7b44b6f 100644 --- a/gcc/ada/s-strops.ads +++ b/gcc/ada/s-strops.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- -- @@ -36,7 +36,7 @@ -- which now generates concatenation inline. It is retained only because -- it may be used during bootstrapping using old versions of the compiler. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.String_Ops is pragma Pure; diff --git a/gcc/ada/s-ststop.adb b/gcc/ada/s-ststop.adb index f57ff09fa6a..612ed0c8ac1 100644 --- a/gcc/ada/s-ststop.adb +++ b/gcc/ada/s-ststop.adb @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Streams; use Ada.Streams; with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO; diff --git a/gcc/ada/s-ststop.ads b/gcc/ada/s-ststop.ads index a3fb3c6e6b2..8a58356e0bd 100644 --- a/gcc/ada/s-ststop.ads +++ b/gcc/ada/s-ststop.ads @@ -63,7 +63,7 @@ -- handles versions of System.Stream_Attributes (in particular the XDR version -- found in s-stratt-xdr) which do not permit block io optimization. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; with Ada.Streams; diff --git a/gcc/ada/s-traceb.adb b/gcc/ada/s-traceb.adb index d4de95d7e05..b32e2a1b075 100644 --- a/gcc/ada/s-traceb.adb +++ b/gcc/ada/s-traceb.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1999-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-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- -- @@ -34,7 +34,7 @@ -- Note: this unit must be compiled using -fno-optimize-sibling-calls. -- See comment below in body of Call_Chain for details on the reason. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.Traceback is diff --git a/gcc/ada/s-traceb.ads b/gcc/ada/s-traceb.ads index 0119b700a44..fc5cfb2a899 100644 --- a/gcc/ada/s-traceb.ads +++ b/gcc/ada/s-traceb.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1999-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-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- -- @@ -33,7 +33,7 @@ -- execution location. The traceback shows the locations of calls in the call -- chain, up to either the top or a designated number of levels. -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/s-traent.adb b/gcc/ada/s-traent.adb index 343d30c8906..cedb93280d6 100644 --- a/gcc/ada/s-traent.adb +++ b/gcc/ada/s-traent.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- -- @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.Traceback_Entries is diff --git a/gcc/ada/s-traent.ads b/gcc/ada/s-traent.ads index cf24e0db52a..1dbb9ec15d6 100644 --- a/gcc/ada/s-traent.ads +++ b/gcc/ada/s-traent.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. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -38,7 +38,7 @@ -- version of the package, an entry is a mere code location representing the -- address of a call instruction part of the call-chain. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.Traceback_Entries is pragma Preelaborate; diff --git a/gcc/ada/s-unstyp.ads b/gcc/ada/s-unstyp.ads index bbd916a2ca1..ee77af897ac 100644 --- a/gcc/ada/s-unstyp.ads +++ b/gcc/ada/s-unstyp.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- -- @@ -35,9 +35,7 @@ -- also contains some related definitions for other specialized types -- used by the compiler in connection with packed array types. -pragma Warnings (Off); -pragma Compiler_Unit; -pragma Warnings (On); +pragma Compiler_Unit_Warning; package System.Unsigned_Types is pragma Pure; diff --git a/gcc/ada/s-utf_32.adb b/gcc/ada/s-utf_32.adb index 4bf10558a81..cb41b2fede6 100644 --- a/gcc/ada/s-utf_32.adb +++ b/gcc/ada/s-utf_32.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2005-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2005-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; pragma Style_Checks (Off); -- Allow long lines in this unit. Note this could be more specific, but we diff --git a/gcc/ada/s-utf_32.ads b/gcc/ada/s-utf_32.ads index 4e6a67fb91f..1d01fa5d4a6 100644 --- a/gcc/ada/s-utf_32.ads +++ b/gcc/ada/s-utf_32.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2005-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2005-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- -- @@ -41,7 +41,7 @@ -- the same services. The reason this package is in System is so that it can -- with'ed by other packages in the Ada and System hierarchies. -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.UTF_32 is pragma Pure; diff --git a/gcc/ada/s-wchcnv.adb b/gcc/ada/s-wchcnv.adb index 893232e605a..345af8f57d7 100644 --- a/gcc/ada/s-wchcnv.adb +++ b/gcc/ada/s-wchcnv.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 Interfaces; use Interfaces; with System.WCh_Con; use System.WCh_Con; diff --git a/gcc/ada/s-wchcnv.ads b/gcc/ada/s-wchcnv.ads index 887e2198cb7..82a620aa182 100644 --- a/gcc/ada/s-wchcnv.ads +++ b/gcc/ada/s-wchcnv.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- -- @@ -43,7 +43,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; with System.WCh_Con; diff --git a/gcc/ada/s-wchcon.adb b/gcc/ada/s-wchcon.adb index ac37a92f682..55acd048adf 100644 --- a/gcc/ada/s-wchcon.adb +++ b/gcc/ada/s-wchcon.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2005-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2005-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.WCh_Con is diff --git a/gcc/ada/s-wchcon.ads b/gcc/ada/s-wchcon.ads index 1a370698c08..54d4d777d9c 100644 --- a/gcc/ada/s-wchcon.ads +++ b/gcc/ada/s-wchcon.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- -- @@ -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.WCh_Con is pragma Pure; diff --git a/gcc/ada/s-wchjis.adb b/gcc/ada/s-wchjis.adb index 73282796c8e..6b4941c8d3f 100644 --- a/gcc/ada/s-wchjis.adb +++ b/gcc/ada/s-wchjis.adb @@ -29,7 +29,7 @@ -- -- ------------------------------------------------------------------------------ -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package body System.WCh_JIS is diff --git a/gcc/ada/s-wchjis.ads b/gcc/ada/s-wchjis.ads index b91839704c2..58b4bf1d33a 100644 --- a/gcc/ada/s-wchjis.ads +++ b/gcc/ada/s-wchjis.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- -- @@ -32,7 +32,7 @@ -- This package contains routines used for converting between internal -- JIS codes and the two external forms we support (EUC and Shift-JIS) -pragma Compiler_Unit; +pragma Compiler_Unit_Warning; package System.WCh_JIS is pragma Pure; diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb index f96a91b38b5..a712fedd83f 100644 --- a/gcc/ada/sem_ch11.adb +++ b/gcc/ada/sem_ch11.adb @@ -435,6 +435,10 @@ package body Sem_Ch11 is Exception_Name : Entity_Id := Empty; begin + if Comes_From_Source (N) then + Check_Compiler_Unit (N); + end if; + Check_SPARK_Restriction ("raise expression is not allowed", N); -- Check exception restrictions on the original source @@ -461,7 +465,6 @@ package body Sem_Ch11 is -- Deal with RAISE WITH case if Present (Expression (N)) then - Check_Compiler_Unit (Expression (N)); Analyze_And_Resolve (Expression (N), Standard_String); end if; @@ -629,7 +632,6 @@ package body Sem_Ch11 is -- Deal with RAISE WITH case if Present (Expression (N)) then - Check_Compiler_Unit (Expression (N)); Analyze_And_Resolve (Expression (N), Standard_String); end if; end if; diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 358bc359a69..e7c9167b460 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -1245,6 +1245,7 @@ package body Sem_Ch3 is -- be updated when the full type declaration is seen. This only applies -- to incomplete types declared in some enclosing scope, not to limited -- views from other packages. + -- Prior to Ada 2012, access to functions can only have in_parameters. if Present (Formals) then @@ -9707,8 +9708,7 @@ package body Sem_Ch3 is end if; end if; - -- Ada 2012 (AI05-0030): Perform some checks related to pragma - -- Implemented + -- Ada 2012 (AI05-0030): Perform checks related to pragma Implemented -- Subp is an expander-generated procedure which maps an interface -- alias to a protected wrapper. The interface alias is flagged by @@ -10568,15 +10568,14 @@ package body Sem_Ch3 is -- the full view is tagged: must disallow discriminants with -- defaults, unless compiling for Ada 2012, which allows a -- limited tagged type to have defaulted discriminants (see - -- AI05-0214). However, suppress the error here if it was - -- already reported on the default expression of the partial - -- view. + -- AI05-0214). However, suppress error here if it was already + -- reported on the default expression of the partial view. if Is_Tagged_Type (T) - and then Present (Expression (Parent (D))) - and then (not Is_Limited_Type (Current_Scope) - or else Ada_Version < Ada_2012) - and then not Error_Posted (Expression (Parent (D))) + and then Present (Expression (Parent (D))) + and then (not Is_Limited_Type (Current_Scope) + or else Ada_Version < Ada_2012) + and then not Error_Posted (Expression (Parent (D))) then if Ada_Version >= Ada_2012 then Error_Msg_N @@ -15424,6 +15423,7 @@ package body Sem_Ch3 is Error_Msg_NE ("full declaration of } must be a tagged type ", Id, Prev); end if; + else if Ada_Version >= Ada_2012 and then Nkind (N) = N_Private_Type_Declaration @@ -15470,9 +15470,9 @@ package body Sem_Ch3 is N_Protected_Type_Declaration) and then (Ada_Version < Ada_2012 - or else not Is_Incomplete_Type (Prev) - or else not Nkind_In (N, N_Private_Type_Declaration, - N_Private_Extension_Declaration)) + or else not Is_Incomplete_Type (Prev) + or else not Nkind_In (N, N_Private_Type_Declaration, + N_Private_Extension_Declaration)) then -- Completion must be a full type declarations (RM 7.3(4)) @@ -15681,7 +15681,7 @@ package body Sem_Ch3 is or else Present (Class_Wide_Type (Prev))) then -- Ada 2012 (AI05-0162): A private type may be the completion of - -- an incomplete type + -- an incomplete type. if Ada_Version >= Ada_2012 and then Is_Incomplete_Type (Prev) diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 52845b4e511..62d714e2e45 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -2668,6 +2668,10 @@ package body Sem_Ch4 is Common_Type : Entity_Id := Empty; begin + if Comes_From_Source (N) then + Check_Compiler_Unit (N); + end if; + Analyze (L); Candidate_Interps := L; @@ -2745,9 +2749,7 @@ package body Sem_Ch4 is begin Analyze_Expression (L); - if No (R) - and then Ada_Version >= Ada_2012 - then + if No (R) and then Ada_Version >= Ada_2012 then Analyze_Set_Membership; return; end if; @@ -7029,11 +7031,16 @@ package body Sem_Ch4 is -- Note that there may be named associations, in which case the node -- was rewritten earlier as a call, and has been transformed back into -- an indexed expression to share the following processing. + -- The generalized indexing node is the one on which analysis and -- resolution take place. Before expansion the original node is replaced -- with the generalized indexing node, which is a call, possibly with -- a dereference operation. + if Comes_From_Source (N) then + Check_Compiler_Unit (N); + end if; + declare Arg : Node_Id; begin diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index 30c26f0dc07..b864433bbd8 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -1052,7 +1052,7 @@ package body Sem_Ch5 is Generic_Check_Choices (Process_Empty_Choice => No_OP, Process_Non_Static_Choice => Non_Static_Choice_Error, - Process_Associated_Node => No_Op); + Process_Associated_Node => No_OP); use Check_Case_Choices; -- Instantiation of the generic choice processing package diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index a5eaf1304bd..a1d381c8b90 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2827,6 +2827,10 @@ package body Sem_Prag is -- Analyze_Pragma -- -------------------- + -------------------- + -- Analyze_Pragma -- + -------------------- + procedure Analyze_Pragma (N : Node_Id) is Loc : constant Source_Ptr := Sloc (N); Prag_Id : Pragma_Id; @@ -12240,11 +12244,39 @@ package body Sem_Prag is GNAT_Pragma; Process_Compile_Time_Warning_Or_Error; - ------------------- - -- Compiler_Unit -- - ------------------- + --------------------------- + -- Compiler_Unit_Warning -- + --------------------------- + + -- pragma Compiler_Unit_Warning; + + -- Historical note + + -- Originally, we had only pragma Compiler_Unit, and it resulted in + -- errors not warnings. This means that we had introduced a big extra + -- inertia to compiler changes, since even if we implemented a new + -- feature, and even if all versions to be used for bootstrapping + -- implemented this new feature, we could not use it, since old + -- compilers would give errors for using this feature in units + -- having Compiler_Unit pragmas. + + -- By changing Compiler_Unit to Compiler_Unit_Warning, we solve the + -- problem. We no longer have any units mentioning Compiler_Unit, + -- so old compilers see Compiler_Unit_Warning which is unrecognized, + -- and thus generates a warning which can be ignored. So that deals + -- with the problem of old compilers not implementing the newer form + -- of the pragma. + + -- Newer compilers recognize the new pragma, but generate warning + -- messages instead of errors, which again can be ignored in the + -- case of an old compiler which implements a wanted new feature + -- but at the time felt like warning about it for older compilers. + + -- We retain Compiler_Unit so that new compilers can be used to build + -- older run-times that use this pragma. That's an unusual case, but + -- it's easy enough to handle, so why not? - when Pragma_Compiler_Unit => + when Pragma_Compiler_Unit | Pragma_Compiler_Unit_Warning => GNAT_Pragma; Check_Arg_Count (0); Set_Is_Compiler_Unit (Get_Source_Unit (N)); @@ -25521,6 +25553,7 @@ package body Sem_Prag is Pragma_Compile_Time_Error => -1, Pragma_Compile_Time_Warning => -1, Pragma_Compiler_Unit => 0, + Pragma_Compiler_Unit_Warning => 0, Pragma_Complete_Representation => 0, Pragma_Complex_Representation => 0, Pragma_Component_Alignment => -1, diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index d33c235e9cd..f08681ade77 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -5640,8 +5640,9 @@ package body Sem_Util is if Nkind (Constr) = N_Loop_Statement and then Present (Iteration_Scheme (Constr)) - and then Nkind (Iterator_Specification (Iteration_Scheme - (Constr))) = N_Iterator_Specification + and then Nkind (Iterator_Specification + (Iteration_Scheme (Constr))) = + N_Iterator_Specification then return S; end if; diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 86a2b526009..839268185ab 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -46,8 +46,7 @@ package Sem_Util is procedure Add_Block_Identifier (N : Node_Id; Id : out Entity_Id); -- Given a block statement N, generate an internal E_Block label and make -- it the identifier of the block. Id denotes the generated entity. If the - -- block already has an identifier, Id denotes the entity of the existing - -- label. + -- block already has an identifier, Id returns the entity of its label. procedure Add_Contract_Item (Prag : Node_Id; Id : Entity_Id); -- Add pragma Prag to the contract of an entry, a package [body], a diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index fb3660024c1..173f73430b4 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -374,6 +374,7 @@ package Snames is Name_Compile_Time_Error : constant Name_Id := N + $; -- GNAT Name_Compile_Time_Warning : constant Name_Id := N + $; -- GNAT Name_Compiler_Unit : constant Name_Id := N + $; -- GNAT + Name_Compiler_Unit_Warning : constant Name_Id := N + $; -- GNAT Name_Component_Alignment : constant Name_Id := N + $; -- GNAT Name_Convention_Identifier : constant Name_Id := N + $; -- GNAT Name_Debug_Policy : constant Name_Id := N + $; -- GNAT @@ -1730,6 +1731,7 @@ package Snames is Pragma_Compile_Time_Error, Pragma_Compile_Time_Warning, Pragma_Compiler_Unit, + Pragma_Compiler_Unit_Warning, Pragma_Component_Alignment, Pragma_Convention_Identifier, Pragma_Debug_Policy, |