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.ads | |
| 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.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index f827eb4..85b42ef 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -647,12 +647,9 @@ package Lib.Xref is generic with procedure Process (N : Node_Id) is <>; - procedure Traverse_Compilation_Unit - (CU : Node_Id; - Inside_Stubs : Boolean); - -- Call Process on all declarations within compilation unit CU. If - -- Inside_Stubs is True, then the body of stubs is also traversed. - -- Generic declarations are ignored. + procedure Traverse_Compilation_Unit (CU : Node_Id); + -- Call Process on all declarations within compilation unit CU. Bodies + -- of stubs are also traversed, but generic declarations are ignored. end SPARK_Specific; |