[Bug default/21263] New: Provide finer redundant type detection from DWARF

["dodji at redhat dot com" <sourceware-bugzilla@sourceware.org>]

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

            Bug ID: 21263
           Summary: Provide finer redundant type detection from DWARF
           Product: libabigail
           Version: unspecified
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: default
          Assignee: dodji at redhat dot com
          Reporter: dodji at redhat dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

When analyzing C binaries, the redundant type detector only looks at the kind
of the type, its name and its location.

That is, if a struct named foo and defined at file blah.c, line 5 column 1 is
seen twice, the second occurrence of that type is considered to be a duplicate
of the first one.  So the internal representation of the first occurrence of
the type is re-used instead of constructing an internal representation for the
second type as well.

But then, it can happen that the first struct foo defined in file blah.c:5:1 is
*different* (has a different layout, size or whatever) from the second
occurrence of foo defined at the *same* location.

In that case, today, libabigail wrongly drops the second occurrence.

The goal of this enhancement request is to improve the redundant type detector
to make it actually compare the DIEs of the two "struct foo", to see if they
are equal.

The redundant type detector would still index those types using their name and
kind.  But it would associate the name of the type to a vector of types having
the same name.

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