diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2017-11-08 16:16:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:16:04 +0000 |
| commit | 784ef0fb7cd3e6bdf8cdba51a14cd884f365cb59 (patch) | |
| tree | fa1eedb877605c1e14d746c3929332492b91b73e /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 3e5400f4acc56a3e6a25ebeb5f7bfcf9d7d3646a (diff) | |
| download | gcc-784ef0fb7cd3e6bdf8cdba51a14cd884f365cb59.zip gcc-784ef0fb7cd3e6bdf8cdba51a14cd884f365cb59.tar.gz gcc-784ef0fb7cd3e6bdf8cdba51a14cd884f365cb59.tar.bz2 | |
lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* lib-xref.ads, lib-xref-spark_specific.adb (Traverse_Declarations):
Remove Inside_Stubs parameter.
From-SVN: r254540
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 1b31c6a..c43cbb1 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -230,14 +230,14 @@ package body SPARK_Specific is return; end if; - Traverse_Scopes (CU => Cunit (Uspec), Inside_Stubs => True); + Traverse_Scopes (CU => Cunit (Uspec)); -- When two units are present for the same compilation unit, as it -- happens for library-level instantiations of generics, then add all -- scopes to the same SPARK file. if Ubody /= No_Unit then - Traverse_Scopes (CU => Cunit (Ubody), Inside_Stubs => True); + Traverse_Scopes (CU => Cunit (Ubody)); end if; -- Make entry for new file in file table @@ -1156,10 +1156,7 @@ package body SPARK_Specific is -- Traverse_Compilation_Unit -- ------------------------------- - procedure Traverse_Compilation_Unit - (CU : Node_Id; - Inside_Stubs : Boolean) - is + procedure Traverse_Compilation_Unit (CU : Node_Id) is procedure Traverse_Block (N : Node_Id); procedure Traverse_Declaration_Or_Statement (N : Node_Id); procedure Traverse_Declarations_And_HSS (N : Node_Id); @@ -1195,7 +1192,7 @@ package body SPARK_Specific is N_Subprogram_Body_Stub, N_Task_Body_Stub)); - return Inside_Stubs and then Present (Library_Unit (N)); + return Present (Library_Unit (N)); end Traverse_Stub; -- Start of processing for Traverse_Declaration_Or_Statement |