diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-06 10:13:24 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-06 10:13:24 +0000 |
| commit | 426294ba23837a3b1c5d6db91085ed04c87ecfa8 (patch) | |
| tree | 60ba5ab2a615682e5f32f980557c74a6400a1d8e /gcc/ada/a-ztedit.adb | |
| parent | 827deff36ff5422291fde9612aebbe12d40e93d4 (diff) | |
| download | gcc-426294ba23837a3b1c5d6db91085ed04c87ecfa8.tar.gz | |
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers
for operators in SPARK.
2015-01-06 Javier Miranda <miranda@adacore.com>
* exp_disp.adb: Revert previous patch again.
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the
expression in an others association before making copies for
separate resolution and accessibility checks. This ensures that
the type of the expression is available to ASIS in all cases,
in particular if the expression is itself an aggregate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219248 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-ztedit.adb')
0 files changed, 0 insertions, 0 deletions