[multiple changes]

2011-08-01  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Fully_Conformant_Expressions): handle quantified
	expressions.

2011-08-01  Arnaud Charlet  <charlet@adacore.com>

	* sem_ch8.adb: Minor code editing.
	* s-vxwext.adb: Remove trailing space.
	* freeze.adb, freeze.ads, errout.ads, erroutc.adb: Fix GPLv3 header for
	consistency with other files.

2011-08-01  Thomas Quinot  <quinot@adacore.com>

	* s-auxdec.ads, s-auxdec-vms_64.ads: Minor reformatting.

2011-08-01  Ed Schonberg  <schonberg@adacore.com>

	* par-ch10.adb: reject parameterized expressions as compilation unit.
	* sem_ch4.adb: handle properly conditional expression with overloaded
	then_clause and no else_clause.

2011-08-01  Tristan Gingold  <gingold@adacore.com>

	* s-parame-vms-alpha.ads, s-parame-vms-ia64.ads: Redeclare C_Address
	like done by System.Aux_DEC.
	* env.c (__gnat_setenv) [VMS]: Put logicals into LNM$PROCESS table.

From-SVN: r177050

1 files changed, 19 insertions, 22 deletions

diff --git a/gcc/ada/s-auxdec.ads b/gcc/ada/s-auxdec.ads
index 4b56baf..53937aa 100644
--- a/gcc/ada/s-auxdec.ads
+++ b/gcc/ada/s-auxdec.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1996-2009, Free Software Foundation, Inc.         --
+--          Copyright (C) 1996-2010, Free Software Foundation, Inc.         --
 --                                                                          --
 -- 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- --
@@ -41,14 +41,13 @@ package System.Aux_DEC is
    pragma Preelaborate;
 
    subtype Short_Address is Address;
-   --  In some versions of System.Aux_DEC, notably that for VMS on the
-   --  ia64, there are two address types (64-bit and 32-bit), and the
-   --  name Short_Address is used for the short address form. To avoid
-   --  difficulties (in regression tests and elsewhere) with units that
-   --  reference Short_Address, it is provided for other targets as a
-   --  synonym for the normal Address type, and, as in the case where
-   --  the lengths are different, Address and Short_Address can be
-   --  freely inter-converted.
+   --  In some versions of System.Aux_DEC, notably that for VMS on IA64, there
+   --  are two address types (64-bit and 32-bit), and the name Short_Address
+   --  is used for the short address form. To avoid difficulties (in regression
+   --  tests and elsewhere) with units that reference Short_Address, it is
+   --  provided for other targets as a synonym for the normal Address type,
+   --  and, as in the case where the lengths are different, Address and
+   --  Short_Address can be freely inter-converted.
 
    type Integer_8  is range -2 **  (8 - 1) .. +2 **  (8 - 1) - 1;
    for Integer_8'Size  use  8;
@@ -272,9 +271,9 @@ package System.Aux_DEC is
    pragma Import (Intrinsic, Import_Address);
    pragma Import (Intrinsic, Import_Largest_Value);
 
-   --  For the following declarations, note that the declaration without
-   --  a Retry_Count parameter means to retry infinitely. A value of zero
-   --  for the Retry_Count parameter means do not retry.
+   --  For the following declarations, note that the declaration without a
+   --  Retry_Count parameter means to retry infinitely. A value of zero for
+   --  the Retry_Count parameter means do not retry.
 
    --  Interlocked-instruction procedures
 
@@ -290,8 +289,7 @@ package System.Aux_DEC is
       Value : Short_Integer;
    end record;
 
-   for Aligned_Word'Alignment use
-     Integer'Min (2, Standard'Maximum_Alignment);
+   for Aligned_Word'Alignment use Integer'Min (2, Standard'Maximum_Alignment);
 
    procedure Clear_Interlocked
      (Bit          : in out Boolean;
@@ -324,9 +322,9 @@ package System.Aux_DEC is
    for Aligned_Long_Integer'Alignment use
      Integer'Min (8, Standard'Maximum_Alignment);
 
-   --  For the following declarations, note that the declaration without
-   --  a Retry_Count parameter mean to retry infinitely. A value of zero
-   --  for the Retry_Count means do not retry.
+   --  For the following declarations, note that the declaration without a
+   --  Retry_Count parameter mean to retry infinitely. A value of zero for
+   --  the Retry_Count means do not retry.
 
    procedure Add_Atomic
      (To           : in out Aligned_Integer;
@@ -394,12 +392,11 @@ package System.Aux_DEC is
       Old_Value    : out Long_Integer;
       Success_Flag : out Boolean);
 
-   type Insq_Status is
-     (Fail_No_Lock, OK_Not_First, OK_First);
+   type Insq_Status is (Fail_No_Lock, OK_Not_First, OK_First);
 
    for Insq_Status use
      (Fail_No_Lock => -1,
-      OK_Not_First => 0,
+      OK_Not_First =>  0,
       OK_First     => +1);
 
    type Remq_Status is (
@@ -410,7 +407,7 @@ package System.Aux_DEC is
 
    for Remq_Status use
      (Fail_No_Lock   => -1,
-      Fail_Was_Empty => 0,
+      Fail_Was_Empty =>  0,
       OK_Not_Empty   => +1,
       OK_Empty       => +2);
 
@@ -440,7 +437,7 @@ private
    No_Addr      : constant Address := Null_Address;
 
    --  An AST_Handler value is from a typing point of view simply a pointer
-   --  to a procedure taking a single 64bit parameter. However, this
+   --  to a procedure taking a single 64 bit parameter. However, this
    --  is a bit misleading, because the data that this pointer references is
    --  highly stylized. See body of System.AST_Handling for full details.