2011-11-21 Robert Dewar <dewar@adacore.com>

	* sem_ch3.adb, s-taprop-vms.adb, opt.ads: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181569 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d1aad1d..5a9e425 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,9 @@
 2011-11-21  Robert Dewar  <dewar@adacore.com>
 
+       * sem_ch3.adb, s-taprop-vms.adb, opt.ads: Minor reformatting.
+
+2011-11-21  Robert Dewar  <dewar@adacore.com>
+
        * sinput.ads: Minor comment fix.
 
 2011-11-21  Robert Dewar  <dewar@adacore.com>

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index def16bb..4c1f560 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -1830,6 +1830,9 @@ package Opt is
    --  this flag, see package Expander. Indeed this flag might more logically
    --  be in the spec of Expander, but it is referenced by Errout, and it
    --  really seems wrong for Errout to depend on Expander.
+   --
+   --  Note: for many purposes, it is more appropriate to test the flag
+   --  Full_Expander_Active, which also checks that Alfa mode is not active.
 
    Static_Dispatch_Tables : Boolean := True;
    --  This flag indicates if the backend supports generation of statically

diff --git a/gcc/ada/s-taprop-vms.adb b/gcc/ada/s-taprop-vms.adb
index e3134a5..67cf363 100644 (file)
--- a/gcc/ada/s-taprop-vms.adb
+++ b/gcc/ada/s-taprop-vms.adb
@@ -809,6 +809,12 @@ package body System.Task_Primitives.Operations is
           (Attributes'Access, PTHREAD_EXPLICIT_SCHED);
       pragma Assert (Result = 0);
 
+      --  Note: the use of Unrestricted_Access in the following call is needed
+      --  because otherwise we have an error of getting a access-to-volatile
+      --  value which points to a non-volatile object. But in this case it is
+      --  safe to do this, since we know we have no problems with aliasing and
+      --  Unrestricted_Access bypasses this check.
+
       Result :=
         pthread_create
           (T.Common.LL.Thread'Unrestricted_Access,

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 87edd0e..f6fc65b 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -734,16 +734,16 @@ package body Sem_Ch3 is
          Anon_Scope := Current_Scope;
 
          --  A pathological case: function returning access functions that
-         --  return access functions, etc.  Each anonymous access type created
+         --  return access functions, etc. Each anonymous access type created
          --  is in the enclosing scope of the outermost function.
 
          declare
             Par : Node_Id;
+
          begin
             Par := Related_Nod;
-            while Nkind_In (Par,
-                             N_Access_Function_Definition,
-                             N_Access_Definition)
+            while Nkind_In (Par, N_Access_Function_Definition,
+                                 N_Access_Definition)
             loop
                Par := Parent (Par);
             end loop;