diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 14:53:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 14:53:35 +0200 |
| commit | 9d4f98325184df9941460b962739d4457138bf86 (patch) | |
| tree | 92f48a51d69ae1a71dfb84023c9ce0ae5c94e875 /gcc/explow.c | |
| parent | a65dcb0d6ebb2f0d5c7570f6477baedeb81464c1 (diff) | |
| download | gcc-9d4f98325184df9941460b962739d4457138bf86.zip gcc-9d4f98325184df9941460b962739d4457138bf86.tar.gz gcc-9d4f98325184df9941460b962739d4457138bf86.tar.bz2 | |
[multiple changes]
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.
From-SVN: r235145
Diffstat (limited to 'gcc/explow.c')
0 files changed, 0 insertions, 0 deletions