aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/lib-xref.adb')
-rw-r--r--gcc/ada/lib-xref.adb9
1 files changed, 0 insertions, 9 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb
index a4ff69a..043444c 100644
--- a/gcc/ada/lib-xref.adb
+++ b/gcc/ada/lib-xref.adb
@@ -618,15 +618,6 @@ package body Lib.Xref is
end if;
end if;
- -- Do not generate references if we are within a postcondition sub-
- -- program, because the reference does not comes from source, and the
- -- preanalysis of the aspect has already created an entry for the ALI
- -- file at the proper source location.
-
- if Chars (Current_Scope) = Name_uPostconditions then
- return;
- end if;
-
-- Never collect references if not in main source unit. However, we omit
-- this test if Typ is 'e' or 'k', since these entries are structural,
-- and it is useful to have them in units that reference packages as