exp_ch5.adb, [...]: Minor reformatting.

2014-02-04  Robert Dewar  <dewar@adacore.com>

	* exp_ch5.adb, einfo.ads, freeze.adb, sem_ch8.adb: Minor reformatting.

From-SVN: r207470

gcc/ada/ChangeLog

+2014-02-04  Robert Dewar  <dewar@adacore.com>
+
+	* exp_ch5.adb, einfo.ads, freeze.adb, sem_ch8.adb: Minor reformatting.
+
 2014-02-04  Gary Dismukes  <dismukes@adacore.com>
 
 	* sem_aggr.adb: Change "runtime" to "run time" in warning message,

gcc/ada/einfo.ads

@@ -2775,7 +2775,7 @@ package Einfo is
 
 --    Is_Pure (Flag44)
 --       Defined in all entities. Set in all entities of a unit to which a
---       pragma Pure is applied except for non intrinsic imported subprogram,
+--       pragma Pure is applied except for non-intrinsic imported subprograms,
 --       and also set for the entity of the unit itself. In addition, this
 --       flag may be set for any other functions or procedures that are known
 --       to be side effect free, so in the case of subprograms, the Is_Pure

gcc/ada/exp_ch5.adb

@@ -3132,7 +3132,7 @@ package body Exp_Ch5 is
                --  the element is a constant in the loop.
 
                if No (Find_Value_Of_Aspect
-                       (Container_Typ, Aspect_Variable_Indexing))
+                        (Container_Typ, Aspect_Variable_Indexing))
                then
                   Set_Ekind (Id, E_Constant);
                end if;

gcc/ada/freeze.adb

@@ -6521,6 +6521,11 @@ package body Freeze is
       --  can bypass the normal check to ensure that pure units call only pure
       --  subprograms.
 
+      --  The reason for the intrinsic exception is that in general, intrinsic
+      --  functions (such as shifts) are pure anyway. The only exceptions are
+      --  the intrinsics in GNAT.Source_Info, and that unit is not marked Pure
+      --  in any case, so no problem arises.
+
       if Is_Imported (E)
         and then Is_Pure (E)
         and then not Has_Pragma_Pure_Function (E)

gcc/ada/sem_ch8.adb

@@ -1195,7 +1195,8 @@ package body Sem_Ch8 is
 
       --  Set the Ekind of the entity, unless it has been set already, as is
       --  the case for the iteration object over a container with no variable
-      --  indexing.
+      --  indexing. In that case it's been marked as a constant, and we do not
+      --  want to change it to a variable.
 
       if Ekind (Id) /= E_Constant then
          Set_Ekind (Id, E_Variable);