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

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

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

From-SVN: r177119

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 81c84779a970cd3254ef27b604a5a90801ebd90d..e7e1283ce962f5a90dd33032034253c508e92c00 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 fec4c900b709aa062c7daf9e0a5c6d3c76142682..2356e267aa877c72de7f4a9f81fcefaa50729a93 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 34da37fa9f03c2f71659e88d3b0f8fd3b9876c21..d6a1ccfea4757ea5307d544405a2f69a9650f840 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