diff options
| author | Bob Duff <duff@adacore.com> | 2020-02-28 13:50:49 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-09 04:09:03 -0400 |
| commit | 7bf5f4d985c59e4c5a64e8d7b263af92c9ec6339 (patch) | |
| tree | 8e0635948d445b39151c068a1d156d6a2ea15ae5 /gcc/ada/bindo-diagnostics.ads | |
| parent | b97813ab96391d0c7bd518d31855a9db4960c770 (diff) | |
| download | gcc-7bf5f4d985c59e4c5a64e8d7b263af92c9ec6339.zip gcc-7bf5f4d985c59e4c5a64e8d7b263af92c9ec6339.tar.gz gcc-7bf5f4d985c59e4c5a64e8d7b263af92c9ec6339.tar.bz2 | |
[Ada] Write_Invocation_Graph_Vertex: include lib item name
2020-06-09 Bob Duff <duff@adacore.com>
gcc/ada/
* bindo-graphs.adb, bindo-graphs.ads: For each invocation graph,
record the corresponding library graph.
* bindo-writers.adb (Write_Invocation_Graph_Vertex): Print the
lib item name. Remove library graph parameters.
* bindo-augmentors.adb, bindo-augmentors.ads,
bindo-builders.adb, bindo-diagnostics.adb,
bindo-diagnostics.ads, bindo-elaborators.adb: Remove library
graph parameters.
Diffstat (limited to 'gcc/ada/bindo-diagnostics.ads')
| -rw-r--r-- | gcc/ada/bindo-diagnostics.ads | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/ada/bindo-diagnostics.ads b/gcc/ada/bindo-diagnostics.ads index 9c24c14..24f4f52 100644 --- a/gcc/ada/bindo-diagnostics.ads +++ b/gcc/ada/bindo-diagnostics.ads @@ -51,11 +51,9 @@ package Bindo.Diagnostics is -- API -- --------- - procedure Diagnose_Circularities - (Inv_Graph : Invocation_Graph; - Lib_Graph : Library_Graph); + procedure Diagnose_Circularities (Inv_Graph : Invocation_Graph); pragma Inline (Diagnose_Circularities); - -- Diagnose all cycles of library graph Lib_Graph with matching invocation - -- graph Inv_Graph. + -- Diagnose all cycles of the library graph of Inv_Graph with matching + -- invocation graph Inv_Graph. end Bindo.Diagnostics; |