projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 607114d) | patch
ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pruned...
authorEd Schonberg <schonberg@adacore.com>
Mon, 4 Jul 2016 10:29:02 +0000 (10:29 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Jul 2016 10:29:02 +0000 (12:29 +0200)
commit7c14db4032fe0e34140dacf08c4ffadde404f414
treed62e8f4d28c53958138a7bbff4ad9ec6da10422etree
parent607114db6a0ae4c23ca0937cb1744f7110c6cd36commit | diff
ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pruned as well.

2016-07-04  Ed Schonberg  <schonberg@adacore.com>

* ghost.adb (Prune_Node): A freeze node for an ignored ghost
entity must be pruned as well.

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