diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-07-17 08:11:32 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:11:32 +0000 |
| commit | 7ffb58afe1ad318ccf289325e802d913bd8e0e15 (patch) | |
| tree | 751691ac5b6406a18f27526c39b6a184f754e838 /gcc/final.c | |
| parent | 9cc97ad523d17ce6ae643030e5f99fe5acb68bea (diff) | |
| download | gcc-7ffb58afe1ad318ccf289325e802d913bd8e0e15.zip gcc-7ffb58afe1ad318ccf289325e802d913bd8e0e15.tar.gz gcc-7ffb58afe1ad318ccf289325e802d913bd8e0e15.tar.bz2 | |
[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
Diffstat (limited to 'gcc/final.c')
0 files changed, 0 insertions, 0 deletions