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

2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch3.adb, exp_attr.adb, exp_ch6.adb, exp_aggr.adb: Minor
	reformatting.

From-SVN: r235322

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2fc027e453fa8d19f950ab7f4ed821e75d003522..b89c2fac5331adfbeed80c7675f1db6842402818 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2016-04-21  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * sem_ch3.adb, exp_attr.adb, exp_ch6.adb, exp_aggr.adb: Minor
+       reformatting.
+
 2016-04-21  Javier Miranda  <miranda@adacore.com>
 
        * exp_aggr.adb (Component_Check): Extend

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 6d6e1a2526312e2c45c5e6108304052c1c84a2bb..75359fc029db5375406ef5d37aab3f7d6ace8bbc 100644 (file)
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -564,7 +564,6 @@ package body Exp_Aggr is
       ---------------------
 
       function Component_Check (N : Node_Id; Index : Node_Id) return Boolean is
-
          function Ultimate_Original_Expression (N : Node_Id) return Node_Id;
          --  Given a type conversion or an unchecked type conversion N, return
          --  its innermost original expression.
@@ -590,6 +589,8 @@ package body Exp_Aggr is
 
          Expr : Node_Id;
 
+      --  Start of processing for Component_Check
+
       begin
          --  Checks 1: (no component associations)
 

diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index 28e1f65f646903bf7f0dcf866b468705f87546de..b00d8ea8d892bfd916d16758e2f5cc2a0e0f429d 100644 (file)
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -583,13 +583,15 @@ package body Exp_Attr is
          end if;
       end Make_VS_If;
 
-      --  Local Declarations
+      --  Local variables
 
       Def    : constant Node_Id := Parent (R_Type);
       Comps  : constant Node_Id := Component_List (Type_Definition (Def));
       Stmts  : constant List_Id := New_List;
       Pspecs : constant List_Id := New_List;
 
+   --  Start of processing for Build_Record_VS_Func
+
    begin
       Append_To (Pspecs,
         Make_Parameter_Specification (Loc,

diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index 599e46235c4c9adb7d3313491bdc6e526f39f29d..613f2b42ab678887e0e79155ee70431e52f2baaa 100644 (file)
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -8477,8 +8477,7 @@ package body Exp_Ch6 is
          if not Comes_From_Source (Orig_Func)
            and then Etype (Orig_Func) /= Etype (Func_Id)
          then
-            Last_Actual :=
-               Unchecked_Convert_To (Etype (Func_Id), Last_Actual);
+            Last_Actual := Unchecked_Convert_To (Etype (Func_Id), Last_Actual);
          end if;
 
          Append_To (Actuals,

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 19f4844a6bc605340f2e5a52694dd0f54bf7f318..611edbaf5ba372105d4793ddc0280b35ed38cd02 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -5071,11 +5071,12 @@ package body Sem_Ch3 is
         and then Has_Predicates (T)
         and then Present (Predicate_Function (T))
       then
+         --  ??? This is dangerous, it may clobber the invariant procedure
+
          Set_Subprograms_For_Type (Id, Subprograms_For_Type (T));
 
          if Has_Static_Predicate (T) then
-            Set_Static_Discrete_Predicate (Id,
-              Static_Discrete_Predicate (T));
+            Set_Static_Discrete_Predicate (Id, Static_Discrete_Predicate (T));
          end if;
       end if;