This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r262721 - in /trunk/gcc/ada: ChangeLog sinfo.ad...
- From: pmderodat at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 16 Jul 2018 14:11:42 -0000
- Subject: r262721 - in /trunk/gcc/ada: ChangeLog sinfo.ad...
Author: pmderodat
Date: Mon Jul 16 14:11:42 2018
New Revision: 262721
URL: https://gcc.gnu.org/viewcvs?rev=262721&root=gcc&view=rev
Log:
[Ada] Deconstruct unused Withed_Body filed of N_With_Clause node
The Withed_Body field was added to N_With_Clause node to help the
Walk_Library_Items routine, which was created for the CodePeer backend
and later adopted by the GNATprove.
This routine is meant to traverse all library units, such that declarations
are visited before references. However, for complex units (in particular,
with generics and child packages) it never worked reliably and backends
developed their own workarounds. This patch deconstructs the field, as it
hasn't been used for years.
Semantics unaffected; no test provided.
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sinfo.ads, sinfo.adb (Withed_Body): Remove.
(Set_Withed_Body): Remove.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sinfo.adb
trunk/gcc/ada/sinfo.ads