diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 12:30:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 12:30:23 +0200 |
| commit | 89d3b1a13386e9fc4070c54faaf3d29eb96db20d (patch) | |
| tree | 271a6c4ee60c778e8e7943ad16864e5140479d17 /gcc/c | |
| parent | ca90b9623d969a09ff5c54fca968d9cf65160049 (diff) | |
| download | gcc-89d3b1a13386e9fc4070c54faaf3d29eb96db20d.zip gcc-89d3b1a13386e9fc4070c54faaf3d29eb96db20d.tar.gz gcc-89d3b1a13386e9fc4070c54faaf3d29eb96db20d.tar.bz2 | |
[multiple changes]
2016-05-02 Javier Miranda <miranda@adacore.com>
* exp_util.ads, exp_util.adb (Force_Evaluation): Adding new formal.
(Remove_Side_Effects): Adding a new formal.
* exp_ch6.adb (Expand_Simple_Function_Return): Generating the
call to the _Postconditions procedure ensure that side-effects
are unconditionally removed.
2016-05-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Check_Formal_Package_Instance, Check_Mismatch):
Use original node to determine whether the declaration is for
a formal type declaration, to take into account that formwl
private types are rewritten as private extension declarations
to simplify semantic analysis.
From-SVN: r235742
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions