diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:24:47 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:24:47 +0100 |
| commit | 9313a26a9ad02e45a1b75d9274f5025015356669 (patch) | |
| tree | 93acdab7460f98cc9ac128236578eb6e952d1e94 /gcc/ada/checks.adb | |
| parent | 4b7fd13182946da2c33fc2c1df6614122e217b59 (diff) | |
| download | gcc-9313a26a9ad02e45a1b75d9274f5025015356669.zip gcc-9313a26a9ad02e45a1b75d9274f5025015356669.tar.gz gcc-9313a26a9ad02e45a1b75d9274f5025015356669.tar.bz2 | |
[multiple changes]
2017-01-23 Gary Dismukes <dismukes@adacore.com>
* exp_strm.ads: Minor reformatting and typo fixes.
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aggr.adb, par_sco.adb, exp_util.adb, sem.adb, sem_ch4.adb,
exp_aggr.adb: Minor reformatting.
* g-diopit.adb: minor grammar/punctuation fix in comment.
* g-byorma.ads: minor fix of unbalanced parens in comment.
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* par.adb: Update the documentation of component Labl.
* par-ch6.adb (P_Return_Statement): Set the expected label of
an extended return statement to Error.
2017-01-23 Tristan Gingold <gingold@adacore.com>
* s-boustr.ads, s-boustr.adb (Is_Full): New function.
2017-01-23 Ed Schonberg <schonberg@adacore.com>
* expander.adb: Handle N_Delta_Aggregate.
2017-01-23 Javier Miranda <miranda@adacore.com>
* exp_ch6.adb (Expand_Call): Improve the code that
checks if some formal of the called subprogram is a class-wide
interface, to handle subtypes of class-wide interfaces.
2017-01-23 Javier Miranda <miranda@adacore.com>
* checks.adb (Apply_Parameter_Aliasing_Checks):
Remove side effects of the actuals before generating the overlap
check.
From-SVN: r244806
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 011878eb..f0ba9a8 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -2360,6 +2360,9 @@ package body Checks is and then not Is_Elementary_Type (Etype (Orig_Act_2)) and then May_Cause_Aliasing (Formal_1, Formal_2) then + Remove_Side_Effects (Actual_1); + Remove_Side_Effects (Actual_2); + Overlap_Check (Actual_1 => Actual_1, Actual_2 => Actual_2, |