diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 10:17:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 10:17:51 +0200 |
| commit | 22e89283f7807e9c1d17c5f817f2dca13bb544c1 (patch) | |
| tree | ddb06711d4fae03d8c6bdc9bb5a2c77e1b2f751d /gcc/ada/ChangeLog | |
| parent | c859345327b2c2858ae8a120d2b714d928b43130 (diff) | |
| download | gcc-22e89283f7807e9c1d17c5f817f2dca13bb544c1.zip gcc-22e89283f7807e9c1d17c5f817f2dca13bb544c1.tar.gz gcc-22e89283f7807e9c1d17c5f817f2dca13bb544c1.tar.bz2 | |
[multiple changes]
2015-05-26 Javier Miranda <miranda@adacore.com>
* sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
Code cleanup.
* sem_ch3.adb (Build_Derived_Record_Type,
Record_Type_Declaration): Code cleanup.
* sem_ch4.adb (Has_Arbitrary_Evaluation_Order,
Stop_Subtree_Climbind): Tables which speed up the identification
of dangerous calls to Ada 2012 functions with writable actuals
(AI05-0144).
(Analyze_Arithmetic_Op, Analyze_Call, Analyze_Comparison_Op,
Analyze_Equality_Op, Analyze_Logical_Op, Analyze_Membership_Op,
Analyze_Range): Code cleanup.
(Is_Arbitrary_Evaluation_Order_Construct): Removed.
(Check_Writable_Actuals): Code cleanup using the added tables.
* sem_util.adb (Check_Function_Writable_Actuals): Return
immediately if the node does not have the flag Check_Actuals
set to True.
2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
* exp_ch6.adb (Add_Call_By_Copy_Code): Remove restrictive
condition in the detection of the effects of Remove_Side_Effects.
* exp_util.ads (Remove_Side_Effects): Add general and historical note.
* exp_util.adb (Is_Name_Reference): New predicate.
(Remove_Side_Effects): Use it in lieu of Is_Object_Reference
in order to decide whether to use the renaming to capture the
side effects of the subexpression.
(Side_Effect_Free): Remove obsolete test.
From-SVN: r223668
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index accd480..396f789 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,33 @@ +2015-05-26 Javier Miranda <miranda@adacore.com> + + * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate): + Code cleanup. + * sem_ch3.adb (Build_Derived_Record_Type, + Record_Type_Declaration): Code cleanup. + * sem_ch4.adb (Has_Arbitrary_Evaluation_Order, + Stop_Subtree_Climbind): Tables which speed up the identification + of dangerous calls to Ada 2012 functions with writable actuals + (AI05-0144). + (Analyze_Arithmetic_Op, Analyze_Call, Analyze_Comparison_Op, + Analyze_Equality_Op, Analyze_Logical_Op, Analyze_Membership_Op, + Analyze_Range): Code cleanup. + (Is_Arbitrary_Evaluation_Order_Construct): Removed. + (Check_Writable_Actuals): Code cleanup using the added tables. + * sem_util.adb (Check_Function_Writable_Actuals): Return + immediately if the node does not have the flag Check_Actuals + set to True. + +2015-05-26 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch6.adb (Add_Call_By_Copy_Code): Remove restrictive + condition in the detection of the effects of Remove_Side_Effects. + * exp_util.ads (Remove_Side_Effects): Add general and historical note. + * exp_util.adb (Is_Name_Reference): New predicate. + (Remove_Side_Effects): Use it in lieu of Is_Object_Reference + in order to decide whether to use the renaming to capture the + side effects of the subexpression. + (Side_Effect_Free): Remove obsolete test. + 2015-05-26 Robert Dewar <dewar@adacore.com> * aspects.ads, aspects.adb: Add aspect Disable_Controlled. |