diff options
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index c463fe93737..63d78c7c169 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -624,10 +624,9 @@ package Lib.Xref is function Enclosing_Subprogram_Or_Library_Package (N : Node_Id) return Entity_Id; - -- Return the closest enclosing subprogram of package. Only return a - -- library level package. If the package is enclosed in a subprogram, - -- return the subprogram. This ensures that GNATprove can distinguish - -- local variables from global variables. + -- Return the closest enclosing subprogram or library-level package. + -- This ensures that GNATprove can distinguish local variables from + -- global variables. procedure Generate_Dereference (N : Node_Id; @@ -645,10 +644,6 @@ package Lib.Xref is -- Inside_Stubs is True, then the body of stubs is also traversed. -- Generic declarations are ignored. - procedure Traverse_All_Compilation_Units (Process : Node_Processing); - -- Call Process on all declarations through all compilation units. - -- Generic declarations are ignored. - procedure Collect_SPARK_Xrefs (Sdep_Table : Unit_Ref_Table; Num_Sdep : Nat); |