diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-06-22 10:31:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 12:31:47 +0200 |
| commit | 7ffbef99665102871af334c1e6d2c8f1e77fd6b7 (patch) | |
| tree | 49362ba0c5da270c0b28861ed83db581ae76eb3e /gcc/ada/lib-xref.ads | |
| parent | 71b235999de097baad9739568b21f7d2714a306a (diff) | |
| download | gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.zip gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.gz gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.bz2 | |
spark_xrefs.ads (Scope_Num): type refined to positive integers.
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads (Scope_Num): type refined to positive integers.
* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
moved into scope of Collect_SPARK_Xrefs.
(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
of scopes.
(Traverse_Compilation_Unit): refactored as a generic procedure.
* types.ads (Unit_Number_Type): range refined.
From-SVN: r237690
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index a6b9676..5325fc0 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -639,16 +639,6 @@ package Lib.Xref is -- This procedure is called to record a dereference. N is the location -- of the dereference. - type Node_Processing is access procedure (N : Node_Id); - - procedure Traverse_Compilation_Unit - (CU : Node_Id; - Process : Node_Processing; - Inside_Stubs : Boolean); - -- Call Process on all declarations in compilation unit CU. If - -- Inside_Stubs is True, then the body of stubs is also traversed. - -- Generic declarations are ignored. - procedure Collect_SPARK_Xrefs (Sdep_Table : Unit_Ref_Table; Num_Sdep : Nat); |