diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 16:37:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-12 16:37:35 +0200 |
| commit | 05f1a54316f9516defe5ab54e0be66b1821596a1 (patch) | |
| tree | 668d6e6bca34413ff3d8823da22c1dc246815c84 /gcc/function-tests.c | |
| parent | c8dc49fb0318088e30040d1162cea181931f1ab4 (diff) | |
| download | gcc-05f1a54316f9516defe5ab54e0be66b1821596a1.zip gcc-05f1a54316f9516defe5ab54e0be66b1821596a1.tar.gz gcc-05f1a54316f9516defe5ab54e0be66b1821596a1.tar.bz2 | |
[multiple changes]
2016-10-12 Yannick Moy <moy@adacore.com>
* einfo.adb, einfo.ads (Partial_Refinement_Constituents): Take
into account constituents that are themselves abstract states
with full or partial refinement visible.
* sem_prag.adb (Find_Encapsulating_State): Move function
to library-level, to share between subprograms.
(Analyze_Refined_Global_In_Decl_Part): Use
Find_Encapsulating_State to get relevant encapsulating state.
2016-10-12 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb: Fix minor typo.
From-SVN: r241052
Diffstat (limited to 'gcc/function-tests.c')
0 files changed, 0 insertions, 0 deletions