projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f965d3d) | patch
sem_ch6.adb (Process_Formals): Set ghost flag on formal entities of ghost subprograms.
authorYannick Moy <moy@adacore.com>
Thu, 7 Jul 2016 12:59:06 +0000 (12:59 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 7 Jul 2016 12:59:06 +0000 (14:59 +0200)
commit0bb97bdf5adbeedb4de5551438a65554c99befaf
tree2424008a13a9abb7c2ef895df45f86d0050bcde6tree
parentf965d3dad7edb527e465d7d2811294177daee53ccommit | diff
sem_ch6.adb (Process_Formals): Set ghost flag on formal entities of ghost subprograms.

2016-07-07  Yannick Moy  <moy@adacore.com>

* sem_ch6.adb (Process_Formals): Set ghost flag
on formal entities of ghost subprograms.
* ghost.adb (Check_Ghost_Context.Is_OK_Ghost_Context): Accept ghost
entities in use type clauses.

From-SVN: r238106
gcc/ada/ChangeLog diff | blob | history
gcc/ada/ghost.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history