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/sem_ch3.adb | |
| 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/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index de8b1c4..54ea442 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -8955,9 +8955,7 @@ package body Sem_Ch3 is (Class_Wide_Type (Derived_Type), Last_Entity (Derived_Type)); end if; - if Check_Actuals (N) then - Check_Function_Writable_Actuals (N); - end if; + Check_Function_Writable_Actuals (N); end Build_Derived_Record_Type; ------------------------ @@ -21122,9 +21120,7 @@ package body Sem_Ch3 is Derive_Progenitor_Subprograms (T, T); end if; - if Check_Actuals (N) then - Check_Function_Writable_Actuals (N); - end if; + Check_Function_Writable_Actuals (N); end Record_Type_Declaration; ---------------------------- |