[Bug default/31236] New: abidw assertion failure on rhel9 /lib64/libwebkit2gtk-4.0.so, abg-ir.cc:8084

[Bug default/31236] New: abidw assertion failure on rhel9 /lib64/libwebkit2gtk-4.0.so, abg-ir.cc:8084

[fche at redhat dot com]

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

            Bug ID: 31236
           Summary: abidw assertion failure on rhel9
                    /lib64/libwebkit2gtk-4.0.so, abg-ir.cc:8084
           Product: libabigail
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: dodji at redhat dot com
          Reporter: fche at redhat dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

git/master libabigail

gdb -args ./INST/bin/abidw /lib64/libwebkit2gtk-4.0.so.37.63.5
[...]
abidw: abg-ir.cc:8084: void abigail::ir::maybe_set_translation_unit(const
decl_base_sptr&, abigail::ir::translation_unit*): Assertion `__abg_cond__'
failed.

Program received signal SIGABRT, Aborted.
[...]
#0  __pthread_kill_implementation (threadid=<optimized out>, 
    signo=signo@entry=6, no_tid=no_tid@entry=0) at pthread_kill.c:44
#1  0x00007ffff72a15b3 in __pthread_kill_internal (signo=6, 
    threadid=<optimized out>) at pthread_kill.c:78
#2  0x00007ffff7254d06 in __GI_raise (sig=sig@entry=6)
    at ../sysdeps/posix/raise.c:26
#3  0x00007ffff72287f3 in __GI_abort () at abort.c:79
#4  0x00007ffff722871b in __assert_fail_base (fmt=<optimized out>, 
    assertion=<optimized out>, file=<optimized out>, line=<optimized out>, 
    function=<optimized out>) at assert.c:92
#5  0x00007ffff724dca6 in __assert_fail (
    assertion=0x7ffff7eea8c6 "__abg_cond__", file=0x7ffff7eea8bc "abg-ir.cc", 
    line=8084, 
    function=0x7ffff7ee9a00 "void abigail::ir::maybe_set_translation_unit(const
decl_base_sptr&, abigail::ir::translation_unit*)") at assert.c:101
#6  0x00007ffff7d34fe7 in abigail::ir::maybe_set_translation_unit (decl=..., 
    tu=<optimized out>) at abg-ir.cc:8084
#7  0x00007ffff7d4a73a in abigail::ir::scope_decl::add_member_decl (
    this=0x835fd9420, 
    member=std::shared_ptr<abigail::ir::decl_base> (use count 11, weak count 0)
= {...}) at abg-ir.cc:8114
#8  0x00007ffff7d4a9bd in abigail::ir::class_or_union::add_data_member (
    this=0x835fd9420, 
    v=std::shared_ptr<abigail::ir::var_decl> (use count 11, weak count 0) =
{...}, access=abigail::ir::public_access, is_laid_out=<optimized out>,
is_static=<optimized out>, offset_in_bits=0) at abg-ir.cc:23307
#9  0x00007ffff7d4eb18 in abigail::ir::class_or_union::insert_member_decl
(this=0x835fd9420, d=std::shared_ptr<abigail::ir::decl_base> (use count 11,
weak count 0) = {...}) at abg-ir.cc:23615
#10 0x00007ffff7d4ee1b in abigail::ir::class_or_union::add_member_decl
(this=<optimized out>, d=...) at abg-ir.cc:23108
#11 0x00007ffff7d0d39f in abigail::ir::add_decl_to_scope
(decl=std::shared_ptr<abigail::ir::decl_base> (use count 11, weak count 0) =
{...}, scope=0x835fd9420) at abg-ir.cc:8503
#12 0x00007ffff7d0d44e in abigail::ir::add_decl_to_scope
(decl=std::shared_ptr<abigail::ir::decl_base> (use count 11, weak count 0) =
{...}, scope=std::shared_ptr<abigail::ir::scope_decl> (use count 9, weak count
3) = {...}) at abg-ir.cc:8516
#13 0x00007ffff7e9946c in abigail::dwarf::build_translation_unit_and_add_to_ir
(rdr=..., die=die@entry=0x7fffffffdb60, address_size=<optimized out>) at
abg-dwarf-reader.cc:12275
#14 0x00007ffff7e9a3cb in abigail::dwarf::reader::read_debug_info_into_corpus
(this=this@entry=0x4219c0) at abg-dwarf-reader.cc:2213
#15 0x00007ffff7e9b059 in abigail::dwarf::reader::read_corpus (this=0x4219c0,
status=@0x7fffffffdc60: abigail::fe_iface::STATUS_OK) at
abg-dwarf-reader.cc:2102
#16 0x000000000040574c in load_corpus_and_write_abixml (opts=..., env=...,
argv=0x7fffffffe228) at abidw.cc:710
#17 main (argc=<optimized out>, argv=0x7fffffffe228) at abidw.cc:1153

[...]
(gdb) l
8079        // any translation unique since unique types are "logically"
8080        // supposed to belong to no translation unit in particular, as
8081        // they are unique.
8082        //
8083        // 2/ or the decl was already added to this translation unit.
8084        ABG_ASSERT(tu == existing_tu || is_unique_type(is_type(decl)));
8085      else

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

[Bug default/31236] abidw assertion failure on rhel9 /lib64/libwebkit2gtk-4.0.so, abg-ir.cc:8084

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #1 from dodji at redhat dot com ---
I could reproduce the issue on the package webkit2gtk3-2.40.5-1.el9_3.1.x86_64
using this version from master:

    2c6b109f Bump LIBABIGAIL_SO_CURRENT version to 4

Note that it seems this commit on master makes it harder to reproduce the
issue:

    f16e4631 Fix ABG_ASSERT in build_ir_node_from_die for DW_TAG_member.

I am looking into it.

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

[Bug default/31236] abidw assertion failure on rhel9 /lib64/libwebkit2gtk-4.0.so, abg-ir.cc:8084

[dodji at redhat dot com]

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

dodji at redhat dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #2 from dodji at redhat dot com ---
This issue should now be fixed by commit
https://sourceware.org/git/?p=libabigail.git;a=commit;h=2f038ab3d4a09aac180ead71780c055c11ecb928
in the master branch.

The fix will be available in the 2.5 version of libabigail.

Thank you for reporting this problem and sorry for the inconvenience.

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