| commit | 426294ba23837a3b1c5d6db91085ed04c87ecfa8 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 6 Jan 2015 10:13:24 +0000 (6 10:13 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 6 Jan 2015 10:13:24 +0000 (6 10:13 +0000) | ||
| tree | 60ba5ab2a615682e5f32f980557c74a6400a1d8e | treesnapshot (tar.gz zip) |
| parent | 827deff36ff5422291fde9612aebbe12d40e93d4 | commitdiff |
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
* 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