[Bug default/28315] New: assert in return_comparison_result when doing a selfcheck

[Bug default/28315] New: assert in return_comparison_result when doing a selfcheck

[woodard at redhat dot com]

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

            Bug ID: 28315
           Summary: assert in return_comparison_result when doing a
                    selfcheck
           Product: libabigail
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: dodji at redhat dot com
          Reporter: woodard at redhat dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

abidw built from the trunk as of 190350a35f842574cf15b9a98f1ccbc3aa31a840
asserts in libabigail/src/abg-ir.cc:1009
when doing a self check on /usr/lib64/libwiretap.so.11.0.7 from
wireshark-cli-3.4.7-1.fc34.x86_64 

/home/ben/Shared/Work/test/libabigail-x86_64/bin/abidw --abidiff
/usr/lib64/libwiretap.so.11.0.7
Downloading separate debug info for
/home/ben/Shared/Work/BuildSI/build-abi-tests/libabigail/system-supplied DSO at
0x7ffff7fc9000...
Downloading separate debug info for /lib64/libpthread.so.0...
Downloading separate debug info for
/home/ben/.cache/debuginfod_client/219a7f6a92210920b2b6c86ef84d842b33324b0f/debuginfo...
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib64/libthread_db.so.1".
Downloading separate debug info for /lib64/libelf.so.1...
Downloading separate debug info for
/home/ben/.cache/debuginfod_client/1c112986384fe884e7281f32a10f0d19e1618d32/debuginfo...
Downloading separate debug info for /lib64/libdw.so.1...
Downloading separate debug info for /lib64/libm.so.6...
Downloading separate debug info for /lib64/libc.so.6...
abidw: ../../../libabigail/src/abg-ir.cc:1009: bool
abigail::ir::return_comparison_result(T&, T&, bool) [with T = const
abigail::ir::class_or_union]: Assertion `__abg_cond__' failed.

Program received signal SIGABRT, Aborted.
__GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:49
Downloading source file
/usr/src/debug/glibc-2.33-20.fc34.x86_64/signal/../sysdeps/unix/sysv/linux/raise.c...
49        return ret;
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:49
#1  0x00007ffff74e38a4 in __GI_abort () at abort.c:79
#2  0x00007ffff74e3789 in __assert_fail_base (fmt=<optimized out>,
assertion=<optimized out>, file=<optimized out>, line=<optimized out>,
function=<optimized out>) at assert.c:92
#3  0x00007ffff74f2a16 in __GI___assert_fail (assertion=0x7ffff7f38299
"__abg_cond__", file=0x7ffff7f35188 "../../../libabigail/src/abg-ir.cc",
line=1009, function=0x7ffff7f38b08 "bool
abigail::ir::return_comparison_result(T&, T&, bool) [with T = const
abigail::ir::class_or_union]") at assert.c:101
#4  0x00007ffff7dca3eb in
abigail::ir::return_comparison_result<abigail::ir::class_or_union const>
(l=..., r=..., value=false) at ../../../libabigail/src/abg-ir.cc:1009
#5  0x00007ffff7dbabae in abigail::ir::equals (l=..., r=..., k=0x0) at
../../../libabigail/src/abg-ir.cc:22688
#6  0x00007ffff7d9fe9d in abigail::ir::equals (l=..., r=..., k=0x0) at
../../../libabigail/src/abg-ir.cc:15381
#7  0x00007ffff7d6ca49 in abigail::ir::operator!=
(l=std::shared_ptr<abigail::ir::type_base> (use count 6, weak count 7) = {...},
r=std::shared_ptr<abigail::ir::type_base> (use count 4, weak count 7) = {...})
at ../../../libabigail/src/abg-ir.cc:5219
#8  0x00007ffff7da1018 in abigail::ir::equals (l=..., r=..., k=0x0) at
../../../libabigail/src/abg-ir.cc:19971
#9  0x00007ffff7dbbd40 in abigail::ir::decl_base::operator!= (other=...,
this=<optimized out>) at ../../../libabigail/src/abg-ir.cc:5049
#10 abigail::ir::equals (l=..., r=..., k=0x0) at
../../../libabigail/src/abg-ir.cc:18685
#11 0x00007ffff7db6a5f in abigail::ir::type_base::get_canonical_type_for
(t=std::shared_ptr<abigail::ir::type_base> (use count 5, weak count 2) = {...})
at ../../../libabigail/src/abg-ir.cc:13545
#12 0x00007ffff7dbd178 in abigail::ir::canonicalize
(t=std::shared_ptr<abigail::ir::type_base> (use count 5, weak count 2) = {...})
at ../../../libabigail/src/abg-ir.cc:13705
#13 0x00007ffff7ee64ab in
abigail::dwarf_reader::read_context::canonicalize_types_scheduled
(this=this@entry=0x4460d0,
source=source@entry=abigail::dwarf_reader::PRIMARY_DEBUG_INFO_DIE_SOURCE) at
../../../libabigail/src/abg-dwarf-reader.cc:4805
#14 0x00007ffff7ee6eeb in
abigail::dwarf_reader::read_context::perform_late_type_canonicalizing
(this=this@entry=0x4460d0) at ../../../libabigail/src/abg-dwarf-reader.cc:4888
#15 0x00007ffff7edd383 in abigail::dwarf_reader::read_debug_info_into_corpus
(ctxt=...) at ../../../libabigail/src/abg-dwarf-reader.cc:14420
#16 abigail::dwarf_reader::read_corpus_from_elf (ctxt=...,
status=@0x7fffffffd314: abigail::dwarf_reader::STATUS_UNKNOWN) at
../../../libabigail/src/abg-dwarf-reader.cc:15581
#17 0x0000000000404aa3 in load_corpus_and_write_abixml (opts=...,
context=std::shared_ptr<abigail::dwarf_reader::read_context> (use count 1, weak
count 0) = {...}, env=std::shared_ptr<abigail::ir::environment> (use count 1,
weak count 0) = {...}, argv=0x7fffffffd858) at
../../../libabigail/tools/abidw.cc:505
#18 main (argc=<optimized out>, argv=0x7fffffffd858) at
../../../libabigail/tools/abidw.cc:893

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

[Bug default/28315] assert in return_comparison_result when doing a selfcheck

[woodard at redhat dot com]

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

Ben Woodard <woodard at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |27019


Referenced Bugs:

https://sourceware.org/bugzilla/show_bug.cgi?id=27019
[Bug 27019] BUILD metabug
-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug default/28315] assert in return_comparison_result when doing a selfcheck

[woodard at redhat dot com]

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

--- Comment #1 from Ben Woodard <woodard at redhat dot com> ---
with the trunk as of 7488c8df3bf10750ce059a0ec1d44d8149149c86 this no longer
asserts.

However it reports a kind of cryptic unspecified set of problems.

abidw --abidiff /usr/lib64/libwiretap.so.11.0.7
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib64/libthread_db.so.1".
Functions changes summary: 0 Removed, 3 Changed, 0 Added functions
Variables changes summary: 0 Removed, 0 Changed, 0 Added variable

3 functions with some indirect sub-type change:

  [C] 'function void wtap_cleareof(wtap*)' at wtap.c:1421:1 has some indirect
sub-type changes:

  [C] 'function void wtap_fdclose(wtap*)' at wtap.c:1386:1 has some indirect
sub-type changes:

  [C] 'function void wtap_sequential_close(wtap*)' at wtap.c:1362:1 has some
indirect sub-type changes:

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

[Bug default/28315] assert in return_comparison_result when doing a selfcheck

[woodard at redhat dot com]

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

Ben Woodard <woodard at redhat dot com> changed:

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

--- Comment #2 from Ben Woodard <woodard at redhat dot com> ---
This appears to be resolved as of 7488c8df3bf10750ce059a0ec1d44d8149149c86

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