2011-08-02 Robert Dewar <dewar@adacore.com>

	* sem_ch3.adb, sem_res.adb: Minor reformatting.

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 81c8477..e7e1283 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2011-08-02  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch3.adb, sem_res.adb: Minor reformatting.
+
 2011-08-02  Yannick Moy  <moy@adacore.com>
 
        * sem_attr.adb (Check_Formal_Restriction_On_Attribute): new procedure

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index fec4c90..2356e26 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -585,7 +585,6 @@ package body Sem_Ch3 is
 
    procedure Modular_Type_Declaration (T : Entity_Id; Def : Node_Id);
    --  Create new modular type. Verify that modulus is in bounds
-   --  (implementation restriction).
 
    procedure New_Concatenation_Op (Typ : Entity_Id);
    --  Create an abbreviated declaration for an operator in order to
@@ -17769,11 +17768,11 @@ package body Sem_Ch3 is
    begin
       Analyze_And_Resolve (R, Base_Type (T));
 
-      if not Is_Static_Range (R) then
-         Check_Formal_Restriction ("range should be static", R);
-      end if;
-
       if Nkind (R) = N_Range then
+         if not Is_Static_Range (R) then
+            Check_Formal_Restriction ("range should be static", R);
+         end if;
+
          Lo := Low_Bound (R);
          Hi := High_Bound (R);
 

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 34da37f..d6a1ccf 100644 (file)
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -3519,6 +3519,7 @@ package body Sem_Res is
                      declare
                         Index : Interp_Index;
                         It    : Interp;
+
                      begin
                         Get_First_Interp (A, Index, It);
                         while Present (It.Typ) loop