[Bug default/21629] [dodji/kabidiff branch] Libabigail fails to ensure that two equivalent DIEs must be of the same DIE source

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

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
            Summary|[dodji/kabidiff branch]     |[dodji/kabidiff branch]
                   |fedabipkgdiff fails on      |Libabigail fails to ensure
                   |evolution-data-server in    |that two equivalent DIEs
                   |fc25                        |must be of the same DIE
                   |                            |source

--- Comment #1 from dodji at redhat dot com ---
A prerequisite to represent the relationship "DIE 'D' has canonical DIE C", is
that D and C come from the same DIE source.  A DIE source being either the main
debug info file, the alternate debug info file (both having DIEs in their
.debug_info section), or a .debug_type section.

This prerequisite is a result of the design of the current libabigail's DWARF
reader.

The problem in this issue is that the code that compares DIEs and that updates
the canonical DIEs of the compared DIEs (in case the two DIEs are equivalent)
sometimes fails to honour that prerequisite, causing other troubles down the
road.  This is in the compare_dies function, in abg-dwarf-reader.cc.

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