From f15749aa1c22f3aebab55be5202d9fa852bd18fc Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 31 Jul 2014 14:40:36 +0200 Subject: [PATCH] [multiple changes] 2014-07-31 Pascal Obry * s-fileio.adb: Remove obsolete comment. 2014-07-31 Vincent Celier * a-strbou.ads ("=" (Bounded_String, Bounded_String): Add overriding keyword before function to avoid error when compiler is called with -gnatyO (check overriding indicators). 2014-07-31 Tucker Taft * gnat_ugn.texi: Add a paragraph pointing the reader to the "plugins" example. 2014-07-31 Hristian Kirtchev * freeze.adb (Freeze_Expression): Document the purpose of the parent chain traversal. From-SVN: r213350 --- gcc/ada/ChangeLog | 20 ++++++++++++++++++++ gcc/ada/a-strbou.ads | 4 ++-- gcc/ada/freeze.adb | 12 ++++++------ gcc/ada/gnat_ugn.texi | 5 +++++ gcc/ada/s-fileio.adb | 20 ++++++++------------ 5 files changed, 41 insertions(+), 20 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5f40546cb54..0a587652834 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,23 @@ +2014-07-31 Pascal Obry + + * s-fileio.adb: Remove obsolete comment. + +2014-07-31 Vincent Celier + + * a-strbou.ads ("=" (Bounded_String, Bounded_String): Add + overriding keyword before function to avoid error when compiler + is called with -gnatyO (check overriding indicators). + +2014-07-31 Tucker Taft + + * gnat_ugn.texi: Add a paragraph pointing the reader + to the "plugins" example. + +2014-07-31 Hristian Kirtchev + + * freeze.adb (Freeze_Expression): Document the + purpose of the parent chain traversal. + 2014-07-31 Robert Dewar * checks.ads, checks.adb (Activate_Overflow_Check): Do not set flag for diff --git a/gcc/ada/a-strbou.ads b/gcc/ada/a-strbou.ads index ddc8c337683..7703b728107 100644 --- a/gcc/ada/a-strbou.ads +++ b/gcc/ada/a-strbou.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, 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 -- @@ -607,7 +607,7 @@ package Ada.Strings.Bounded is High : Natural) renames Super_Slice; - function "=" + overriding function "=" (Left : Bounded_String; Right : Bounded_String) return Boolean renames Equal; diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 4d502f17629..8cfe8d8d0ca 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -5973,12 +5973,12 @@ package body Freeze is return; end if; - -- Loop for looking at the right place to insert the freeze nodes, - -- exiting from the loop when it is appropriate to insert the freeze - -- node before the current node P. - - -- Also checks some special exceptions to the freezing rules. These - -- cases result in a direct return, bypassing the freeze action. + -- Examine the enclosing context by climbing the parent chain. The + -- traversal serves two purposes - to detect scenarios where freezeing + -- is not needed and to find the proper insertion point for the freeze + -- nodes. Although somewhat similar to Insert_Actions, this traversal + -- is freezing semantics-sensitive. Inserting freeze nodes blindly in + -- the tree may result in types being frozen too early. P := N; loop diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index bac1286f159..8147f4a4141 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -18053,6 +18053,11 @@ pragma Linker_Options ("-lmy_lib"); @end smallexample @end itemize +Note that you may also load a library dynamically at +run time given its filename, as illustrated in the GNAT ``plugins'' example +in the directory @file{share/examples/gnat/plugins} within the GNAT +install area. + @node Stand-alone Ada Libraries @section Stand-alone Ada Libraries @cindex Stand-alone library, building, using diff --git a/gcc/ada/s-fileio.adb b/gcc/ada/s-fileio.adb index d4d9a6771e6..073dbdbbc60 100644 --- a/gcc/ada/s-fileio.adb +++ b/gcc/ada/s-fileio.adb @@ -34,9 +34,9 @@ with Ada.IO_Exceptions; use Ada.IO_Exceptions; with Ada.Unchecked_Deallocation; with Interfaces.C; -with Interfaces.C_Streams; use Interfaces.C_Streams; +with Interfaces.C_Streams; use Interfaces.C_Streams; -with System.Case_Util; use System.Case_Util; +with System.Case_Util; use System.Case_Util; with System.CRTL; with System.OS_Lib; with System.Soft_Links; @@ -120,12 +120,12 @@ package body System.File_IO is Creat : Boolean; Amethod : Character; Fopstr : out Fopen_String); - -- Determines proper open mode for a file to be opened in the given - -- Ada mode. Text is true for a text file and false otherwise, and - -- Creat is true for a create call, and False for an open call. The - -- value stored in Fopstr is a nul-terminated string suitable for a - -- call to fopen or freopen. Amethod is the character designating - -- the access method from the Access_Method field of the FCB. + -- Determines proper open mode for a file to be opened in the given Ada + -- mode. Text is true for a text file and false otherwise, and Creat is + -- true for a create call, and False for an open call. The value stored + -- in Fopstr is a nul-terminated string suitable for a call to fopen or + -- freopen. Amethod is the character designating the access method from + -- the Access_Method field of the FCB. function Errno_Message (Name : String; @@ -387,10 +387,6 @@ package body System.File_IO is -- Finalize -- -------------- - -- Note: we do not need to worry about locking against multiple task access - -- in this routine, since it is called only from the environment task just - -- before terminating execution. - procedure Finalize (V : in out File_IO_Clean_Up_Type) is pragma Warnings (Off, V);