diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 15:53:46 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 15:53:46 +0200 |
commit | d89ce4324c613e79d9e4855a284c809773cbc30f (patch) | |
tree | 6ad2ca58ff5864ec425cb212773f1f9daf273009 /ylwrap | |
parent | 432b6d957261f946836f2a4d1cbcef3eace17571 (diff) | |
download | gcc-d89ce4324c613e79d9e4855a284c809773cbc30f.zip gcc-d89ce4324c613e79d9e4855a284c809773cbc30f.tar.gz gcc-d89ce4324c613e79d9e4855a284c809773cbc30f.tar.bz2 |
[multiple changes]
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* lib-writ.adb (Write_ALI): Removal of unused file entries from
dependency list must be performed before the list is sorted,
so that the dependency number of other files is properly set-up
for use in tools that relate entity information to the unit in
which they are declared.
2016-10-12 Hristian Kirtchev <kirtchev@adacore.com>
* exp_aggr.adb (Initialize_Ctrl_Array_Component):
Create a copy of the initialization expression to avoid sharing
it between multiple components.
2016-10-12 Yannick Moy <moy@adacore.com>
* einfo.adb, einfo.ads (Has_Partial_Visible_Refinement): New flag
in abtract states.
(Has_Non_Null_Visible_Refinement): Return true for patial refinement.
(Partial_Refinement_Constituents): New function returns the full or
partial refinement constituents depending on scope.
* sem_ch3.adb (Analyze_Declarations): Remove partial visible
refinements when exiting the scope of a package spec or body
and those partial refinements are not in scope afterwards.
* sem_ch7.adb, sem_ch7.ads (Install_Partial_Declarations): Mark
abstract states of parent units with partial refinement so that
it is visible.
* sem_prag.adb (Analyze_Part_Of_In_Decl_Part): Mark enclosing
abstract state if any as having partial refinement in that scope.
(Analyze_Refined_Global_In_Decl_Part): Check constituent usage
based on full or partial refinement depending on scope.
2016-10-12 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_Type_Conversion): If the target type
has an invariant aspect, insert invariant call at the proper
place in the code rather than rewriting the expression as an
expression with actions, to prevent spurious semantic errors on
the rewritten conversion when it is the object in a renaming.
From-SVN: r241048
Diffstat (limited to 'ylwrap')
0 files changed, 0 insertions, 0 deletions