diff options
author | Ed Schonberg <schonberg@adacore.com> | 2016-07-04 10:29:02 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:29:02 +0200 |
commit | 7c14db4032fe0e34140dacf08c4ffadde404f414 (patch) | |
tree | d62e8f4d28c53958138a7bbff4ad9ec6da10422e /gcc/tree.c | |
parent | 607114db6a0ae4c23ca0937cb1744f7110c6cd36 (diff) | |
download | gcc-7c14db4032fe0e34140dacf08c4ffadde404f414.zip gcc-7c14db4032fe0e34140dacf08c4ffadde404f414.tar.gz gcc-7c14db4032fe0e34140dacf08c4ffadde404f414.tar.bz2 |
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
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions