Skip to content

R
riscv-gcc-1
Commit 9926efec by Arnaud Charlet
Options

[multiple changes] 

2014-06-11  Robert Dewar  <dewar@adacore.com>

	* make.adb, sem_res.adb: Minor reformatting.

2014-06-11  Thomas Quinot  <quinot@adacore.com>

	* a-astaco.ads, a-tags.ads, s-excdeb.ads, a-tgdico.ads, a-stmaco.ads,
	a-except-2005.ads, s-except.ads, a-taside.ads, a-dynpri.ads,
	a-chahan.ads, a-sytaco.ads, s-stalib.ads, a-strmap.ads: Change pragmas
	Preelaborate_05 to just Preelaborate in runtime units, and similarly
	change Pure_05 to just Pure.

From-SVN: r211457
parent dda38714
Showing with 37 additions and 29 deletions
gcc/ada/ChangeLog
2014-06-11 Robert Dewar <dewar@adacore.com>
* make.adb, sem_res.adb: Minor reformatting.
2014-06-11 Thomas Quinot <quinot@adacore.com>
* a-astaco.ads, a-tags.ads, s-excdeb.ads, a-tgdico.ads, a-stmaco.ads,
a-except-2005.ads, s-except.ads, a-taside.ads, a-dynpri.ads,
a-chahan.ads, a-sytaco.ads, s-stalib.ads, a-strmap.ads: Change pragmas
Preelaborate_05 to just Preelaborate in runtime units, and similarly
change Pure_05 to just Pure.
2014-06-11 Ed Schonberg <schonberg@adacore.com> 2014-06-11 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Contract): Do not attempt * sem_ch6.adb (Analyze_Subprogram_Body_Contract): Do not attempt
......
gcc/ada/a-astaco.ads
...@@ -27,7 +27,7 @@ ...@@ -27,7 +27,7 @@
with Ada.Task_Identification; with Ada.Task_Identification;
package Ada.Asynchronous_Task_Control is package Ada.Asynchronous_Task_Control is
pragma Preelaborate_05; pragma Preelaborate;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
pragma Unimplemented_Unit; pragma Unimplemented_Unit;
......
gcc/ada/a-chahan.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -34,8 +34,7 @@ ...@@ -34,8 +34,7 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package Ada.Characters.Handling is package Ada.Characters.Handling is
pragma Preelaborate; pragma Pure;
pragma Pure_05;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
---------------------------------------- ----------------------------------------
......
gcc/ada/a-dynpri.ads
...@@ -17,7 +17,7 @@ with System; ...@@ -17,7 +17,7 @@ with System;
with Ada.Task_Identification; with Ada.Task_Identification;
package Ada.Dynamic_Priorities is package Ada.Dynamic_Priorities is
pragma Preelaborate_05; pragma Preelaborate;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
procedure Set_Priority procedure Set_Priority
......
gcc/ada/a-except-2005.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -51,7 +51,7 @@ with System.Standard_Library; ...@@ -51,7 +51,7 @@ with System.Standard_Library;
with System.Traceback_Entries; with System.Traceback_Entries;
package Ada.Exceptions is package Ada.Exceptions is
pragma Preelaborate_05; pragma Preelaborate;
-- In accordance with Ada 2005 AI-362. -- In accordance with Ada 2005 AI-362.
type Exception_Id is private; type Exception_Id is private;
......
gcc/ada/a-stmaco.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -36,8 +36,7 @@ ...@@ -36,8 +36,7 @@
with Ada.Characters.Latin_1; with Ada.Characters.Latin_1;
package Ada.Strings.Maps.Constants is package Ada.Strings.Maps.Constants is
pragma Preelaborate; pragma Pure;
pragma Pure_05;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
Control_Set : constant Character_Set; Control_Set : constant Character_Set;
......
gcc/ada/a-strmap.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -36,8 +36,7 @@ ...@@ -36,8 +36,7 @@
with Ada.Characters.Latin_1; with Ada.Characters.Latin_1;
package Ada.Strings.Maps is package Ada.Strings.Maps is
pragma Preelaborate; pragma Pure;
pragma Pure_05;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
-------------------------------- --------------------------------
......
gcc/ada/a-sytaco.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -38,7 +38,7 @@ with System.Task_Primitives; ...@@ -38,7 +38,7 @@ with System.Task_Primitives;
with Ada.Finalization; with Ada.Finalization;
package Ada.Synchronous_Task_Control is package Ada.Synchronous_Task_Control is
pragma Preelaborate_05; pragma Preelaborate;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
type Suspension_Object is limited private; type Suspension_Object is limited private;
......
gcc/ada/a-tags.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -37,7 +37,7 @@ with System; ...@@ -37,7 +37,7 @@ with System;
with System.Storage_Elements; with System.Storage_Elements;
package Ada.Tags is package Ada.Tags is
pragma Preelaborate_05; pragma Preelaborate;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
type Tag is private; type Tag is private;
......
gcc/ada/a-taside.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -37,7 +37,7 @@ with System; ...@@ -37,7 +37,7 @@ with System;
with System.Tasking; with System.Tasking;
package Ada.Task_Identification is package Ada.Task_Identification is
pragma Preelaborate_05; pragma Preelaborate;
-- In accordance with Ada 2005 AI-362 -- In accordance with Ada 2005 AI-362
type Task_Id is private; type Task_Id is private;
......
gcc/ada/a-tgdico.ads
...@@ -25,7 +25,7 @@ generic ...@@ -25,7 +25,7 @@ generic
function Ada.Tags.Generic_Dispatching_Constructor function Ada.Tags.Generic_Dispatching_Constructor
(The_Tag : Tag; (The_Tag : Tag;
Params : not null access Parameters) return T'Class; Params : not null access Parameters) return T'Class;
pragma Preelaborate_05 (Generic_Dispatching_Constructor); pragma Preelaborate (Generic_Dispatching_Constructor);
pragma Import (Intrinsic, Generic_Dispatching_Constructor); pragma Import (Intrinsic, Generic_Dispatching_Constructor);
-- Note: the reason that we use Preelaborate_05 here is so that this will -- Note: the reason that we use Preelaborate_05 here is so that this will
-- compile fine during the normal build procedures. In Ada 2005 mode (which -- compile fine during the normal build procedures. In Ada 2005 mode (which
......
gcc/ada/make.adb
...@@ -3730,7 +3730,7 @@ package body Make is ...@@ -3730,7 +3730,7 @@ package body Make is
"WARNING: ALI or object file not found after compile"); "WARNING: ALI or object file not found after compile");
if not Is_Regular_File if not Is_Regular_File
(Get_Name_String (Name_Id (Data.Full_Lib_File))) (Get_Name_String (Name_Id (Data.Full_Lib_File)))
then then
Inform (Data.Full_Lib_File, "not found"); Inform (Data.Full_Lib_File, "not found");
end if; end if;
......
gcc/ada/s-excdeb.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 2006-2013, Free Software Foundation, Inc. -- -- Copyright (C) 2006-2014, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -39,7 +39,7 @@ with System.Standard_Library; ...@@ -39,7 +39,7 @@ with System.Standard_Library;
package System.Exceptions_Debug is package System.Exceptions_Debug is
pragma Preelaborate_05; pragma Preelaborate;
-- To let Ada.Exceptions "with" us and let us "with" Standard_Library -- To let Ada.Exceptions "with" us and let us "with" Standard_Library
package SSL renames System.Standard_Library; package SSL renames System.Standard_Library;
......
gcc/ada/s-except.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 2006-2013, Free Software Foundation, Inc. -- -- Copyright (C) 2006-2014, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -33,7 +33,7 @@ pragma Compiler_Unit_Warning; ...@@ -33,7 +33,7 @@ pragma Compiler_Unit_Warning;
package System.Exceptions is package System.Exceptions is
pragma Preelaborate_05; pragma Preelaborate;
-- To let Ada.Exceptions "with" us and let us "with" Standard_Library -- To let Ada.Exceptions "with" us and let us "with" Standard_Library
ZCX_By_Default : constant Boolean; ZCX_By_Default : constant Boolean;
......
gcc/ada/s-stalib.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -54,7 +54,7 @@ with Ada.Unchecked_Conversion; ...@@ -54,7 +54,7 @@ with Ada.Unchecked_Conversion;
package System.Standard_Library is package System.Standard_Library is
pragma Warnings (Off); pragma Warnings (Off);
pragma Preelaborate_05; pragma Preelaborate;
pragma Warnings (On); pragma Warnings (On);
subtype Big_String is String (1 .. Positive'Last); subtype Big_String is String (1 .. Positive'Last);
......
gcc/ada/sem_res.adb
...@@ -9213,7 +9213,7 @@ package body Sem_Res is ...@@ -9213,7 +9213,7 @@ package body Sem_Res is
Get_Next_Interp (I, It); Get_Next_Interp (I, It);
end loop Search; end loop Search;
-- There must be a legal interpreations at this point. -- There must be a legal interpretation at this point
pragma Assert (Found); pragma Assert (Found);
Resolve (P, It1.Typ); Resolve (P, It1.Typ);
...@@ -9243,7 +9243,6 @@ package body Sem_Res is ...@@ -9243,7 +9243,6 @@ package body Sem_Res is
if Is_Access_Type (Etype (P)) then if Is_Access_Type (Etype (P)) then
T := Designated_Type (Etype (P)); T := Designated_Type (Etype (P));
Check_Fully_Declared_Prefix (T, P); Check_Fully_Declared_Prefix (T, P);
else else
T := Etype (P); T := Etype (P);
end if; end if;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment