[Ada] Write_Invocation_Graph_Vertex: include lib item name

[Pierre-Marie de Rodat]

Make each invocation graph point to the corresponding library graph. Use
this information in Write_Invocation_Graph_Vertex to print out the name
of the library item containing this vertex.

For procedures that take both the library graph and invocation graph as
parameters, remove the library graph parameter, and fetch that
information from the invocation graph.

Tested on x86_64-pc-linux-gnu, committed on trunk

2020-06-09  Bob Duff  <d...@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.

patch.diff.gz
Description: application/gzip