[Bug default/27554] abidw emits unreachable types and declarations

["gprocida+abigail at google dot com" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=27554

--- Comment #2 from Giuliano Procida <gprocida+abigail at google dot com> ---
I've uploaded a script that finds the "reachable" parts of an ABI.

https://sourceware.org/pipermail/libabigail/2021q1/003263.html

A reachable XML element satisfies one of the following:

* it is an ELF library dependency
* it is an ELF symbol
* it is a declaration referring to an ELF symbol
* it is a type referred to by some reachable element
* it is the naming typedef of a reachable anonymous class/struct
* it is contained in a reachable XML element
* it contains a reachable XML element

Unreachable XML elements are removed by the script as are certain empty
elements and blank lines.

The script can be run on existing tests. I did the following:

find tests -name '*.abi' -or -name '*.xml' | while read f; do
  scripts/abiprune.pl <"$f" >/tmp/pruned.xml
  orig=$(wc -c <"$f")
  pruned=$(wc -c </tmp/pruned.xml)
  bytes=$(($orig-$pruned))
  echo "$f ($bytes smaller)"
  if [ -s /tmp/pruned.xml ]; then
    abidiff --harmless "$f" /tmp/pruned.xml || echo "$f has different pruned
ABI"
  else
    echo "$f has empty pruned ABI"
  fi
done | less

If you consider unreachable types in the ABI to be a bug, then there are plenty
of existing examples here already.

-- 
You are receiving this mail because:
You are on the CC list for the bug.