projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a9d35f) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 13:20:30 +0000 (15:20 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 13:20:30 +0000 (15:20 +0200)
commiteefe9555975191f20efceb84ad1dcfa86a0988ab
treeb30c95833e265d7af642325f6743b3cf861b206btree
parent9a9d35ffaa1445248ca6449bfedae640659def22commit | diff
[multiple changes]

2014-08-04  Claire Dross  <dross@adacore.com>

* exp_util.adb (Get_First_Parent_With_Ext_Axioms_For_Entity):
For an instance, look at the scope before the generic parent.

2014-08-04  Yannick Moy  <moy@adacore.com>

* lib-writ.ads: Update comments.
* sem_disp.ads, sem_disp.adb (Inherited_Subprograms): Add
parameters to filter inherited subprograms.

From-SVN: r213590
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/lib-writ.ads diff | blob | history
gcc/ada/sem_disp.adb diff | blob | history
gcc/ada/sem_disp.ads diff | blob | history