aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/lib-xref.ads')
-rw-r--r--gcc/ada/lib-xref.ads34
1 files changed, 0 insertions, 34 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads
index 729acd3..977446a 100644
--- a/gcc/ada/lib-xref.ads
+++ b/gcc/ada/lib-xref.ads
@@ -578,40 +578,6 @@ package Lib.Xref is
-- Export at line 4, that its body is exported to C, and that the link name
-- as given in the pragma is "here".
- -------------------------
- -- Deferred_References --
- -------------------------
-
- -- Normally we generate references as we go along, but as discussed in
- -- Sem_Util.Is_LHS, and Sem_Ch8.Find_Direct_Name/Find_Selected_Component,
- -- we have one case where that is tricky, which is when we have something
- -- like X.A := 3, where we don't know until we know the type of X whether
- -- this is a reference (if X is an access type, so what we really have is
- -- X.all.A := 3) or a modification, where X is not an access type.
-
- -- What we do in such cases is to gather nodes, where we would have liked
- -- to call Generate_Reference but we couldn't because we didn't know enough
- -- into a table, then we deal with generating references later on when we
- -- have sufficient information to do it right.
-
- type Deferred_Reference_Entry is record
- E : Entity_Id;
- N : Node_Id;
- end record;
- -- One entry, E, N are as required for Generate_Reference call
-
- procedure Defer_Reference (Deferred_Reference : Deferred_Reference_Entry);
- -- Add one entry to the deferred reference table
-
- procedure Process_Deferred_References;
- -- This procedure is called from Frontend to process these table entries.
- -- It is also called from Sem_Warn.
-
- function Has_Deferred_Reference (Ent : Entity_Id) return Boolean;
- -- Determine whether arbitrary entity Ent has a pending reference in order
- -- to suppress premature warnings about useless assignments. See comments
- -- in Analyze_Assignment in sem_ch5.adb.
-
-----------------------------
-- SPARK Xrefs Information --
-----------------------------