From d673c5c5bd1a95f3e145624149f4ffca3472a583 Mon Sep 17 00:00:00 2001
From: Robert Dewar <dewar@adacore.com>
Date: Mon, 21 Nov 2011 12:01:11 +0000
Subject: [PATCH] sem_ch3.adb, [...]: Minor reformatting.
2011-11-21 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, s-taprop-vms.adb, opt.ads: Minor reformatting.
From-SVN: r181569
---
gcc/ada/ChangeLog | 4 ++++
gcc/ada/opt.ads | 3 +++
gcc/ada/s-taprop-vms.adb | 6 ++++++
gcc/ada/sem_ch3.adb | 8 ++++----
4 files changed, 17 insertions(+), 4 deletions(-)
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d1aad1ded0a5..5a9e425693ea 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+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.
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index def16bb30f78..4c1f5609318c 100644
--- 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 e3134a5772db..67cf363dd4e0 100644
--- 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 87edd0e32182..f6fc65b49698 100644
--- 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;
--
GitLab