mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 14:31:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

[multiple changes]

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

From-SVN: r208135
This commit is contained in:
Arnaud Charlet 2014-02-25 16:11:39 +01:00
parent 5f24a82a10
commit e917e3b815
76 changed files with 238 additions and 153 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
gcc/ada/ChangeLog
View File

@ -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.

6
gcc/ada/exp_ch6.adb
View File

@ -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);

3
gcc/ada/exp_ch7.adb
View File

@ -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;

12
gcc/ada/freeze.adb
View File

@ -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);

4
gcc/ada/s-excdeb.ads
View File

@ -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;

2
gcc/ada/s-except.ads
View File

@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package System.Exceptions is

2
gcc/ada/s-exctab.adb
View File

@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.HTable;
with System.Soft_Links; use System.Soft_Links;

4
gcc/ada/s-exctab.ads
View File

@ -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;

4
gcc/ada/s-finmas.ads
View File

@ -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;

4
gcc/ada/s-htable.adb
View File

@ -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;

4
gcc/ada/s-htable.ads
View File

@ -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;

4
gcc/ada/s-imenne.adb
View File

@ -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;

4
gcc/ada/s-imenne.ads
View File

@ -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;

4
gcc/ada/s-imgenu.adb
View File

@ -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;

4
gcc/ada/s-imgenu.ads
View File

@ -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;

8
gcc/ada/s-mastop.adb
View File

@ -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

4
gcc/ada/s-mastop.ads
View File

@ -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

4
gcc/ada/s-memory-vms_64.adb
View File

@ -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;

4
gcc/ada/s-memory-vms_64.ads
View File

@ -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;

4
gcc/ada/s-memory.adb
View File

@ -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;

4
gcc/ada/s-memory.ads
View File

@ -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;

2
gcc/ada/s-os_lib.adb
View File

@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with Ada.Unchecked_Conversion;
with Ada.Unchecked_Deallocation;

2
gcc/ada/s-os_lib.ads
View File

@ -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;

4
gcc/ada/s-parame.adb
View File

@ -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

4
gcc/ada/s-parame.ads
View File

@ -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;

4
gcc/ada/s-purexc.ads
View File

@ -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;

4
gcc/ada/s-restri.adb
View File

@ -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;

2
gcc/ada/s-restri.ads
View File

@ -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;

2
gcc/ada/s-rident.ads
View File

@ -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

2
gcc/ada/s-secsta.adb
View File

@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
with System.Soft_Links;
with System.Parameters;

4
gcc/ada/s-secsta.ads
View File

@ -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;

4
gcc/ada/s-soflin.adb
View File

@ -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

4
gcc/ada/s-soflin.ads
View File

@ -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;

4
gcc/ada/s-sopco3.adb
View File

@ -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

4
gcc/ada/s-sopco3.ads
View File

@ -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;

4
gcc/ada/s-sopco4.adb
View File

@ -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

4
gcc/ada/s-sopco4.ads
View File

@ -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;

4
gcc/ada/s-sopco5.adb
View File

@ -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

4
gcc/ada/s-sopco5.ads
View File

@ -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;

4
gcc/ada/s-spsufi.ads
View File

@ -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

4
gcc/ada/s-stache.adb
View File

@ -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).

4
gcc/ada/s-stache.ads
View File

@ -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;

4
gcc/ada/s-stalib.adb
View File

@ -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

2
gcc/ada/s-stalib.ads
View File

@ -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

4
gcc/ada/s-stoele.adb
View File

@ -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;

2
gcc/ada/s-stoele.ads
View File

@ -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;

4
gcc/ada/s-strcom.adb
View File

@ -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;

4
gcc/ada/s-strcom.ads
View File

@ -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

4
gcc/ada/s-strhas.adb
View File

@ -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

4
gcc/ada/s-string.adb
View File

@ -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

4
gcc/ada/s-string.ads
View File

@ -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;

4
gcc/ada/s-strops.adb
View File

@ -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

4
gcc/ada/s-strops.ads
View File

@ -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;

2
gcc/ada/s-ststop.adb
View File

@ -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;

2
gcc/ada/s-ststop.ads
View File

@ -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;

4
gcc/ada/s-traceb.adb
View File

@ -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

4
gcc/ada/s-traceb.ads
View File

@ -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

4
gcc/ada/s-traent.adb
View File

@ -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

4
gcc/ada/s-traent.ads
View File

@ -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;

6
gcc/ada/s-unstyp.ads
View File

@ -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;

4
gcc/ada/s-utf_32.adb
View File

@ -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

4
gcc/ada/s-utf_32.ads
View File

@ -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;

4
gcc/ada/s-wchcnv.adb
View File

@ -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;

4
gcc/ada/s-wchcnv.ads
View File

@ -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;

4
gcc/ada/s-wchcon.adb
View File

@ -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

4
gcc/ada/s-wchcon.ads
View File

@ -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;

2
gcc/ada/s-wchjis.adb
View File

@ -29,7 +29,7 @@
-- --
------------------------------------------------------------------------------
pragma Compiler_Unit;
pragma Compiler_Unit_Warning;
package body System.WCh_JIS is

4
gcc/ada/s-wchjis.ads
View File

@ -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;

6
gcc/ada/sem_ch11.adb
View File

@ -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;

26
gcc/ada/sem_ch3.adb
View File

@ -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)

13
gcc/ada/sem_ch4.adb
View File

@ -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

2
gcc/ada/sem_ch5.adb
View File

@ -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

41
gcc/ada/sem_prag.adb
View File

@ -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 --
---------------------------
when Pragma_Compiler_Unit =>
-- 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 | 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,

5
gcc/ada/sem_util.adb
View File

@ -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;

3
gcc/ada/sem_util.ads
View File

@ -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

2
gcc/ada/snames.ads-tmpl
View File

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