[Ada] Faulty ignored Ghost code removal
authorHristian Kirtchev <kirtchev@adacore.com>
Tue, 17 Jul 2018 08:11:32 +0000 (08:11 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Jul 2018 08:11:32 +0000 (08:11 +0000)
commit7ffb58afe1ad318ccf289325e802d913bd8e0e15
tree751691ac5b6406a18f27526c39b6a184f754e838
parent9cc97ad523d17ce6ae643030e5f99fe5acb68bea
[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.

From-SVN: r262795
gcc/ada/ChangeLog
gcc/ada/frontend.adb