diff options
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index 3da57bda67c..40950085a6c 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -613,6 +613,11 @@ package Lib.Xref is procedure Process_Deferred_References; -- This procedure is called from Frontend to process these table entries + function Has_Deferred_Reference (Ent : Entity_Id) return Boolean; + -- This function determines whether an entity 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 -- ----------------------------- |