diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-11-21 12:01:11 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-21 13:01:11 +0100 |
| commit | d673c5c5bd1a95f3e145624149f4ffca3472a583 (patch) | |
| tree | c5581f0350e8ed5dbc0f2fb0dca4c3d01210c5e0 | |
| parent | be482a8c830c9f79a14c76a901665707c34fe15a (diff) | |
| download | gcc-d673c5c5bd1a95f3e145624149f4ffca3472a583.zip gcc-d673c5c5bd1a95f3e145624149f4ffca3472a583.tar.gz gcc-d673c5c5bd1a95f3e145624149f4ffca3472a583.tar.bz2 | |
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
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/opt.ads | 3 | ||||
| -rw-r--r-- | gcc/ada/s-taprop-vms.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 8 |
4 files changed, 17 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d1aad1ded..5a9e425 100644 --- 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 --- 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 --- 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 --- 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; |