diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-07-16 14:11:42 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:11:42 +0000 |
| commit | 7da8b07f30c465a46e41202d897d74ed2ceb8396 (patch) | |
| tree | e8d12816b594865ccbd13a5a87c3d42cd1d72e8a /gcc/ada/sinfo.adb | |
| parent | 1d6c2060053f0a3adc3a43831539f2f7bb9ce44e (diff) | |
| download | gcc-7da8b07f30c465a46e41202d897d74ed2ceb8396.zip gcc-7da8b07f30c465a46e41202d897d74ed2ceb8396.tar.gz gcc-7da8b07f30c465a46e41202d897d74ed2ceb8396.tar.bz2 | |
[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.
From-SVN: r262721
Diffstat (limited to 'gcc/ada/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 45f2867..e6ff0e7 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -3522,14 +3522,6 @@ package body Sinfo is return Flag13 (N); end Was_Originally_Stub; - function Withed_Body - (N : Node_Id) return Node_Id is - begin - pragma Assert (False - or else NT (N).Nkind = N_With_Clause); - return Node1 (N); - end Withed_Body; - -------------------------- -- Field Set Procedures -- -------------------------- @@ -6990,14 +6982,6 @@ package body Sinfo is Set_Flag13 (N, Val); end Set_Was_Originally_Stub; - procedure Set_Withed_Body - (N : Node_Id; Val : Node_Id) is - begin - pragma Assert (False - or else NT (N).Nkind = N_With_Clause); - Set_Node1 (N, Val); - end Set_Withed_Body; - ------------------------- -- Iterator Procedures -- ------------------------- |