]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Faulty ignored Ghost code removal
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 17 Jul 2018 08:11:32 +0000 (08:11 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 17 Jul 2018 08:11:32 +0000 (08:11 +0000)
commit2dd305832653083a8d3a68ede5c093d4c147a5d2
tree751691ac5b6406a18f27526c39b6a184f754e838
parentb494437187859fb17867a3750f11050db85b8ff0
[Ada] Faulty ignored Ghost code removal

This patch ensures that removal of ignored Ghost code is the absolute last
operation performed on the tree. Previously the removal was performed prior to
issuing delayed warnings, however the warning mechanism may see a heavily
modified tree and fail.

No small reproducer available.

2018-07-17  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

* frontend.adb (Frontend): The removal of ignored Ghost code must be
the last semantic operation performed on the tree.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@262795 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/frontend.adb