diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 12:53:35 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 12:53:35 +0000 |
| commit | b379e58c47468b3d5eff1fd4c8d73a874a17df90 (patch) | |
| tree | 92f48a51d69ae1a71dfb84023c9ce0ae5c94e875 /gcc/ada/einfo.adb | |
| parent | 2b596cd719f50a27390cf0dacc341c48a3f84006 (diff) | |
| download | gcc-b379e58c47468b3d5eff1fd4c8d73a874a17df90.tar.gz | |
2016-04-18 Arnaud Charlet <charlet@adacore.com>
* sem_res.adb (Resolve_Entry_Call): reset
Is_Overloaded flag after resolving calls to overloaded protected
operations.
* exp_spark.adb (Expand_SPARK): call
Qualify_Entity_Names for tasking nodes, i.e. protected types,
task types and entries.
* exp_ch4.adb (Expand_N_If_Expression): Refine previous change
in case of an unconstrained type.
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_eval.adb, sem_eval.ads (Check_Non_Static_Context): Add
comment to document usage of subprogram in GNATprove.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235145 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.adb')
0 files changed, 0 insertions, 0 deletions