diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2016-04-21 09:26:02 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-21 11:26:02 +0200 |
| commit | bbe008b6e975f3afc971a990f70e78d25fbc3180 (patch) | |
| tree | c5cd442b61c09ac23e9348beedcfe0d36cc7ca92 | |
| parent | 35f4f238400a5527ee68546c03e320768f01bc48 (diff) | |
| download | gcc-bbe008b6e975f3afc971a990f70e78d25fbc3180.zip gcc-bbe008b6e975f3afc971a990f70e78d25fbc3180.tar.gz gcc-bbe008b6e975f3afc971a990f70e78d25fbc3180.tar.bz2 | |
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
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/exp_aggr.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/exp_attr.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 5 |
5 files changed, 14 insertions, 6 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 2fc027e..b89c2fa 100644 --- 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 6d6e1a2..75359fc 100644 --- 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 28e1f65..b00d8ea 100644 --- 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 599e462..613f2b4 100644 --- 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 19f4844..611edba 100644 --- 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; |